Guillaume Davy
- Login: gdavy
- Email: davyg@davyg.fr
- Send diff email: No
- Registered on: 03/17/2014
- Last connection: 02/15/2019
Issues
open | closed | Total | |
---|---|---|---|
Assigned issues | 0 | 0 | 0 |
Reported issues | 0 | 0 | 0 |
Activity
12/19/2014
- 11:04 PM LustreC Revision 6bc919cb (lustrec): Move gen_contracts.py
- 10:50 PM LustreC Revision 4174a469 (lustrec): Correct some problem related to new bool encoding
- 10:50 PM LustreC Revision 105b3645 (lustrec): Delete tests files that have no k
12/18/2014
- 02:45 PM LustreC Revision 995bfad5 (lustrec): Add the script used to add k annotation to tests.
- 02:40 PM LustreC Revision 2bdbbe54 (lustrec): Add tests from fmcad with k annotation to new_backend branch
11/15/2014
- 01:30 PM LustreC Revision 93d16170 (lustrec): Correct a bug in ensures stack generation related to existential
11/13/2014
- 11:48 AM LustreC Revision 97602f7c (lustrec): Correct bug when there is no precondition and change reprensentation
- of boolean in ACSL
11/07/2014
- 04:59 PM LustreC Revision 81125539 (lustrec): Add lustrec files for ALT1 and ALT2
11/06/2014
- 09:31 PM LustreC Revision 052da31c (lustrec): add makefile
- 02:54 PM LustreC Revision 65de0e13 (lustrec): ALT2 proved by framaC without human interaction
Also available in: Atom