Skip to content

0.10.2
Compare
Choose a tag to compare
@gciatto gciatto released this 12 Jun 22:12
· 1864 commits to master since this release
0.10.2
160cf50

CHANGELOG

160cf50 let StateGoalSelection propagate operators, input channels, and output channels to parent context
dea79b0 + op/3
c54b23b add DomainError and its relative type ensuring methods
5cfa5ab add factory Operator.fromTerms
e11115e + current_op/3
4519e38 Merge branch 'feature/parser' into 'develop'
e37d33e Merge branch 'develop' of gitlab.com:pika-lab/tuprolog/2p-in-kotlin into develop
785ba38 Merge branch 'feature/arg2p' into develop
30aff0b fix broken DummyInstances file
03eb22a make :repl operators sensitive
507574b automatically generate Info.kt file in :core
c16ba2b add support for operators table in Solver
7782f5e Merge branch 'feature/parser' into 'develop'
538c7b2 add op/3 support in js as well
b38867b fix DynamicOpListener in JVM
93a9040 Merge branch 'develop' into feature/arg2p
aac4bb5 fix MathFunctions to fix broken tests
27d8537 improve implementation of functor/3 and =../2
b767a3e Merge branch 'develop' into feature/arg2p
e01180d Built-ins functor/3 and =../2 implementation
82ec8c6 Built-ins functor/3 and =../2 implementation
cdc872a move abstract function base classes in package it.unibo.tuprolog.solve.function
afc09b2 fix ArithmeticRelation to pass broken tests in :test-solve
003cc1c improve prolog errors construction
78fe731 minor bug fixes to ArithmeticRelation.kt
add79a7 fix built-in primitives with new wrappers hierarchy
86a6589 fix primitive wrappers hierarchy
b8b1f42 move support wrappers classes for primitives in it.unibo.tuprolog.solve.primitive
8a9e10c Merge branch 'documentation' into develop
f24ec76 console=plain in whole gradle
52ffb4d Merge branch 'documentation' of gitlab.com:pika-lab/courses/as/projects/sa-project-rizzato-1920 into documentation
d29e091 Merge branch 'master' into documentation
a6bc8ed fix example indentation
c46c6ca Merge branch 'documentation' of https://gitlab.com/pika-lab/courses/as/projects/sa-project-rizzato-1920 into documentation
ca01550 + unification chapter
bd36540 Merge branch 'develop' into documentation
4b2209d change -> to =
cb467a2 fix text
f7c6452 + substitutions chapter

Assets 18
Loading