CristalCaveGem » LustreC

02/14/2017

07:19 PM Revision 5695b3d4 (lustrec): Merge branch 'master' into seahorn_backend

Teme Kahsai

12:11 PM Revision e49b6d55 (lustrec): nice bug correction wrt constants with a large number of digits. Would raise exception when comparing these constants

Xavier Thirioux

02/13/2017

11:06 PM Revision 1d3f1a9d (lustrec): new line in horn

Teme Kahsai

02/09/2017

11:02 PM Revision d714d0c6 (lustrec): Adding new def of math

Teme Kahsai

02/03/2017

08:20 PM Revision 32a9cff3 (lustrec): merge pb

Pierre-Loïc Garoche

08:18 PM Revision 8097e62b (lustrec): Merge branch 'seahorn_backend' of https://cavale.enseeiht.fr/git/lustrec into seahorn_backend

Pierre-Loïc Garoche

08:15 PM Revision f525c4ae (lustrec): Started to recover specification compilation from branch proof_acsl

Adapted the EMF backend to new reqs Pierre-Loïc Garoche

02/01/2017

07:20 PM Revision 2e1ef4ca (lustrec): Changed the matlab function backend

Pierre-Loïc Garoche

06:53 PM Revision fbcc67c8 (lustrec): _Bool are unsigned integer. The cast as a _Bool is delayed until the end of the function

Pierre-Loïc Garoche

12:22 AM Revision 81b1caa0 (lustrec): Merge branch 'master' into seahorn_backend

Teme Kahsai

12:21 AM Revision 301f18e6 (lustrec): remove deps

Teme Kahsai

12:21 AM Revision 92ff8f1b (lustrec): fix tracebility

Teme Kahsai

01/31/2017

11:38 PM Revision c85f5fa5 (lustrec): Starting to initiate a node spec aware backend

Pierre-Loïc Garoche

08:36 PM Revision b183dade (lustrec): Cleaning debug messages

Pierre-Loïc Garoche

08:34 PM Revision 8498b8ac (lustrec): Specific treatment of true/false constant to avoid declaring them as variables.

Pierre-Loïc Garoche

08:22 PM Revision a6df3992 (lustrec): Working on EMF backend to express cocospec infos as Simulink blocks

Pierre-Loïc Garoche

01:40 AM Revision 5fb5b031 (lustrec): cosmetic changes

Pierre-Loïc Garoche