Commits · master · ciao-lang / sCASP

Browse files

Feb 24, 2026
- removing warnings · 906e3708
  ivasicek authored Feb 24, 2026
  
  906e3708
- added abduce_Ntimes -- similar to choice rules in clingo ASP · 1b83e1e4
  ivasicek authored Feb 24, 2026
  1b83e1e4
Feb 19, 2026
- removing two cuts which lead to missing one side of disequality · f48065da
  ivasicek authored Feb 19, 2026
  f48065da
- removed duplicit predicates · 10c94f42
  ivasicek authored Feb 19, 2026
  10c94f42
Dec 01, 2025
- minor and bug info · 8b32da17
  Joaquin Arias authored Dec 01, 2025
  
  8b32da17
Sep 20, 2025
- Updated examples, upgraded for new playground code · 1efd6bcc
  Jose Morales authored Sep 20, 2025
  
  1efd6bcc
- Remove dependency to actmod_dist, fixes | operator in playground · 2816ffe3
  Jose Morales authored Sep 20, 2025
  2816ffe3
Aug 25, 2025
- further fixing table_once, now avoids grounding the goal via pr_rules · f8b4ee90
  ivasicek authored Aug 25, 2025
  f8b4ee90
Aug 15, 2025
- Some builtin missing · 91bf66d1
  Joaquin Arias authored Aug 15, 2025
  
  91bf66d1
Aug 14, 2025
- Update version · ed130206
  Joaquin Arias authored Aug 14, 2025
  
  ed130206
- Example from https://personal.utdallas.edu/~gupta/nfm-ex/ · 50a07bfa
  Joaquin Arias authored Aug 14, 2025
  
  50a07bfa
- Merge branch 'master' of https://gitlab.software.imdea.org/ciao-lang/sCASP · 8a79b51a
  Joaquin Arias authored Aug 14, 2025
  
  8a79b51a
- Cleanup · dadd968e
  Joaquin Arias authored Aug 14, 2025
  
  dadd968e
Aug 05, 2025
- Fix for recent playground changes · d3f0cf41
  Jose Morales authored Aug 06, 2025
  
  d3f0cf41
Jul 30, 2025
- fixed sup/2 inf/2 being treated as missing user predicates · ce061d0c
  ivasicek authored Jul 30, 2025
  
  ce061d0c
Jul 16, 2025
- JSON · c2603321
  Luciana Fidilio Allende authored Jul 16, 2025
  
  c2603321
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