From 03/13/2017 to 04/11/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: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