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

Jun 28, 2021
- 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
- fix tests in :unify · 8a813c5f
  Giovanni Ciatto authored Jun 20, 2021
  
  8a813c5f
- remove useless type tests in :unify · b30f8960
  Giovanni Ciatto authored Jun 20, 2021
  
  b30f8960
Jun 19, 2021
- remove useless type tests equations · e349a963
  Giovanni Ciatto authored Jun 19, 2021
  
  e349a963
- remove useless type tests for cursors · 53f69471
  Giovanni Ciatto authored Jun 19, 2021
  
  53f69471
- reformat code · 33c8bbf0
  Giovanni Ciatto authored Jun 19, 2021
  
  33c8bbf0
- fine tune the efficiency of Lists · e2ad239e
  Giovanni Ciatto authored Jun 19, 2021
  
  e2ad239e
- + WhenStruct selector · 8657cc32
  Giovanni Ciatto authored Jun 19, 2021
  
  8657cc32
- make Selectors.kt compile by removing method reverence · c500a696
  Giovanni Ciatto authored Jun 19, 2021
  
  c500a696
- fix new implementation of SetIterator · 6e5d7c50
  Giovanni Ciatto authored Jun 19, 2021
  
  6e5d7c50
- implement some selectors on the js side · 3375bbe1
  Giovanni Ciatto authored Jun 19, 2021
  
  3375bbe1