Commits · master · ciao-lang / sCASP

Browse files

Jun 25, 2025
- version bump · a9b9db78
  ivasicek authored Jun 25, 2025
  
  a9b9db78
Jun 22, 2025
- Updated for new playground version · 1b1b60c7
  Jose Morales authored Jun 22, 2025
  
  1b1b60c7
Jun 19, 2025
- Output calls to missing predicates by adding the flag -v · bb741838
  Joaquin Arias authored Jun 19, 2025
  
  bb741838
- Merge branch 'master' of https://gitlab.software.imdea.org/ciao-lang/sCASP · 3a7b4484
  Joaquin Arias authored Jun 19, 2025
  
  3a7b4484
- missing_predicates are also treated as user_predicates · cbb28da5
  Joaquin Arias authored Jun 19, 2025
  
  cbb28da5
Jun 06, 2025
- Merge branch 'event_calculus-fix_table_once' into 'master' · e904563f
  Ondřej Vašíček authored Jun 06, 2025
  e904563f
- fixed table_once so that or_ rules are not needed · 8a81da6e
  ivasicek authored Jun 06, 2025
  8a81da6e
May 30, 2025
- Updated help, fixed minor bug in stratification, minor typo correction. · ffcbbf38
  Luciana Fidilio Allende authored May 30, 2025
  
  ffcbbf38
May 26, 2025
- Detect missing predicates (output a WARNING using --code) · 33e625f1
  Joaquin Arias authored May 26, 2025
  
  33e625f1
Apr 07, 2025
- Merge branch 'event_calculus-updated_can_rules' into 'master' · 93b8465e
  Ondřej Vašíček authored Apr 07, 2025
  93b8465e
- updated can_rules generation · 761a090c
  ivasicek authored Apr 07, 2025
  761a090c
Apr 03, 2025
- fix module paths (again) · 8440c343
  ivasicek authored Apr 03, 2025
  
  8440c343
- Merge branch 'event_calculus-incremental' into 'master' · e8a328c6
  Ondřej Vašíček authored Apr 03, 2025
  e8a328c6
- added --incremental & reorganized modules · 4a1b6af5
  ivasicek authored Apr 03, 2025
  4a1b6af5
Mar 28, 2025
- fixed two minor mistakes/typos · dd06e047
  ivasicek authored Mar 28, 2025
  
  dd06e047
- ec fix module path · d46f4af7
  ivasicek authored Mar 28, 2025
  
  d46f4af7
- Merge branch 'event_calculus-zeno_halt' into 'master' · 60cb2bc1
  Ondřej Vašíček authored Mar 28, 2025
  60cb2bc1
- added rule generation for Event Calculus and Zeno Detection · bd1b7da4
  ivasicek authored Mar 28, 2025
  bd1b7da4
Feb 05, 2025
- Merge branch 'forgetting' into 'master' · b988dad8
  Luciana Fidilio Allende authored Feb 05, 2025
  b988dad8
- Forgetting and typos · 56eb5dec
  Luciana Fidilio Allende authored Feb 05, 2025
  
  56eb5dec
Dec 13, 2024
- Minor bug related with rationals/reals · a7217c7c
  Joaquin Arias authored Dec 13, 2024
  
  a7217c7c
Dec 12, 2024
- Minor bug due to pretty-print of constraints · 91eaac16
  Joaquin Arias authored Dec 12, 2024
  
  91eaac16
Nov 28, 2024
- Bug in playground · 057778aa
  Luciana Fidilio Allende authored Nov 28, 2024
  
  057778aa
- Bug in playground · 217743a9
  Luciana Fidilio Allende authored Nov 28, 2024
  
  217743a9
Nov 18, 2024
- Update · c0350c13
  Luciana Fidilio Allende authored Nov 18, 2024
  
  c0350c13
- Update · 4ed3f08d
  Luciana Fidilio Allende authored Nov 18, 2024
  
  4ed3f08d
- Merge branch 'master' of https://gitlab.software.imdea.org/ciao-lang/sCASP · 4d056c19
  Luciana Fidilio Allende authored Nov 18, 2024
  
  4d056c19
- Solved problem with forgetting double negations · 020f4e0c
  Luciana Fidilio Allende authored Nov 18, 2024
  
  020f4e0c
- Solved minor problem creating partial strata · f7eef42f
  Luciana Fidilio Allende authored Nov 18, 2024
  
  f7eef42f
- Minor flag problem · 4b382a6f
  Luciana Fidilio Allende authored Nov 18, 2024
  
  4b382a6f
- Removing old files · fda9d474
  Luciana Fidilio Allende authored Nov 18, 2024
  
  fda9d474
- Stratification & minor forgetting changes · 2f181117
  Luciana Fidilio Allende authored Nov 18, 2024
  
  2f181117
Oct 16, 2024
- Solved minor problem creating partial strata · d51af2ff
  Lu-all authored Oct 16, 2024
  
  d51af2ff
Oct 12, 2024
- Minor flag problem · ef48d6ba
  Lu-all authored Oct 12, 2024
  
  ef48d6ba
- Removing old files · a86fde9e
  lu-all authored Oct 12, 2024
  
  a86fde9e
- Stratification & minor forgetting changes · dd07e472
  Lu-all authored Oct 12, 2024
  
  dd07e472
Aug 15, 2024
- Combining DCC and no_nmr · e77c69a5
  Joaquin Arias authored Aug 15, 2024
  
  e77c69a5
Aug 06, 2024
- Solved bug in interactive mode and playground · 526f0b98
  Joaquin Arias authored Aug 06, 2024
  
  526f0b98
Aug 05, 2024
- The playground is still buggy... · 52869aba
  Joaquin Arias authored Aug 05, 2024
  
  52869aba
Aug 03, 2024
- Bug with classical negation in Ciao-Playground (solved) · 39ea1d39
  Joaquin Arias authored Aug 03, 2024
  
  39ea1d39