CristalCaveGem » LustreC

10/23/2015

05:35 PM Revision 3d04f75e (lustrec): riny

Pierre-Loïc Garoche

10/13/2015

10:29 PM Revision 4347ae0c (lustrec): changes to horn

Teme Kahsai

10/09/2015

07:23 PM Revision 50f7d587 (lustrec): bug:double def fr init rules

Pierre-Loïc Garoche

07:19 PM Revision 9cb34634 (lustrec): revereted to previous commit

Teme Kahsai

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