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

Sep 06, 2021
- + PyUtils on jvm · e77b629d
  Giovanni Ciatto authored Sep 06, 2021
  
  View commits for tag 0.20.1 0.20.1
  e77b629d
Aug 27, 2021
- Merge branch 'feature/prob-lib' into 'develop' · f6956cce
  Giovanni Ciatto authored Aug 27, 2021
  View commits for tag 0.20.0 0.20.0
  f6956cce
- update readme for plp · f08ce683
  Giovanni Ciatto authored Aug 27, 2021
  
  f08ce683
Aug 24, 2021
- update project map · abb544c9
  Giovanni Ciatto authored Aug 24, 2021
  
  abb544c9
- make createDefaultBinaryDecisionDiagramBuilder common code · 86c364ba
  Giovanni Ciatto authored Aug 24, 2021
  
  86c364ba
Aug 23, 2021
- perform renaming of probabilistic modules · 9db5a5f7
  Giovanni Ciatto authored Aug 23, 2021
  
  9db5a5f7
- Merge branch 'master' into feature/prob-lib · 52d63c78
  Giovanni Ciatto authored Aug 23, 2021
  
  52d63c78
- Improve graph rendering UX and logic · b1174317
  Jason authored Aug 23, 2021
  
  b1174317
Aug 22, 2021
- Improve prob-ide UX · b85f14b9
  Jason authored Aug 23, 2021
  
  b85f14b9
- Fix broken tests · 520b4f61
  Jason authored Aug 22, 2021
  
  520b4f61
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/prob-lib · 1ff5ef77
  Giovanni Ciatto authored Aug 06, 2021
  1ff5ef77
- Merge branch 'develop' into feature/examples · 13957e4e
  Giovanni Ciatto authored Aug 06, 2021
  13957e4e
- Implement Prob IDE · 879fd396
  Jason authored Aug 06, 2021
  
  879fd396
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 30, 2021
- Add BDDs on solutions · 63a3c29c
  Jason authored Jul 30, 2021
  
  63a3c29c
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