Activity
From 12/20/2015 to 01/18/2016
01/18/2016
- 08:52 PM Revision c95fa0fe (lustrec): travis 4
- 08:44 PM Revision 3de1d821 (lustrec): travis 3
- 08:34 PM Revision 9c68a71d (lustrec): travis 2
- 08:25 PM Revision 01ba35c3 (lustrec): travis
- 08:19 PM Revision 868650b1 (lustrec): travis
- 08:11 PM Revision 2b360f46 (lustrec): Merge branch 'master' of https://github.com/coco-team/lustrec
- 08:11 PM Revision 90b53926 (lustrec): travis
- 08:08 PM Revision 70a6ee5a (lustrec): travis
01/15/2016
- 04:38 PM Lustrec-Tests Revision ce7b20c9 (lustrec-tests): new version
- 04:20 PM Lustrec-Tests Revision 202090d4 (lustrec-tests): more details
- 04:18 PM Lustrec-Tests Revision 006b37e0 (lustrec-tests): more details
- 12:47 PM Revision a65e4273 (lustrec): commit work in progress
- 12:35 PM Lustrec-Tests Revision cab90631 (lustrec-tests): microwave basic
- 10:49 AM Lustrec-Tests Revision f20dc4db (lustrec-tests): mini automata
01/08/2016
- 05:37 PM Revision ca88e660 (lustrec): Resolved conflict when merging salsa with horn_encoding. The current branch is the most updated.
- 03:02 PM Revision aa3240b6 (lustrec): Merge branch 'master' of https://cavale.enseeiht.fr/git/lustrec
- 03:00 PM Revision 5775ac97 (lustrec): bug correction in automata.ml (order of assigned variables was not always coherent between automata branches)
- 01:41 PM Revision f0bff3e5 (lustrec): Merge branch 'salsa' into merge_salsa_horn_2
- Postponed conflicts to be solved
Conflicts:
src/_tags
src/backends/Horn/horn_backend.ml
src/machine_code.ml
src/m...
01/07/2016
- 10:55 PM Revision a7e70823 (lustrec): Clean old and resolved TODO
- 06:44 PM Revision 8d0c1f8e (lustrec): fixed a z3 bug for => within Horn clauses
- 04:43 PM Revision cf9cc6f9 (lustrec): Introduced the opposite of Reset call: NoReset. This simplify the general compilation process and makes the code more symmetric, hence simpler and clearer code.
- 04:42 PM Revision c4f14d0a (lustrec): Removed file thanks to the use of ocamlfind
- 04:41 PM Revision 2ed9b6f2 (lustrec): solved bug: missing parenthesis in enum typedef
- 04:41 PM Revision 8eee42de (lustrec): Refined the dependencies in the generated makefile
- 04:40 PM Revision 92aa8330 (lustrec): Using ocamlfind to link with ocamlgraph
- 04:40 PM Revision 6ff6d24c (lustrec): Removed myocamlbuild.ml. Not used anymore
Also available in: Atom