| Branch: | Tag: | Revision:

lustrec / @ 4d841db7

History | View | Annotate | Download (2.3 KB)

# Date Author Comment
53472c83 03/29/2018 03:53 PM Pierre-Loïc Garoche

Updated TODO
Changed selection of files in odocl

0dee2bc1 11/20/2015 06:41 PM Pierre-Loïc Garoche

Refactoring of the horn backend with Reset/Step instead of Init/Step.
Teme, please perform a string non regression test wrt the previous version, to make sure we have the same model checking results.

7c95dcab 10/08/2015 07:11 PM Pierre-Loïc Garoche

Two fresh branches :)
to manage enum and arrays in the horn backend.

0cbf0839 10/02/2013 08:13 AM Pierre-Loïc Garoche

Moved files to trunk in lustre_compiler