CristalCaveGem » LustreC

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

05/18/2017

09:18 AM Lustrec-Tests Revision 6d1a5792 (lustrec-tests): Improving Zustre output check

Pierre-Loïc Garoche

05/17/2017

12:21 PM Revision a6974c82 (lustrec): [Horn] Workaround to prevent the use of declared keywords as node name

Pierre-Loïc Garoche

10:14 AM Revision e656160b (lustrec): Better dist-clean

Pierre-Loïc Garoche

10:13 AM Revision 5d08c49e (lustrec): Solved printing bug in Horn backend

Pierre-Loïc Garoche

05/16/2017

04:57 PM Revision 990210f3 (lustrec): Improved include folders behaviors:

- allow multiple -I dir, will be used in order (first one declared
is first used)
- when declaring a global librar... Pierre-Loïc Garoche

03:18 PM Revision 0cddb853 (lustrec): Solved dependency in Makefile

Pierre-Loïc Garoche

02:46 PM Revision fad3be22 (lustrec): ...

Xavier Thirioux

02:45 PM Revision 0137f02d (lustrec): ...

Xavier Thirioux

10:56 AM Revision 521e2a6b (lustrec): trying to improving pretty printing. Not so perfect for the moment

Pierre-Loïc Garoche

10:56 AM Revision 7354c96c (lustrec): [bug solved] issues with asserts (invalid eqs scheduling)

Pierre-Loïc Garoche

10:51 AM Revision 4d138e19 (lustrec): added pp_imap function

Pierre-Loïc Garoche