Commits · 0.17.1 · PIKA-lab / tuProlog / 2P-Kt · GitLab

Mar 15, 2021
- Merge branch 'master' into develop · cf9124bb
  Giovanni Ciatto authored Mar 15, 2021
  
  View commits for tag 0.17.1 0.17.1
  cf9124bb
Mar 14, 2021
- add comments in Struct · 3ec827f5
  Giovanni Ciatto authored Mar 14, 2021
  
  View commits for tag 0.17.0 0.17.0
  3ec827f5
- Merge branch 'feature/term-casting' into 'develop' · 7e0f0041
  Giovanni Ciatto authored Mar 14, 2021
  7e0f0041
- add notion of Castable in :utils and make Term, Substitution, and Solution castable · afcf0caf
  Giovanni Ciatto authored Mar 14, 2021
  
  afcf0caf
- adapt codebase to new semantics of Term.as* methods · 80b85819
  Giovanni Ciatto authored Mar 14, 2021
  
  80b85819
- add as*() and castTo*() methods in term types · 6bd7e6a5
  Giovanni Ciatto authored Mar 13, 2021
  
  6bd7e6a5
Mar 13, 2021
- Merge branch 'feature/set-prolog-flag' into 'develop' · b2f05e44
  Giovanni Ciatto authored Mar 13, 2021
  b2f05e44
- add as*() methods in term types · 8a6babc1
  Giovanni Ciatto authored Mar 13, 2021
  
  8a6babc1
- avoid publishing on bintray in github ci · a2fea905
  Giovanni Ciatto authored Mar 13, 2021
  
  a2fea905
- add tests for flags in :solve-streams as well · 34e530a3
  Giovanni Ciatto authored Mar 13, 2021
  
  34e530a3
- support immutable flags, and properly handle errors in set_prolog_flag/2 and current_prolog_flag · 475b255e
  Giovanni Ciatto authored Mar 13, 2021
  
  475b255e
- complete testing for flags · 1cced164
  Giovanni Ciatto authored Mar 13, 2021
  
  1cced164
Mar 11, 2021
- [wip] testing flag-related primitives · 833cfe27
  Giovanni Ciatto authored Mar 11, 2021
  
  833cfe27
Mar 04, 2021
- restore pikalab url in gitlab ci · 11a9e1bb
  Giovanni Ciatto authored Mar 04, 2021
  
  11a9e1bb
Mar 03, 2021
- Merge branch '4-write-documentation-chapter-errors-and-exceptions' into 'documentation' · 198f052d
  Lorenzo Rizzato authored Mar 03, 2021
  198f052d
- write supported prolog errors section · bde60a39
  Lorenzo Rizzato authored Mar 03, 2021
  
  bde60a39
- write run-time exceptions section · cac01030
  Lorenzo Rizzato authored Mar 03, 2021
  
  cac01030
- write intro + 2p exceptions + prolog errors · 7204c782
  Lorenzo Rizzato authored Mar 03, 2021
  
  7204c782
Mar 01, 2021
- + set_prolog_flag/2 · 06a856c8
  Giovanni Ciatto authored Mar 01, 2021
  
  06a856c8
Feb 27, 2021
- update solver instantiation description · dc4aef63
  Lorenzo Rizzato authored Feb 27, 2021
  
  dc4aef63
- write mutable solvers' rationale · 43894f35
  Lorenzo Rizzato authored Feb 27, 2021
  
  43894f35
- update solve method guide + describe SolveOptions · a6e433f2
  Lorenzo Rizzato authored Feb 27, 2021
  
  a6e433f2
Feb 26, 2021
- Merge branch 'develop' of... · 91088b6f
  Lorenzo Rizzato authored Feb 26, 2021
  91088b6f
- Merge branch 'feature/solutions-presentation' into 'develop' · c0364ca8
  Giovanni Ciatto authored Feb 26, 2021
  c0364ca8
- let classic and streams solvers rely on Solution.cleanUp · 0d2087e5
  Giovanni Ciatto authored Feb 26, 2021
  
  0d2087e5
- add/fix tests w.r.t. Solution presentations · 1d7b4d0c
  Giovanni Ciatto authored Feb 26, 2021
  
  1d7b4d0c
- improvements to the Solution API · cd3cf0fe
  Giovanni Ciatto authored Feb 26, 2021
  
  cd3cf0fe
Feb 25, 2021
- Merge branch 'feature/tail-recursion' into 'develop' · 4ef586c8
  Giovanni Ciatto authored Feb 25, 2021
  4ef586c8
- more time for TestRecursion · 7d355448
  Giovanni Ciatto authored Feb 25, 2021
  
  7d355448
- add tests for both tail-recursive and non-tail-recursive tests · 2ef61412
  Giovanni Ciatto authored Feb 25, 2021
  
  2ef61412
- fix the presentation of the prolog stack trace in case of tail recursive calls · 4b6696e4
  Giovanni Ciatto authored Feb 25, 2021
  
  4b6696e4
- make tail recursion depend on the last_call_optimization flag to be "on" · cf0899fa
  Giovanni Ciatto authored Feb 25, 2021
  
  cf0899fa
- add LastCallOptimization notable flag and fix FlagStore update bug · 2d1c4025
  Giovanni Ciatto authored Feb 25, 2021
  
  2d1c4025
Feb 24, 2021
- add some basic recursion tests · 4cf7cb55
  Giovanni Ciatto authored Feb 24, 2021
  
  4cf7cb55
Feb 23, 2021
- suppress warning along the project · ea7d481c
  Giovanni Ciatto authored Feb 23, 2021
  
  ea7d481c
- fix TestCursor · a3d9a5e0
  Giovanni Ciatto authored Feb 23, 2021
  
  a3d9a5e0
- avoid memory leak in cursors and structs · 63da1254
  Giovanni Ciatto authored Feb 23, 2021
  
  63da1254
- fix usage of Scope.listFrom in :serialize-core · eec5916d
  Giovanni Ciatto authored Feb 23, 2021
  
  eec5916d
- fix name clash for js in :StructImpl · 4160b4af
  Giovanni Ciatto authored Feb 23, 2021
  
  4160b4af
- fix name clash for js in :utils · 2e049815
  Giovanni Ciatto authored Feb 23, 2021
  
  2e049815