Skip to content

Release 1.3
Compare
Choose a tag to compare
@pruemmer pruemmer released this 21 Apr 11:52
· 464 commits to master since this release
v1.3
e478573

Time for a new release. Eldarica has seen substantial updates since the last release 1.2-rc, including support for timed and parameterised models in the C parser, a new preprocessor framework, and proper reconstruction of solutions and counterexamples. Various bugs have been fixed as well (and probably a couple of new bugs added).

Assets 3
Loading