CristalCaveGem » LustreC

10/08/2015

07:11 PM Revision 5500edb8 (lustrec): Two fresh branches :)

to manage enum and arrays in the horn backend. Pierre-Loïc Garoche

07:11 PM Revision 7c95dcab (lustrec): Two fresh branches :)

to manage enum and arrays in the horn backend. Pierre-Loïc Garoche

12:41 AM Revision 9da827cb (lustrec): adjusted the makefile

Teme Kahsai

12:30 AM Revision f5c36991 (lustrec): Added items in the TODO.org to drive the implementation of the proof feature

Pierre-Loïc Garoche

10/07/2015

07:22 PM Revision d50b0dc0 (lustrec): sync

Teme Kahsai

09/15/2015

05:21 PM Revision 8ccdfbe8 (lustrec): add authors

Teme Kahsai

09/11/2015

02:20 AM Revision 15003796 (lustrec): copy of trunk. With option -lustre and annotation linearization, will simplify the lustre code

Pierre-Loïc Garoche