Activity
From 04/02/2018 to 05/01/2018
04/18/2018
04/07/2018
- 04:06 AM Bug #58: int to long long int
- I added a test file.
The issue is coming when executing the binary:
./datatypeconversion13_PP_datatypeconversion13_... - 12:55 AM Revision ef609cc9 (lustrec): Zustre: do not declare variables as Fixedpoint relations
04/06/2018
- 11:56 PM Revision 8eeec77e (lustrec): Filtering out ERR and MAIN from the forall quantification
- 11:19 PM Revision 5778dd5e (lustrec): Some progress on zustre2
04/03/2018
- 05:02 PM Revision 46cb4020 (lustrec): zustre: missing basic ops
- 04:38 PM Revision e4edf171 (lustrec): Zustre backend
- 11:30 AM Revision 4a7d789a (lustrec): Merge branch 'lustrec-seal' of https://cavale.enseeiht.fr/git/lustrec into lustrec-seal
- 11:28 AM Revision e17d3718 (lustrec): Merge branch 'lustrec-seal' of https://cavale.enseeiht.fr/git/lustrec into lustrec-seal
Also available in: Atom