Skip to content

0.11.2
Compare
Choose a tag to compare
@gciatto gciatto released this 31 Aug 17:01
· 1627 commits to master since this release
0.11.2
bbd63f9

CHANGELOG

bbd63f9 ignore failing tests for :solve-streams
e3df13e fix Greco's tests for js interoperability
5df8904 fix NegationAsFailure
421bf34 unignore tests in TestStreamsCall.kt
9ed465d fix funtor/3 wrt tests
3a24578 Merge branch 'feature/testing' of gitlab.com:pika-lab/theses/thesis-greco-aa1920 into feature/testing
3057d73 Merge branch 'develop' into feature/testing
d189754 Merge branch 'feature/libraries' into feature/testing
e873015 make configureJsPackage optional for rootProject
0ecd735 fix broken Lanzoni's tests in test-solve
b27da47 fix broken Lanzoni's tests about term ordering
61c61f8 fix Lanzoni's tests
343057b + tests for atom_chars/2
0a80567 + atom_chars/2
75c50a2 add factory method TypeError.forArgumentList
0ac0c26 Merge branch 'develop' into feature/libraries
d4c2a39 fix TestTermImpl
5b348db Test NotProvable implementation
1c9477c Test Retract implementation
88a521d Test Float implementation
771a01b Test Call implementation
e631afb Test Is implementation
fda1f57 Test If-Then-Else implementation
0481b6d Test If-Then implementation
e59ca07 Merge branch 'feature/testing' of gitlab.com:pika-lab/theses/thesis-greco-aa1920 into feature/testing
4a7ce6e Test Functor implementation
8849a05 Merge branch 'feature/testing' of gitlab.com:pika-lab/theses/thesis-greco-aa1920 into feature/testing
36d9b69 Test Cut implementation
1d23525 Test Number implementation
b6d6847 make ad-hoc OutputChannel for warnings
3cc09f7 Test Term(diff,eq,gt,gt_eq,lt,lt_eq) implementation
ac54979 Test Integer implementation
d5e9227 Test Integer implementation
12ad9de Merge branch 'feature/kt-1.4.0' into feature/testing
c7d30ab update gradlew to 6.6.1, kotlin to 1.4.0, kt-math to 0.1.4, clikt to 2.8.0
e31fe81 fix test TestNotUnify.testDecNumberNotUnify for js
24e6a12 replicate Greco's tests for streams
143aeb0 make builds run on offline pcs as well
25c562f add tests in TestProlog to keep track that "-3" is evalued as "-3.0" on js
fc8a54e fix Greco's tests to support cumbersome creation of numbers on js
9d983d7 cleanup Greco's code
dc64d6a remove repeated code in Greco's sources, again
03bc5b5 Merge branch 'feature/testing' of gitlab.com:pika-lab/theses/thesis-greco-aa1920 into feature/testing
daa5680 remove repeated code in Greco's sources
f9960d6 Test NotUnify implementation
72a77c1 Merge branch 'feature/testing' of gitlab.com:pika-lab/theses/thesis-greco-aa1920 into feature/testing
626ccef ignore failing tests in TestStreamsSolver
5e90b70 fix findall to pass tests in TestFindAll
bab7cac edit the TuPrologRuntimeException type hierarchy to support a stack of ExecutionContexts for each exception, making MetaError useless
0455535 Test Atomic implementation

Assets 22
Loading