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

Browse files

Sep 17, 2020
- fix publishing of :parser-js · aa9654d9
  Giovanni Ciatto authored Sep 17, 2020
  
  View commits for tag 0.12.1 0.12.1
  aa9654d9
Sep 16, 2020
- check code in build stage during ci · 8ddef0c4
  Giovanni Ciatto authored Sep 16, 2020
  
  View commits for tag 0.12.0 0.12.0
  8ddef0c4
- update Versions.kt · 34a668ec
  Giovanni Ciatto authored Sep 16, 2020
  
  34a668ec
- cleanup build.gradle in :parser-js · 31f71b61
  Giovanni Ciatto authored Sep 16, 2020
  
  31f71b61
- Merge branch 'feature/js-parsing' into 'develop' · 28f0f968
  Giovanni Ciatto authored Sep 16, 2020
  28f0f968
- remove antlr and js code from :parser-js, replace with NPM dependency from @tuprolog/parser-utils · c0459385
  Giovanni Ciatto authored Sep 16, 2020
  
  c0459385
Sep 15, 2020
- + all dependencies in root-project · ce557d54
  Giovanni Ciatto authored Sep 15, 2020
  
  ce557d54
- Merge branch 'feature/ktlint' into 'develop' · a56f7370
  Giovanni Ciatto authored Sep 15, 2020
  a56f7370
Sep 14, 2020
- ktlint check in test stage · 1af78ac3
  Giovanni Ciatto authored Sep 14, 2020
  
  1af78ac3
- add ktlint check to ci · cdfc4073
  Giovanni Ciatto authored Sep 14, 2020
  
  cdfc4073
- format code in root project · cbae0a43
  Giovanni Ciatto authored Sep 14, 2020
  
  cbae0a43
- format code in :parser-jvm · 1ba58795
  Giovanni Ciatto authored Sep 14, 2020
  
  1ba58795
- format code in :examples · 18e25d2a
  Giovanni Ciatto authored Sep 14, 2020
  
  18e25d2a
- format code in :serialization-theory · 7b539b72
  Giovanni Ciatto authored Sep 14, 2020
  
  7b539b72
- format code in :serialization-core · 9009a60a
  Giovanni Ciatto authored Sep 14, 2020
  
  9009a60a
- format code in :repl · fdbfeac3
  Giovanni Ciatto authored Sep 14, 2020
  
  fdbfeac3
- format code in :parser-theory · 890d9357
  Giovanni Ciatto authored Sep 14, 2020
  
  890d9357
- fix Signature · 76e88d27
  Giovanni Ciatto authored Sep 14, 2020
  
  76e88d27
- remove bulk imports in :solve-streams/src/commonTest · abe986aa
  Giovanni Ciatto authored Sep 14, 2020
  
  abe986aa
- basic formatting in :solve-streams/src/commonTest · ef02c069
  Giovanni Ciatto authored Sep 14, 2020
  
  ef02c069
- revert formatting of solve-streams/src/commonMain · 00b4b7d6
  Giovanni Ciatto authored Sep 14, 2020
  
  00b4b7d6
- kotlin.mpp.stability.nowarn=true · b153124c
  Giovanni Ciatto authored Sep 14, 2020
  
  b153124c
- format code in :parser-core · 66f94ba8
  Giovanni Ciatto authored Sep 14, 2020
  
  66f94ba8
- format code in :parser-js (+ enable test for hex numbers lexing) · 9a434214
  Giovanni Ciatto authored Sep 14, 2020
  
  9a434214
- format code in :parser-core · f0fead75
  Giovanni Ciatto authored Sep 14, 2020
  
  f0fead75
- format code in :dsl-theory · 63d9abd0
  Giovanni Ciatto authored Sep 14, 2020
  
  63d9abd0
- fix sleep/1 · 7c0f62ea
  Giovanni Ciatto authored Sep 14, 2020
  
  7c0f62ea
- format code in :dsl-solve · 30eafdb2
  Giovanni Ciatto authored Sep 14, 2020
  
  30eafdb2
- format code in :dsl-unify · 5495de2e
  Giovanni Ciatto authored Sep 14, 2020
  
  5495de2e
- format code in :dsl-core · abf1c7ab
  Giovanni Ciatto authored Sep 14, 2020
  
  abf1c7ab
- format code in :test-solve · 658aa7c8
  Giovanni Ciatto authored Sep 14, 2020
  
  658aa7c8
- format code in :solve-streams · b8b465e0
  Giovanni Ciatto authored Sep 14, 2020
  
  b8b465e0
- format code in :solve-classic · 63c33961
  Giovanni Ciatto authored Sep 14, 2020
  
  63c33961
- format code in :solve · 7959b043
  Giovanni Ciatto authored Sep 14, 2020
  
  7959b043
- format code in :theory · a873b669
  Giovanni Ciatto authored Sep 14, 2020
  
  a873b669
- format code in :unify · e8c97fd3
  Giovanni Ciatto authored Sep 14, 2020
  
  e8c97fd3
- format commonTest in :core · 51f65473
  Giovanni Ciatto authored Sep 14, 2020
  
  51f65473
- format commonMain in :core · 0bca846d
  Giovanni Ciatto authored Sep 14, 2020
  
  0bca846d
Sep 11, 2020
- format :core code through ktlint · 9b2569d0
  Giovanni Ciatto authored Sep 11, 2020
  
  9b2569d0
- + ktlint-gradle plugin · cd6a158d
  Giovanni Ciatto authored Sep 11, 2020
  
  cd6a158d