Merge branch 'release/2.0.0-milestone-16' into develop
bump development
experiments on performance improvement
Merge branch 'develop' of github.com:bendisposto/prob2 into develop
PROBCORE-547 Traces are now tracked in the AnimationSelector via UUID.
Merge remote-tracking branch 'origin/develop' into develop
PROBCORE-586 Fixing ExecuteUntilCommand
cache functions and avoid to use javascript eval function
prevent visualisation from freezing
removed timeout
Merge branch 'develop' of github.com:bendisposto/prob2 into develop
move printProlog to interface in order to write a command that takes both classical B and Event-B as an input
use the code taken from the ast instead of the user input (to remove comments, etc.)
first command for unsat core computation and simple test case
Merge branch 'develop' of github.com:bendisposto/prob2 into develop
load a machine to make the testcase work
add option for minimum unsat core computation
PROBCORE-563 integration test isolates bug (is repaired in CLI)
Merge remote-tracking branch 'origin/develop' into develop
PROBCORE-587 Created command line option to automatically download the latest CLI before starting the shell or tests.