Activity
From 03/30/2017 to 04/28/2017
04/28/2017
- 10:11 PM Revision 63f10e14 (lustrec): Removing silly warning message
- 08:08 PM Revision f271247d (lustrec): Merge branch 'seahorn_backend' into machine_types
- 08:08 PM Revision bb1ec7c9 (lustrec): Merge branch 'unstable' into machine_types
- 08:08 PM Revision 9f4a63f0 (lustrec): Merge branch 'unstable' into seahorn_backend
- 08:07 PM Revision 44686ab5 (lustrec): Missing file c_backend_lusic
- 05:18 PM Revision f67464aa (lustrec): Merge branch 'machine_types' into merge_seahorn_unstable
- 05:15 PM Revision 65de9931 (lustrec): New feature to specify the number of digits to be printed
- 02:39 PM Revision a9b87a15 (lustrec): Extending types to machine types
- 01:40 PM Revision 782742b6 (lustrec): Merged unstable with seahorn
- 01:33 PM Revision cb503831 (lustrec): Merged seahorn backend with EMF output with current unstable branch
04/27/2017
- 11:36 PM Revision 0910283c (lustrec): Merge branch 'unstable' into merge_seahorn_unstable
- 10:42 PM Revision 2fdbc781 (lustrec): Cleaning output:
- - no more classic display for ocamlc
- compilation warnings removed - 09:57 PM Revision 375cbca2 (lustrec): Merge branch 'unstable' into merge_mauve_unstable
- 01:38 PM Revision 9a555140 (lustrec): _tags is generated now
- 01:38 PM Revision 1954d776 (lustrec): Cleaner configure autoconf script
- 12:19 AM Revision 09121c1a (lustrec): Merge branch 'testgen' into merging_unstable_testgen
04/26/2017
- 11:25 PM Revision d2d9d4cb (lustrec): Missing files
- 11:23 PM Revision 85da3a4b (lustrec): Merge branch 'unstable' into merging_plugins
- Non regression results were similar to master branch
- 02:15 PM Revision 8d184ba8 (lustrec): Removing generated file
04/25/2017
- 10:57 PM Revision a97d3e02 (lustrec): Printing reals in Horn backend
- 09:43 AM Revision 0d065e73 (lustrec): Solved a bug in the compilation of asserts. Now different behavior depending on the backend:
- functional: keep it as is
non func: introduce a fresh local var v and replace assert(e) by v=e; assert (v); - 09:42 AM Revision 76c7023b (lustrec): functional_backend function moved to corelang
- 09:41 AM Revision 4e809854 (lustrec): Cosmetic changes
- 09:41 AM Revision 5e7cecdd (lustrec): More informative error message in case of untyped value
- 09:40 AM Revision 5cd53307 (lustrec): Updated deps: requires ocamlgraph as an ocamlfind package
04/10/2017
04/06/2017
- 04:31 PM Revision 4dc6ecde (lustrec): Deprecated function changed for compatibility with ocaml 4.04
- 04:27 PM Revision bde99c3f (lustrec): This is the first merge that does compile. Not tested yet.
04/05/2017
- 04:53 PM Revision 40d33d55 (lustrec): first version (doesn't even compile) of mutation and test generation standalone command: lustret
- mostly a recovery of an ancient svn repo: mutations
Also available in: Atom