Activity - LustreC

Activity

From 03/04/2017 to 04/02/2017

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

03/06/2017

01:43 PM Revision 86854b27 (lustrec): adding dealloc: David Doose
01:32 PM Revision 7fcfaf49 (lustrec): Merge branch 'master' into mauve: David Doose

Also available in: Atom