Project

General

Profile

Activity

From 03/28/2017 to 04/26/2017

04/26/2017

11:25 PM Revision d2d9d4cb (lustrec): Missing files
Pierre-Loïc Garoche
11:23 PM Revision 85da3a4b (lustrec): Merge branch 'unstable' into merging_plugins
Non regression results were similar to master branch Pierre-Loïc Garoche
02:15 PM Revision 8d184ba8 (lustrec): Removing generated file
Pierre-Loïc Garoche

04/25/2017

10:57 PM Revision a97d3e02 (lustrec): Printing reals in Horn backend
Pierre-Loïc Garoche
09:43 AM Revision 0d065e73 (lustrec): Solved a bug in the compilation of asserts. Now different behavior d...
functional: keep it as is
non func: introduce a fresh local var v and replace assert(e) by v=e; assert (v);
Pierre-Loïc Garoche
09:42 AM Revision 76c7023b (lustrec): functional_backend function moved to corelang
Pierre-Loïc Garoche
09:41 AM Revision 4e809854 (lustrec): Cosmetic changes
Pierre-Loïc Garoche
09:41 AM Revision 5e7cecdd (lustrec): More informative error message in case of untyped value
Pierre-Loïc Garoche
09:40 AM Revision 5cd53307 (lustrec): Updated deps: requires ocamlgraph as an ocamlfind package
Pierre-Loïc Garoche

04/10/2017

08:10 PM Revision c0f8cc54 (lustrec): add tan function to math.lusi
Bourbouh

04/06/2017

04:31 PM Revision 4dc6ecde (lustrec): Deprecated function changed for compatibility with ocaml 4.04
Xavier Thirioux
04:27 PM Revision bde99c3f (lustrec): This is the first merge that does compile. Not tested yet.
Xavier Thirioux

04/05/2017

04:53 PM Revision 40d33d55 (lustrec): first version (doesn't even compile) of mutation and test generation...
mostly a recovery of an ancient svn repo: mutations Xavier Thirioux
 

Also available in: Atom