Commits · 0.15.1 · PIKA-lab / tuProlog / 2P-Kt

Browse files

Dec 17, 2020
- update project map and readme · 857b2db0
  Giovanni Ciatto authored Dec 17, 2020
  
  View commits for tag 0.15.1 0.15.1
  857b2db0
Dec 06, 2020
- use kt-mpp-pp 0.2.8 · 8b15d038
  Giovanni Ciatto authored Dec 06, 2020
  
  View commits for tag 0.15.0 0.15.0
  8b15d038
- use kt-mpp-pp 0.2.7 · 1becabea
  Giovanni Ciatto authored Dec 06, 2020
  
  1becabea
- set subprojects version and group · fc148262
  Giovanni Ciatto authored Dec 06, 2020
  
  fc148262
- use kt-mpp-pp=0.2.6 · 9caa5f44
  Giovanni Ciatto authored Dec 06, 2020
  
  9caa5f44
- use kt-mpp-pp=0.2.5 · 391bce2d
  Giovanni Ciatto authored Dec 06, 2020
  
  391bce2d
- fix github release and js sources lifting · 73d3a1d8
  Giovanni Ciatto authored Dec 06, 2020
  
  73d3a1d8
Dec 05, 2020
- fix publications signing · cc1e21da
  Giovanni Ciatto authored Dec 05, 2020
  
  cc1e21da
- Merge branch 'feature/kt-mpp++' into develop · 32b1ebc5
  Giovanni Ciatto authored Dec 05, 2020
  
  32b1ebc5
- fix root project dependencies · bc5d38dc
  Giovanni Ciatto authored Dec 05, 2020
  
  bc5d38dc
- Merge branch 'feature/kt-mpp++' into 'develop' · 13aa0c82
  Giovanni Ciatto authored Dec 05, 2020
  13aa0c82
- Merge branch 'develop' into feature/kt-mpp++ · 75b4ebc1
  Giovanni Ciatto authored Dec 05, 2020
  
  75b4ebc1
- update properties names in github ci · 69dce2f5
  Giovanni Ciatto authored Dec 05, 2020
  
  69dce2f5
- Merge branch 'feature/packages' into 'develop' · 9c982a6b
  Giovanni Ciatto authored Dec 05, 2020
  9c982a6b
- move solve-streams code into ad-hoc package · 17cd7f30
  Giovanni Ciatto authored Dec 05, 2020
  
  17cd7f30
- fix ide shadowJar · 7c1a7f39
  Giovanni Ciatto authored Dec 05, 2020
  
  7c1a7f39
- move solve-classic conde into specific package · f26ca7e7
  Giovanni Ciatto authored Dec 05, 2020
  
  f26ca7e7
- add contributors to kotlinMultiplatform block · 4bce22f7
  Giovanni Ciatto authored Dec 05, 2020
  
  4bce22f7
- simplify all build.gradle.kts files among the project · e0bf846a
  Giovanni Ciatto authored Dec 05, 2020
  
  e0bf846a
- adopt kt-mpp-pp plugin v0.2.1 · c4bd1bbf
  Giovanni Ciatto authored Dec 05, 2020
  
  c4bd1bbf
- adopt kt-mpp-pp plugin · 351f8bb1
  Giovanni Ciatto authored Dec 05, 2020
  
  351f8bb1
Dec 03, 2020
- [wip] adopting kt-mpp-pp plugin · 85d88ff6
  Giovanni Ciatto authored Dec 03, 2020
  
  85d88ff6
Nov 26, 2020
- update project-map · bfe6f167
  Giovanni Ciatto authored Nov 26, 2020
  
  bfe6f167
- workaround for js publication on kt 1.4.20 · 04c27697
  Giovanni Ciatto authored Nov 26, 2020
  
  04c27697
- Merge branch 'feature/libraries' into 'develop' · 3b429d70
  Giovanni Ciatto authored Nov 26, 2020
  3b429d70
- use template method in BagOf and SetOf super class · fb149d69
  Giovanni Ciatto authored Nov 26, 2020
  
  fb149d69
- fix npm dependencies · cb39dde1
  Giovanni Ciatto authored Nov 26, 2020
  
  cb39dde1
Nov 24, 2020
- Modified the structure of setof and bagof primitive · da6093f8
  Silvia Lanzoni authored Nov 24, 2020
  
  da6093f8
- Update CONTRIBUTORS · 1c91277c
  Silvia Lanzoni authored Nov 24, 2020
  
  1c91277c
Nov 23, 2020
- ignore streams tests for bagof and setof · a4afeb39
  Giovanni Ciatto authored Nov 23, 2020
  
  a4afeb39
- format code · ce381f17
  Giovanni Ciatto authored Nov 23, 2020
  
  ce381f17
- improve bagof/3 implementation · 1b80cc2e
  Giovanni Ciatto authored Nov 23, 2020
  
  1b80cc2e
- fix BagOf and SetOf tests · 119fbfe8
  Giovanni Ciatto authored Nov 23, 2020
  
  119fbfe8
- + ^/2 and **/2 in PrologStdLibScope · 55c09ee5
  Giovanni Ciatto authored Nov 23, 2020
  
  55c09ee5
- + ktListOf & ktSetOf in Scope · 9a4ee1f1
  Giovanni Ciatto authored Nov 23, 2020
  
  9a4ee1f1
- minor fixes · 509a6ae5
  Giovanni Ciatto authored Nov 23, 2020
  
  509a6ae5
- fix Integer.kt · db5af033
  Giovanni Ciatto authored Nov 23, 2020
  
  db5af033
- format code · bef9aec1
  Giovanni Ciatto authored Nov 23, 2020
  
  bef9aec1
- Merge branch 'develop' into feature/libraries · 2ca64407
  Giovanni Ciatto authored Nov 23, 2020
  
  2ca64407
- adjusted the code · d9f08d22
  Silvia Lanzoni authored Nov 23, 2020
  
  d9f08d22