CristalCaveGem » LustreC

04/06/2017

04:31 PM Revision 4dc6ecde (lustrec): Deprecated function changed for compatibility with ocaml 4.04

Xavier Thirioux

04:27 PM Revision bde99c3f (lustrec): This is the first merge that does compile. Not tested yet.

Xavier Thirioux

04/05/2017

04:53 PM Revision 40d33d55 (lustrec): first version (doesn't even compile) of mutation and test generation standalone command: lustret

mostly a recovery of an ancient svn repo: mutations Xavier Thirioux

03/24/2017

05:57 AM Revision 3151ebe1 (lustrec): Bug solved: EMF backend was forced

Pierre-Loïc Garoche

03/23/2017

10:15 PM Revision d3281b4e (lustrec): Missing file

Pierre-Loïc Garoche

03/20/2017

02:20 PM Revision a69af35f (lustrec): another issue with an old merge: missing nums dep

Pierre-Loïc Garoche

12:02 PM Revision 3aded5d3 (lustrec): Merge branch 'seahorn_backend' of https://cavale.enseeiht.fr/git/lustrec into seahorn_backend

Pierre-Loïc Garoche

11:59 AM Revision 7d62bf41 (lustrec): Merged code

Pierre-Loïc Garoche