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

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
- reduce the size of TestBigList to avoid timeouts during test suites in CI · 626a67fc
  Giovanni Ciatto authored Jul 14, 2021
  
  626a67fc
- use @tuprolog/parser-utils v0.3.1 · 645284c0
  Giovanni Ciatto authored Jul 14, 2021
  
  645284c0
- increase minimum time for TestBigList · e82dfc28
  Giovanni Ciatto authored Jul 14, 2021
  
  e82dfc28
- address #151 on jvm · 8fb2912a
  Giovanni Ciatto authored Jul 14, 2021
  
  8fb2912a
Jun 28, 2021
- restore & correct type tests in Struct · fb9f5961
  Giovanni Ciatto authored Jun 28, 2021
  
  View commits for tag 0.18.1 0.18.1
  fb9f5961
- add test preventing regression for #150 · aa6d7d75
  Giovanni Ciatto authored Jun 28, 2021
  
  aa6d7d75
- remove wrong type testing properties in Struct · 111473c6
  Giovanni Ciatto authored Jun 28, 2021
  
  111473c6
- avoid time consuming type testing in PrimitiveWrapper · 4f1749b5
  Giovanni Ciatto authored Jun 28, 2021
  
  4f1749b5
- change implementation of clause/2 to fix #150 · 79107fbb
  Giovanni Ciatto authored Jun 28, 2021
  
  79107fbb
- update versions in readme.md · 525f51ec
  Giovanni Ciatto authored Jun 28, 2021
  
  View commits for tag 0.18.0 0.18.0
  525f51ec
- update gradlew to 7.1 · 736db663
  Giovanni Ciatto authored Jun 28, 2021
  
  736db663
Jun 25, 2021
- make lazy lists be copied lazily, while eager lists are copied eagerly (closing #149 ) · a89f03d9
  Giovanni Ciatto authored Jun 25, 2021
  
  a89f03d9
- support BigLists generation up to 10_000 items · 27212d77
  Giovanni Ciatto authored Jun 25, 2021
  
  27212d77
- optimize abstract unificator · cf6d4e1e
  Giovanni Ciatto authored Jun 25, 2021
  
  cf6d4e1e
- optimise cursors · e3b69b3b
  Giovanni Ciatto authored Jun 25, 2021
  
  e3b69b3b
- optimize List.last property · 08dc050e
  Giovanni Ciatto authored Jun 25, 2021
  
  08dc050e
- separate AbstractStruct and StructImpl · a41a771e
  Giovanni Ciatto authored Jun 25, 2021
  
  a41a771e
- make ConsImpl, TupleImpl, and SetImpl compute groundness upon creation · 53a6df16
  Giovanni Ciatto authored Jun 25, 2021
  
  53a6df16
- use caching in MapperCursor · 3a9d85f4
  Giovanni Ciatto authored Jun 25, 2021
  
  3a9d85f4
- make LazyCons* implementations generate lazy argument lists · 0b5c15bf
  Giovanni Ciatto authored Jun 25, 2021
  
  0b5c15bf
- remove Struct.argsArray · 73fe7ae3
  Giovanni Ciatto authored Jun 25, 2021
  
  73fe7ae3
Jun 24, 2021
- Struct.args -> .argsArray (deprecated), Struct.argsList -> Struct.args · 5ddd0892
  Giovanni Ciatto authored Jun 24, 2021
  
  5ddd0892
- restore StateRuleSelection · 6c8a5be1
  Giovanni Ciatto authored Jun 24, 2021
  
  6c8a5be1
Jun 23, 2021
- restore full buffering in rules selection · c8563386
  Giovanni Ciatto authored Jun 23, 2021
  
  c8563386
Jun 21, 2021
- Merge branch 'feature/avoid-type-testing' into 'develop' · a1160f82
  Giovanni Ciatto authored Jun 21, 2021
  a1160f82
- fix LazyCursor · 4397ac17
  Giovanni Ciatto authored Jun 21, 2021
  
  4397ac17
- removing useless type tests form solve-classic · acfde804
  Giovanni Ciatto authored Jun 21, 2021
  
  acfde804
- remove even more unattended type tests · 1969f844
  Giovanni Ciatto authored Jun 21, 2021
  
  1969f844
- tweak comparison among terms · dccb7f6c
  Giovanni Ciatto authored Jun 21, 2021
  
  dccb7f6c
- remove useless usage of `as` operator in :core · bbb416ee
  Giovanni Ciatto authored Jun 21, 2021
  
  bbb416ee
- remove useless usage of `as` operator in :core · 24299946
  Giovanni Ciatto authored Jun 21, 2021
  
  24299946
- avoid time consuming to-collection cast in CollectionImpl · f4cd6d66
  Giovanni Ciatto authored Jun 21, 2021
  
  f4cd6d66
- remove useless type tests and casts from :theory · 45ac40f3
  Giovanni Ciatto authored Jun 21, 2021
  
  45ac40f3
- fix AbstractTermFormatter · 3528e22a
  Giovanni Ciatto authored Jun 21, 2021
  
  3528e22a
- remove selectors · 095df003
  Giovanni Ciatto authored Jun 21, 2021
  
  095df003
Jun 20, 2021
- keep track of edited files · f94697a3
  Giovanni Ciatto authored Jun 20, 2021
  
  f94697a3
- enlarge BigList test size on js · 5b2bbd33
  Giovanni Ciatto authored Jun 20, 2021
  
  5b2bbd33
- reformat · 4103328c
  Giovanni Ciatto authored Jun 20, 2021
  
  4103328c
- use linked lists in AbstractUnificator · 32f123a8
  Giovanni Ciatto authored Jun 20, 2021
  
  32f123a8