Activity - Guillaume Davy

Guillaume Davy's activity

From 11/20/2014 to 12/19/2014

12/19/2014

11:04 PM LustreC Revision 6bc919cb (lustrec): Move gen_contracts.py: Guillaume Davy
10:50 PM LustreC Revision 4174a469 (lustrec): Correct some problem related to new bool encoding: Guillaume Davy
10:50 PM LustreC Revision 105b3645 (lustrec): Delete tests files that have no k: Guillaume Davy

12/18/2014

02:45 PM LustreC Revision 995bfad5 (lustrec): Add the script used to add k annotation to tests.: Guillaume Davy
02:40 PM LustreC Revision 2bdbbe54 (lustrec): Add tests from fmcad with k annotation to new_backend branch: Guillaume Davy

Also available in: Atom