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

Nov 14, 2019
- fix warnings for ci · a22ae07b
  Giovanni Ciatto authored Nov 14, 2019
  
  View commits for tag 0.1.0 0.1.0
  a22ae07b
- more warnings for ci · e36b037b
  Giovanni Ciatto authored Nov 14, 2019
  
  e36b037b
Nov 13, 2019
- warnings for empty signing properties · 053a41d9
  Giovanni Ciatto authored Nov 14, 2019
  
  053a41d9
- placeholders for signing properties · 639de8e9
  Giovanni Ciatto authored Nov 14, 2019
  
  639de8e9
- actually update wrapper · 80db3805
  Giovanni Ciatto authored Nov 13, 2019
  
  80db3805
- ultra general ci · 74720992
  Giovanni Ciatto authored Nov 13, 2019
  
  74720992
- add stacktrace · 9bd8798e
  Giovanni Ciatto authored Nov 13, 2019
  
  9bd8798e
- try disabling caches · a9671423
  Giovanni Ciatto authored Nov 13, 2019
  
  a9671423
- maybe the problem was GRADLE_OPTS · b21837dd
  Giovanni Ciatto authored Nov 13, 2019
  
  b21837dd
- remove malleability · 7342ba2e
  Giovanni Ciatto authored Nov 13, 2019
  
  7342ba2e
- remove after task empty var · 1d565828
  Giovanni Ciatto authored Nov 13, 2019
  
  1d565828
- malleable ci · 0ed00522
  Giovanni Ciatto authored Nov 13, 2019
  
  0ed00522
- fix publishAllToBintrayTask · d3b766fc
  Giovanni Ciatto authored Nov 13, 2019
  
  d3b766fc
Nov 12, 2019
- use in memory pgp · a18b7748
  Giovanni Ciatto authored Nov 12, 2019
  
  a18b7748
- add ci stage for upload to bintray · 42cbafdf
  Giovanni Ciatto authored Nov 12, 2019
  
  42cbafdf
- update vm for ci to include git · 794d8734
  Giovanni Ciatto authored Nov 12, 2019
  
  794d8734
- [wip] cleanup gradle.properties · 14edb00f
  Giovanni Ciatto authored Nov 12, 2019
  
  14edb00f
- [wip] define publishAllToBintray task, need to setup · a7018eda
  Giovanni Ciatto authored Nov 12, 2019
  
  a7018eda
- apply DanySK's plugin for semver · 9daba3cb
  Giovanni Ciatto authored Nov 12, 2019
  
  9daba3cb
- bintray upload works · fb70a690
  Giovanni Ciatto authored Nov 12, 2019
  
  fb70a690
- add support for bintray upload · 534f8d3e
  Giovanni Ciatto authored Nov 12, 2019
  
  534f8d3e
- update wrapper to gradle 6 · e97377bc
  Giovanni Ciatto authored Nov 12, 2019
  
  e97377bc
- settings.gradle is not kts · 19b8c011
  Giovanni Ciatto authored Nov 12, 2019
  
  19b8c011
- replace AGPL license with Apache 2.0 · 98df0506
  Giovanni Ciatto authored Nov 12, 2019
  
  98df0506
- remove useless properties files · ba91ccff
  Giovanni Ciatto authored Nov 12, 2019
  
  ba91ccff
- fix root project build.gradle · 0fddc003
  Giovanni Ciatto authored Nov 12, 2019
  
  0fddc003
- Modified default errorExtraData · cc855ed1
  Enrico Siboni authored Nov 12, 2019
  
  cc855ed1
Nov 07, 2019
- Removed boilerplate code · 8102994d
  Enrico Siboni authored Nov 07, 2019
  
  8102994d
- Refactoring the way errors are thrown in "Prolog" class · 090e6a48
  Enrico Siboni authored Nov 07, 2019
  
  090e6a48
- Bug-fixed Prolog Substitution.containsValue that checked in keys instead of values · e7d344ec
  Enrico Siboni authored Nov 07, 2019
  
  e7d344ec
- Added a DSL theory creation method variant in PrologWithTheories · c222ef9a
  Enrico Siboni authored Nov 07, 2019
  
  c222ef9a
Nov 05, 2019
- Substitution API enhancements, tested · 960487b4
  Enrico Siboni authored Nov 05, 2019
  
  960487b4
- Solved compilation error · 8a139765
  Enrico Siboni authored Nov 05, 2019
  
  8a139765
- Fixed ClauseDatabase toString · 7a27746c
  Enrico Siboni authored Nov 05, 2019
  
  7a27746c
- Suppress warning for variable name (`_`) in Scope · f6ccd3b5
  Enrico Siboni authored Nov 05, 2019
  
  f6ccd3b5
Nov 03, 2019
- Type aliasing: Map<Atom, Term> -> PrologFlags · bf513a36
  Enrico Siboni authored Nov 03, 2019
  
  bf513a36
Nov 01, 2019
- Moved test class according to tested class position · f7699c3a
  Enrico Siboni authored Nov 01, 2019
  
  f7699c3a
- Merge branch 'feature/substitution-standard-compliance' into 'develop' · 2d447c6a
  Enrico Siboni authored Nov 01, 2019
  2d447c6a
Oct 31, 2019
- Merge branch 'develop' into feature/substitution-standard-compliance · f0d0f7bc
  Enrico Siboni authored Oct 31, 2019
  
  f0d0f7bc
- Moved "ReteTree" factory object to proper package (it is specific for clauses) · c52ac444
  Enrico Siboni authored Oct 31, 2019
  
  c52ac444