CristalCaveGem » LustreC

05/04/2018

08:01 PM Revision 68322df3 (lustrec): Some tentative improvement of Salsa plugin. Not satisfying yet

Pierre-Loïc Garoche

08:00 PM Revision 7065d912 (lustrec): Moved mk_fresh_var from normalization to corelang

Pierre-Loïc Garoche

05:42 PM Revision 8926852f (lustrec): [scopes] Producing the appropriate scope label

Pierre-Loïc Garoche

05:09 PM Revision 08faae63 (lustrec): NumMartel functions

Pierre-Loïc Garoche

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