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

May 16, 2021
- remove useless dependency from org.jetbrains.kotlinx:kotlinx-coroutines-core · 31a575a9
  Giovanni Ciatto authored May 16, 2021
  
  View commits for tag 0.17.3 0.17.3
  31a575a9
May 15, 2021
- update README.md · 4feadc37
  Giovanni Ciatto authored May 15, 2021
  
  View commits for tag 0.17.2 0.17.2
  4feadc37
May 12, 2021
- improve functioning of reset in presence of syntax errors · 35e72985
  Giovanni Ciatto authored May 12, 2021
  
  35e72985
- make TermParser throw InvaldTermTypeException in type specific parsing methods · 98f2c5ae
  Giovanni Ciatto authored May 12, 2021
  
  98f2c5ae
- improve presentation of errors · cee9f737
  Giovanni Ciatto authored May 12, 2021
  
  cee9f737
May 11, 2021
- address #144 · d8edebb3
  Giovanni Ciatto authored May 11, 2021
  
  d8edebb3
- improve updateContextSensitiveView in ide controller · edfa8de4
  Giovanni Ciatto authored May 11, 2021
  
  edfa8de4
- add support for setting timeout in :ide · 46b3f17b
  Giovanni Ciatto authored May 11, 2021
  
  46b3f17b
- [wip] adding timeout support · b7476594
  Giovanni Ciatto authored May 11, 2021
  
  b7476594
- address #145 · 3d2a5090
  Giovanni Ciatto authored May 11, 2021
  
  3d2a5090
- address #143 · e842d46e
  Giovanni Ciatto authored May 11, 2021
  
  e842d46e
- rename PrologIdeBuilder -> PrologIDEBuilder · 2e0e7b52
  Giovanni Ciatto authored May 11, 2021
  
  2e0e7b52
May 04, 2021
- Merge branch 'hotfix/expression-reducer' into hotfix/reader-channel · 2aaeee3b
  Giovanni Ciatto authored May 04, 2021
  
  2aaeee3b
- fix expression reducer and its test · e28461f8
  Giovanni Ciatto authored May 04, 2021
  
  e28461f8
May 03, 2021
- fix readerchannel · bc1e2ed9
  Giovanni Ciatto authored May 03, 2021
  
  bc1e2ed9
- fix ExpressionReducer · 0914773a
  Giovanni Ciatto authored May 03, 2021
  
  0914773a
- + examples about solvers usage · 2ee91415
  Giovanni Ciatto authored May 03, 2021
  
  2ee91415
- + solver examples · e42d2778
  Giovanni Ciatto authored May 03, 2021
  
  e42d2778
Apr 22, 2021
- Merge branch 'feature/clause-manipulation' into 'develop' · 089dd410
  Giovanni Ciatto authored Apr 22, 2021
  089dd410
- + tests for clauses and struct manipulation · 90e0e580
  Giovanni Ciatto authored Apr 22, 2021
  
  90e0e580
Apr 21, 2021
- fix TermTest · 9b521ccc
  Giovanni Ciatto authored Apr 21, 2021
  
  9b521ccc
- extend clause manipulation facilities · 751a41c5
  Giovanni Ciatto authored Apr 21, 2021
  
  751a41c5
Apr 20, 2021
- [wip] add manipulation of clauses · 9b146145
  Giovanni Ciatto authored Apr 20, 2021
  
  9b146145
- Merge branch 'feature/clause-reader' into 'develop' · 03cac716
  Giovanni Ciatto authored Apr 20, 2021
  03cac716
- + ClausesReader implementation on jvm · ac8a1465
  Giovanni Ciatto authored Apr 20, 2021
  
  ac8a1465
- Merge branch 'develop' into feature/clause-reader · b17bfe7e
  Giovanni Ciatto authored Apr 20, 2021
  
  b17bfe7e
- fix SolutionFormatter API · 70805b63
  Giovanni Ciatto authored Apr 20, 2021
  
  70805b63
- + ClauseReader interface · 68632fd1
  Giovanni Ciatto authored Apr 20, 2021
  
  68632fd1
- + SolutionFormatter · 74509766
  Giovanni Ciatto authored Apr 20, 2021
  
  74509766
- make StateRuleSelection buffer clauses only if strictly necessary · 5aa04d9b
  Giovanni Ciatto authored Apr 20, 2021
  
  5aa04d9b
Apr 19, 2021
- + reverse/2 in CommonPrimitives · 54dd0dd0
  Giovanni Ciatto authored Apr 19, 2021
  
  54dd0dd0
- ignore TestKotlinReflectionWorkaroundsAreStillNecessary · 25724c0c
  Giovanni Ciatto authored Apr 19, 2021
  
  25724c0c
- minor improvements to easy solver initialization in java · eed3f1fc
  Giovanni Ciatto authored Apr 19, 2021
  
  eed3f1fc
Apr 09, 2021
- fix intricacy in method invocation · 25b5abaa
  Giovanni Ciatto authored Apr 09, 2021
  
  25b5abaa
Apr 08, 2021
- several improvements in :oop-lib · 7b6239cc
  Giovanni Ciatto authored Apr 08, 2021
  
  7b6239cc
- test invoke_method/3, invoke_strict/3, and new_object/3 · d84c6e7f
  Giovanni Ciatto authored Apr 08, 2021
  
  d84c6e7f
- improve error management in :oop-lib · e8a93f46
  Giovanni Ciatto authored Apr 08, 2021
  
  e8a93f46
Apr 05, 2021
- use ad-hoc class for constants in :oop-lib · 92c6ce87
  Giovanni Ciatto authored Apr 05, 2021
  
  92c6ce87
- TestAliasImpl includes negative tests too · b3790bb7
  Giovanni Ciatto authored Apr 05, 2021
  
  b3790bb7
- TestAliasImpl is ok · cbd85854
  Giovanni Ciatto authored Apr 05, 2021
  
  cbd85854