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

Sep 11, 2020
- fix presentation of variables in :repl · 99d608c2
  Giovanni Ciatto authored Sep 11, 2020
  
  View commits for tag 0.11.5 0.11.5
  99d608c2
- add link to documentation in readme · d6ee2669
  Giovanni Ciatto authored Sep 11, 2020
  
  View commits for tag 0.11.4 0.11.4
  d6ee2669
- update to kotlin 1.4.10 and kt-math 0.2.0 · 488790bc
  Giovanni Ciatto authored Sep 11, 2020
  
  488790bc
- throw missing predicate warning/error only if the predicate is actually missing in :solve-classic · 029ffe4b
  Giovanni Ciatto authored Sep 11, 2020
  
  029ffe4b
Sep 10, 2020
- change package of Objectifier, fixing #100 · cb348c39
  Giovanni Ciatto authored Sep 10, 2020
  
  View commits for tag 0.11.3 0.11.3
  cb348c39
- Merge branch 'documentation' into develop · 3f42191a
  Giovanni Ciatto authored Sep 10, 2020
  
  3f42191a
- Merge branch 'feature/testing' into 'develop' · 0ce55eaf
  Giovanni Ciatto authored Sep 10, 2020
  0ce55eaf
- fix TestAbolishImpl.testAbolishFooNeg for js · 8b573d0e
  Giovanni Ciatto authored Sep 10, 2020
  
  8b573d0e
- test abolish/1 and current_prolog_flag/2 are in default builtin · b0978ce4
  Giovanni Ciatto authored Sep 10, 2020
  
  b0978ce4
- fix behaviour of functor/3 w.r.t. max_arity flag · a7a191c3
  Giovanni Ciatto authored Sep 10, 2020
  
  a7a191c3
- implement current_prolog_flag/1 · 1354cb40
  Giovanni Ciatto authored Sep 10, 2020
  
  1354cb40
- implement abolish/1 · 9e235721
  Giovanni Ciatto authored Sep 10, 2020
  
  9e235721
- implement copy_term/2 · d2518346
  Giovanni Ciatto authored Sep 10, 2020
  
  d2518346
- add default variables in prolog DSL · 75fb0939
  Giovanni Ciatto authored Sep 10, 2020
  
  75fb0939
- fix retract/1 according to tests · 49b0261d
  Giovanni Ciatto authored Sep 10, 2020
  
  49b0261d
- fix minor issues and warnings · 37f253fe
  Giovanni Ciatto authored Sep 10, 2020
  
  37f253fe
- ignore :solve-streams tests · a0392fdd
  Giovanni Ciatto authored Sep 10, 2020
  
  a0392fdd
- fix assert* tests · 80ff5179
  Giovanni Ciatto authored Sep 10, 2020
  
  80ff5179
- add method Unificator.merge · 9c1386a6
  Giovanni Ciatto authored Sep 10, 2020
  
  9c1386a6
- fix assert* tests · 58c42eb8
  Giovanni Ciatto authored Sep 10, 2020
  
  58c42eb8
- make PrimitiveWrapper.ensuringArgumentIsWellFormedClause accept Structs · 4b1fe28e
  Giovanni Ciatto authored Sep 10, 2020
  
  4b1fe28e
- improve clause/2 · afcb4267
  Giovanni Ciatto authored Sep 10, 2020
  
  afcb4267
- improve AbstractAssert · 2846d792
  Giovanni Ciatto authored Sep 10, 2020
  
  2846d792
- add ensuring methods to PrimitiveWrapper · 41ed220d
  Giovanni Ciatto authored Sep 10, 2020
  
  41ed220d
- add DomainError constants · 07138cac
  Giovanni Ciatto authored Sep 10, 2020
  
  07138cac
- add clause/2 to PrologStdLibScope · 3bc4ffea
  Giovanni Ciatto authored Sep 10, 2020
  
  3bc4ffea
- fix StatePrimitiveExecution in :solve-classic · ce020d7e
  Giovanni Ciatto authored Sep 10, 2020
  
  ce020d7e
Sep 09, 2020
- implement clause, need to fix tests · b820c1cb
  Giovanni Ciatto authored Sep 09, 2020
  
  b820c1cb
- add permission_error · 01c31e13
  Giovanni Ciatto authored Sep 09, 2020
  
  01c31e13
- update tests in :serialize-theory · 45353b44
  Giovanni Ciatto authored Sep 09, 2020
  
  45353b44
- - cut property in PrologStdLibScope · 33ce53ce
  Giovanni Ciatto authored Sep 09, 2020
  33ce53ce
Sep 08, 2020
- [wip] fixing error messages 5 · f8333d4d
  Giovanni Ciatto authored Sep 08, 2020
  
  f8333d4d
- [wip] fixing error messages 4 · 502289ab
  Giovanni Ciatto authored Sep 08, 2020
  
  502289ab
- [wip] fixing error messages 2 · 9420f7d1
  Giovanni Ciatto authored Sep 08, 2020
  
  9420f7d1
- [wip] fixing error messages · 998fb006
  Giovanni Ciatto authored Sep 08, 2020
  
  998fb006
- fix ObjectsUtils.deeplyEqual in :serialize-core · cdba4a65
  Giovanni Ciatto authored Sep 08, 2020
  
  cdba4a65
- add once/1 tests for serialize-theory · e43bbf71
  Giovanni Ciatto authored Sep 08, 2020
  
  e43bbf71
Sep 07, 2020
- implement once/1 and repeat/0 · 3aa825d1
  Giovanni Ciatto authored Sep 07, 2020
  
  3aa825d1
- fix TestFailImpl · 87f8fcad
  Giovanni Ciatto authored Sep 07, 2020
  
  87f8fcad
- fixing ES's tests throwing type_errors and ensure_executable/1 · d7ed08e4
  Giovanni Ciatto authored Sep 07, 2020
  
  d7ed08e4