Project

General

Profile

Activity

From 04/18/2018 to 05/17/2018

05/17/2018

05:08 PM Revision 14da5302 (lustrec): corrected euclidean division in C code
Xavier Thirioux
05:04 PM Revision 58d610e1 (lustrec): corrected the division conversion scheme
Xavier Thirioux
04:59 PM Revision 8cc55e2c (lustrec): corrected the division conversion scheme
Xavier Thirioux
04:57 PM Revision 2bb5ab71 (lustrec): Merge branch 'unstable' into lustrec-seal
Pierre-Loïc Garoche
03:50 PM Revision a6e85cdc (lustrec): Integer div choices
Pierre-Loïc Garoche
03:49 PM Revision eccb3f63 (lustrec): Provide back the previous behavior concerning parsing spec.
Pierre-Loïc Garoche
03:45 PM Revision 4d7f8ce0 (lustrec): Merge branch 'cocospec' of https://cavale.enseeiht.fr/git/lustrec in...
Pierre-Loïc Garoche
03:32 PM Revision ba91ed9e (lustrec): Merge branch 'euclidean' into unstable
Pierre-Loïc Garoche
03:32 PM Revision 0e1a5ece (lustrec): Merge branch 'unstable' of https://cavale.enseeiht.fr/git/lustrec in...
Pierre-Loïc Garoche
03:31 PM Revision 91f0f06a (lustrec): Merge branch 'euclidean' of https://cavale.enseeiht.fr/git/lustrec i...
Pierre-Loïc Garoche
03:29 PM Revision 5318ad88 (lustrec): introduced euclidean/C-like division in C code generation
Xavier Thirioux
03:15 PM Revision c2db548b (lustrec): install of yojson depends on lustresf in configure now
Christophe Garion
03:14 PM Revision fa91d4d0 (lustrec): Euclidean div/mod treatment in Horn backend
Pierre-Loïc Garoche
02:42 PM Revision 3cd040e3 (lustrec): Issues with typing pp_basic_lib_fun
Pierre-Loïc Garoche

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
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/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