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

Aug 09, 2021
- change order of arguments Library.aliases and Library.unaliased to make them... · 0b12c4a3
  Giovanni Ciatto authored Aug 09, 2021
  View commits for tag 0.19.0 0.19.0
  0b12c4a3
- change order of arguments Library.aliases and Library.unaliased to make them... · 1054ca31
  Giovanni Ciatto authored Aug 09, 2021
  1054ca31
- make primitive wrapper's functions static on jvm · eda9f624
  Giovanni Ciatto authored Aug 09, 2021
  
  eda9f624
- Merge branch 'feature/examples' into develop · 31c45e42
  Giovanni Ciatto authored Aug 09, 2021
  
  31c45e42
- add example on Primitives creation in java · 8a33e2be
  Giovanni Ciatto authored Aug 09, 2021
  
  8a33e2be
- Merge branch 'feature/renaming' into 'develop' · a1bd2a91
  Giovanni Ciatto authored Aug 09, 2021
  a1bd2a91
- update json/yaml serialization with the renaming Set -> Block · b1123136
  Giovanni Ciatto authored Aug 09, 2021
  
  b1123136
Aug 06, 2021
- Merge branch 'develop' into feature/examples · 13957e4e
  Giovanni Ciatto authored Aug 06, 2021
  13957e4e
Aug 02, 2021
- fix ReadEditSolve examples on both Kt and Java · 2642bd77
  Giovanni Ciatto authored Aug 02, 2021
  
  2642bd77
- + ReadEditSolve examples on both Kt and Java · f3587ed6
  Giovanni Ciatto authored Aug 02, 2021
  
  f3587ed6
- Merge branch 'master' into feature/examples · cca317d7
  Giovanni Ciatto authored Aug 02, 2021
  
  cca317d7
Jul 17, 2021
- Merge branch 'feature/renaming' into 'develop' · 97c182a8
  Giovanni Ciatto authored Jul 17, 2021
  97c182a8
- fix warnings · c67612d7
  Giovanni Ciatto authored Jul 17, 2021
  
  c67612d7
- Collection -> Recursive · 766e4ea0
  Giovanni Ciatto authored Jul 17, 2021
  
  766e4ea0
- Merge branch 'feature/renaming' into 'develop' · 72506c74
  Giovanni Ciatto authored Jul 17, 2021
  72506c74
- rename other prolog-named properties · f6875152
  Giovanni Ciatto authored Jul 17, 2021
  
  f6875152
- make solution type hierarchy sealed · 707128ea
  Giovanni Ciatto authored Jul 17, 2021
  
  707128ea
- make substitution type hierarchy sealed · 91ecf569
  Giovanni Ciatto authored Jul 17, 2021
  
  91ecf569
- adapt solve-* tests to the new definition of Primitive and LogicFunction · 3edd437c
  Giovanni Ciatto authored Jul 17, 2021
  
  3edd437c
- avoid warning in AbstractEvaluator.kt · 77b645e0
  Giovanni Ciatto authored Jul 17, 2021
  
  77b645e0
- make Primitive a functional interface · 9afde4b8
  Giovanni Ciatto authored Jul 17, 2021
  
  9afde4b8
- rename LogicFunction name · 0a3593e9
  Giovanni Ciatto authored Jul 17, 2021
  
  0a3593e9
- make LogicFunction an interface · 3d96b0b2
  Giovanni Ciatto authored Jul 17, 2021
  
  3d96b0b2
- rename PrologFunction -> LogicFunction · 86479aca
  Giovanni Ciatto authored Jul 17, 2021
  
  86479aca
- rename PrologIDE* -> TuPrologIDE* · 5507f636
  Giovanni Ciatto authored Jul 17, 2021
  
  5507f636
Jul 16, 2021
- Merge branch 'feature/renaming' into 'develop' · 3d64be43
  Giovanni Ciatto authored Jul 16, 2021
  3d64be43
- format Halt1 · b8e58550
  Giovanni Ciatto authored Jul 16, 2021
  
  b8e58550
- rename Term.isVariable -> .isVar, Term.isInt -> .isInteger, for uniformity reasons · 6977eca1
  Giovanni Ciatto authored Jul 16, 2021
  
  6977eca1
- fix theory serialization tests · ab007463
  Giovanni Ciatto authored Jul 16, 2021
  
  ab007463
- improve message in HaltException · 3fdb1e63
  Giovanni Ciatto authored Jul 16, 2021
  
  3fdb1e63
- rename set/current_prolog_flag -> set/current_flag, adding rules for backward compatibility · 80984d75
  Giovanni Ciatto authored Jul 16, 2021
  
  80984d75
- rename ToTermConvertible -> TermConvertible · e92f6391
  Giovanni Ciatto authored Jul 16, 2021
  
  e92f6391
- (addressing #142 ) rename PrologIDE* -> TuPrologIDE* in :ide · a67484bf
  Giovanni Ciatto authored Jul 16, 2021
  
  a67484bf
- (addressing #142 ) rename PrologWarning -> Warning · 419bb4dd
  Giovanni Ciatto authored Jul 16, 2021
  
  419bb4dd
- (addressing #142 ) rename PrologError -> LogicError · 03d65cd7
  Giovanni Ciatto authored Jul 16, 2021
  
  03d65cd7
- (addressing #142 ) rename TuPrologRuntimeException -> ResolutionException · 0510dc0b
  Giovanni Ciatto authored Jul 16, 2021
  
  0510dc0b
- rename Set -> Block in parser-js · 33c52c51
  Giovanni Ciatto authored Jul 16, 2021
  
  33c52c51
- rename Set -> Block in parser-jvm · df1d3a57
  Giovanni Ciatto authored Jul 16, 2021
  
  df1d3a57
Jul 15, 2021
- rename Set -> Block (closing #70 ) · 6671e8a4
  Giovanni Ciatto authored Jul 15, 2021
  
  6671e8a4
Jul 14, 2021
- Merge branch 'hotfix/parsing-structures' into 'develop' · 178b1e2d
  Giovanni Ciatto authored Jul 14, 2021
  View commits for tag 0.18.2 0.18.2
  178b1e2d