0.11.0

CHANGELOG

d75daf9 improve readme presentation
d7ef66f Merge branch 'develop'
0bb2fc4 increase time for retract-related tests
fb1542d Merge branch 'feature/solve-streams-side-effects-alignment' into develop
abaf912 Merge branch 'develop' of gitlab.com:pika-lab/tuprolog/2p-in-kotlin into develop
6523be3 Merge branch 'feature/serialization' into 'develop'
61868e2 fix jsnames in Libraries
6e08616 fix js and jvm names for library-related stuff
3200a45 Implemented propagation of side effects in StateGoalEvaluation.kt returned end states, according to Conjunction pattern
2605768 + yed-based project map
00fccd2 increase timeout for gradle
08e4034 add minimal testing for serialize-theory
8328253 fix lists serialization and factorise ObjsectsUtils
e968567 fix tests in test-solve
eed875a edit common primitives to exploit the side effects builder
bf19f50 + reply methods in Solve.Request for building side effects
5984a50 + side effects factory or builder
8e07392 move Solve in it.unibo.tuprolog.solve.primitive
48bbe1f Added Giovanni's fix to Conjunction.kt
3daefd4 optimizations
16ba147 Copy bugfix of Solve class
d0f9ba4 My version of first three broken commits (more clean, less modifications)
2e92aa7 + test stub for theory serialization
0db238c fix visibility in :serialize-*
6395d91 fix theory objectifiers
f98e1d4 theory serialization
a3b37c9 serialize and deserialize many at once
c2aec75 clean before assemble in ci
5c710a8 tests in TestTermDeserializer pass
8dcbae4 fix representation of Reals
4cd8b7b all tests in TestTermSerializer pass
0b0a1c2 minor fixes in serialize-core
40fe9a0 implement serialize-core in js
73235ed minor improvements
2e01312 jvm implementation should be ok
75cbb6e jvm interfaces
64471a6 Objectifier and Deobjectifier interfaces
fd05858 interfaces are ok
f15c0d1 :serialization-* --> :serialize-*
5c3fb22 set up serialization-* projects
5ed81d5 Merge branch 'feature/arg2p-integration' into develop
070b085 add overloads for ExecutionContext.apply in StreamsExecutionContext
476ab06 remove ambiguities from Solve.Response constructors
73d0e0e reimplement Retract
581f84b enable testSideEffectsPersistentAfterBacktracking1 in ClassicSolverSystemTesting
a0e3190 adapt builtin primitives to the new side effects API
e60f7a0 handle primitives side effects in classic FSM
a7ba467 fix bug in IndexedTheory.retract
7a643e3 fix bug in ExecutionContext.apply
8c67f8e [broken] change the nature of Solve.Response (and update the Solve.Request.reply* methods accordingly)