Activity - LustreC

Activity

From 04/04/2018 to 05/03/2018

05/03/2018

08:35 AM Revision b068041a (lustrec): Merging unstable into salsa: Pierre-Loïc Garoche
08:35 AM Revision c0d116ec (lustrec): Merge branch 'unstable' into salsa: Pierre-Loïc Garoche

04/18/2018

03:29 AM Revision 51ec4e8c (lustrec): Try to debug the use of Z3 API. Still having troubles: Pierre-Loïc Garoche

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_... Hamza Bourbouh
12:55 AM Revision ef609cc9 (lustrec): Zustre: do not declare variables as Fixedpoint relations: Pierre-Loïc Garoche

04/06/2018

11:56 PM Revision 8eeec77e (lustrec): Filtering out ERR and MAIN from the forall quantification: Pierre-Loïc Garoche
11:19 PM Revision 5778dd5e (lustrec): Some progress on zustre2: Pierre-Loïc Garoche

Also available in: Atom