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

Apr 15, 2022
- fix(build): generate Info.kt before dokka tasks · 52d0d58d
  Giovanni Ciatto authored Apr 15, 2022
  
  52d0d58d
- fix(test): ignore TestStreamsBagOf.testBagXInDifferentValues (too slow on windows) · aef6495e
  Giovanni Ciatto authored Apr 15, 2022
  
  aef6495e
- chore(test): greater timeout for solve-* tests on windows · 1c872321
  Giovanni Ciatto authored Apr 15, 2022
  
  1c872321
- feat: support os introspection · cf14d882
  Giovanni Ciatto authored Apr 15, 2022
  
  cf14d882
- chore(ci): disable fail-fast in check matrix · 7f9423ad
  Giovanni Ciatto authored Apr 15, 2022
  
  7f9423ad
- fix: addressing warnings which appeared in kt 1.6.20 · 68bd7208
  Giovanni Ciatto authored Apr 15, 2022
  
  68bd7208
- build(deps): use gradlew 7.4.2 · 8a3c9155
  Giovanni Ciatto authored Apr 15, 2022
  
  8a3c9155
- feat(deps): use kotlin and dokka 1.6.20 · 515e5acd
  Giovanni Ciatto authored Apr 15, 2022
  
  515e5acd
- feat(ci): use actions/checkout@v3 · cd1e48e4
  Giovanni Ciatto authored Apr 15, 2022
  
  cd1e48e4
- chore(deps): use javafx v17 (which supports M1 chips) · c616f5ad
  Giovanni Ciatto authored Mar 09, 2022
  
  c616f5ad
- fix(ci): avoid using assemble task in gitlab ci · 477708d6
  Giovanni Ciatto authored Mar 09, 2022
  
  477708d6
- fix(build): add platform specific classes tasks for jvm- and js-only projects · 9ce0fe2d
  Giovanni Ciatto authored Mar 09, 2022
  
  9ce0fe2d
- fix(build): update some dependencies · 5528e5ef
  Giovanni Ciatto authored Mar 08, 2022
  
  5528e5ef
- deps(build): use gradle 7.4 · fc0027ca
  Giovanni Ciatto authored Mar 08, 2022
  
  fc0027ca
- fix(test): increase time for SolverTest and its subtypes · 193ec4bd
  Giovanni Ciatto authored Mar 04, 2022
  
  193ec4bd
- build: update gradle wrapper to gradle 7.4 · ebfa8e79
  Giovanni Ciatto authored Feb 25, 2022
  
  ebfa8e79
- test: ignore TestStreamsAssertA.testAsserAClause · e725f886
  Giovanni Ciatto authored Feb 25, 2022
  
  e725f886
- ci(gitlab): use newer image for ci · e8dd691d
  Giovanni Ciatto authored Feb 25, 2022
  
  e8dd691d
- test: make io-lib tests more platform-independent · 3dbcebc6
  Giovanni Ciatto authored Feb 24, 2022
  
  3dbcebc6
- fix: accessing local file on Node now automatically converts file separators from / to \ on Windows · 57cac6cc
  Giovanni Ciatto authored Feb 22, 2022
  
  57cac6cc
- ci: fix the name of ktlint reports artifact · 2354b2f6
  Giovanni Ciatto authored Feb 22, 2022
  
  2354b2f6
- test: use threshold-based assertions when comparing BigDecimals · f588ddea
  Giovanni Ciatto authored Feb 22, 2022
  
  f588ddea
- ci: use platform specific names for artifacts · d786738f
  Giovanni Ciatto authored Feb 22, 2022
  
  d786738f
- build: support gradle scan · 65a16063
  Giovanni Ciatto authored Feb 22, 2022
  
  65a16063
- ci: add test reports · 71524068
  Giovanni Ciatto authored Feb 22, 2022
  
  71524068
- test: use custom service for remote tests in :io-lib · c07aa24b
  Giovanni Ciatto authored Feb 21, 2022
  
  c07aa24b
- ci: remove tests on Node 12.x, as it does not support antlr >= 4.9.x · 42cd28f1
  Giovanni Ciatto authored Feb 14, 2022
  
  42cd28f1
- fix(ci): remove wrong step in check-style job · a48934ec
  Giovanni Ciatto authored Feb 11, 2022
  
  a48934ec
- ci: update github ci · 20106bd2
  Giovanni Ciatto authored Feb 11, 2022
  20106bd2
- fix: solve minor warnings all around the project · 035d0ebf
  Giovanni Ciatto authored Feb 11, 2022
  
  035d0ebf
- style: format several files to comply to ktlint · 0fb00a7b
  Giovanni Ciatto authored Feb 11, 2022
  0fb00a7b
- build: merge kotlin*-doc plugins · 099e19c6
  Giovanni Ciatto authored Feb 11, 2022
  
  099e19c6
- build: rename kotlin-jvm-js to kotlin-mp · 55ad8f3c
  Giovanni Ciatto authored Feb 11, 2022
  
  55ad8f3c
- build: add bug finding support for kotlin, via detekt plugin · 1e604ce5
  Giovanni Ciatto authored Feb 11, 2022
  
  1e604ce5
- build: add style checking support for kotlin, via ktlint plugin · f74b5dfc
  Giovanni Ciatto authored Feb 11, 2022
  
  f74b5dfc
- build: add ktlint dependency · 4fa2d960
  Giovanni Ciatto authored Feb 10, 2022
  
  4fa2d960
- build: support for dokka · 70857297
  Giovanni Ciatto authored Feb 10, 2022
  
  70857297
- build: configure jvm and node versions in all projects · 5c2f8572
  Giovanni Ciatto authored Feb 10, 2022
  
  5c2f8572
- build: add full sub-project · d09cfd85
  Giovanni Ciatto authored Feb 07, 2022
  
  d09cfd85
- build: switching to new build approach · d5c75b6f
  Giovanni Ciatto authored Feb 03, 2022
  
  d5c75b6f