Activity - LustreC

Activity

From 04/08/2018 to 05/07/2018

05/07/2018

03:20 PM Revision 151117f7 (lustrec): Homogenizing the API for salsa and its use within the plugin: Pierre-Loïc Garoche

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

Also available in: Atom