CristalCaveGem » LustreC

06/21/2017

11:42 PM Lustrec-Tests Revision 16bf5d3c (lustrec-tests): Improved zustre output comparison

Pierre-Loïc Garoche

11:03 PM Revision 2dae76da (lustrec): Restored common_option definition. Was removed by a non delicate merge.

Pierre-Loïc Garoche

08:50 PM Revision b6d37e71 (lustrec): Bug solved: EMF backend was forced

Pierre-Loïc Garoche

08:46 PM Revision 37419cf4 (lustrec): Missing file

Pierre-Loïc Garoche

08:46 PM Revision 30dee850 (lustrec): fixed matlab output

Teme Kahsai

08:46 PM Revision d3e837ea (lustrec): Changed the matlab function backend

Pierre-Loïc Garoche

08:45 PM Revision e0597d49 (lustrec): _Bool are unsigned integer. The cast as a _Bool is delayed until the end of the function

Pierre-Loïc Garoche

08:42 PM Revision b7258fa5 (lustrec): Merge branch 'unstable' into seahorn_a6df3

a6df3 is the initial commit of branch seahorn Pierre-Loïc Garoche

06/20/2017

10:51 PM Revision afbf8da2 (lustrec): add tan function in math.lusi

Bourbouh

05/24/2017

11:26 PM Bug #55 (Closed): assertions generation in Horn clauses (smt2 file)

with the file attached
Using *Unstable* branch I get following errors using these steps:
*lustrec -horn tcm_with_... Hamza Bourbouh