Project

General

Profile

Activity

From 04/17/2018 to 05/16/2018

05/16/2018

05:19 PM Revision 12249005 (lustrec): Kind licence file
Pierre-Loïc Garoche
05:19 PM Revision 2ae3ef3f (lustrec): Tentative to rely on Kind parser for contracts
Pierre-Loïc Garoche
04:33 PM Bug #58 (Closed): int to long long int
Already supported by option -real or -int Pierre-Loïc Garoche
04:32 PM Bug #64 (Closed): Typing error
Pierre-Loïc Garoche
04:31 PM Bug #64 (Resolved): Typing error
Not a typing error in secret unstable branch Pierre-Loïc Garoche
04:30 PM Bug #65: integer division (euclidein division)
Considering producing valid integer division and modulo instead of C ones. To be discussed. Pierre-Loïc Garoche
03:34 PM Revision ff6ba54e (lustrec): Produce condition coverage for basic boolean expressions. To be impr...
Pierre-Loïc Garoche

05/15/2018

02:38 PM Revision 8cacf677 (lustrec): [lustrec/mcdc/ improved the MCDC output
Pierre-Loïc Garoche
11:49 AM Revision 8e6cab20 (lustrec): Tuning the pretty printing of Salsa plugin
Pierre-Loïc Garoche

05/08/2018

10:39 PM Bug #65 (Closed): integer division (euclidein division)
node top(x, y:int)
returns(z:int);
let
z = x/y;
tel
This is translated as x/y in C, which is different fro...
Hamza Bourbouh

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