Anonymous read access to lustrec git:

git clone https://cavale.enseeiht.fr/git/lustrec

New release available at https://cavale.enseeiht.fr/redmine/attachments/download/114/lustrec-1.5-Xia-Shao-Kang-src.tgz

Now with akka actors.
Added support for CVC4.

Log is still a little bit buggy.

Documentation only:
[[https://cavale.enseeiht.fr/redmine/documents/9]]
Complete package:
[[https://cavale.enseeiht.fr/redmine/attachments/download/63/assumptio_v3.0.tar.gz]]

Presentation of the project including a video of the tool.

Simple L1 and lqr controlers. Available flavours: simulink for both, lustre and C for L1.

thanks to Lucas Wagner for the translation to Lustre.

• the user interface changed quite a lot, see the user manual for more details;
• added a new class named Massumptio. It allows to encapsulate several solvers to provide free restarts (restarts switch the active solver to an already running but blank one). Using Massumptio is done the same way as Assumptio;
• problem with unsat cores fixed;
• full support for MathSat 5.

Assumptio 2.0 is available here:
https://cavale.enseeiht.fr/redmine/projects/assumptio/files

The documentation (included in the aforementioned package) is available here:
https://cavale.enseeiht.fr/redmine/documents/7

The next release will probably include support for CVC 4 (if it is released by then).

Assumptio 2.0 includes new features and a slightly different interface.
The sources are already available (with the updated famous linear system solving example) on the svn at https://cavale.enseeiht.fr/svn/assumptio but the user manual needs to be modified.

This will be done soon.

Fixed a bug causing deadlocks in certain cases plus minor internal changes.

You can download Assumptio 1.7 here:
https://cavale.enseeiht.fr/redmine/projects/assumptio/files

The documentation (available in the aforementioned package) is available here:
https://cavale.enseeiht.fr/redmine/documents/6

The log path is now specified upon instantiation of the solver master class.

You can download Assumptio 1.6 here:
https://cavale.enseeiht.fr/redmine/projects/assumptio/files

The documentation (available in the aforementioned package) is available here:
https://cavale.enseeiht.fr/redmine/documents/5

Assumptio 1.5 is available here
https://cavale.enseeiht.fr/redmine/projects/assumptio/files

If you just want to take a quick look at Assumptio, go there:
https://cavale.enseeiht.fr/redmine/documents/4

• Assumptio now supports non-incremental mode;
• added a new Restart message which kills the back-end solver and creates a new one, see user manual;
• changed the constructors a little bit, see manual.

Of course, the linear system solving example has been updated.