Project

General

Profile

Activity

From 12/16/2015 to 01/14/2016

01/08/2016

05:37 PM Revision ca88e660 (lustrec): Resolved conflict when merging salsa with horn_encoding. The current...
Pierre-Loïc Garoche
03:02 PM Revision aa3240b6 (lustrec): Merge branch 'master' of https://cavale.enseeiht.fr/git/lustrec
Xavier Thirioux
03:00 PM Revision 5775ac97 (lustrec): bug correction in automata.ml (order of assigned variables was not a...
Xavier Thirioux
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...
Pierre-Loïc Garoche

01/07/2016

10:55 PM Revision a7e70823 (lustrec): Clean old and resolved TODO
Pierre-Loïc Garoche
06:44 PM Revision 8d0c1f8e (lustrec): fixed a z3 bug for => within Horn clauses
Pierre-Loïc Garoche
04:43 PM Revision cf9cc6f9 (lustrec): Introduced the opposite of Reset call: NoReset. This simplify the ge...
Pierre-Loïc Garoche
04:42 PM Revision c4f14d0a (lustrec): Removed file thanks to the use of ocamlfind
Pierre-Loïc Garoche
04:41 PM Revision 2ed9b6f2 (lustrec): solved bug: missing parenthesis in enum typedef
Pierre-Loïc Garoche
04:41 PM Revision 8eee42de (lustrec): Refined the dependencies in the generated makefile
Pierre-Loïc Garoche
04:40 PM Revision 92aa8330 (lustrec): Using ocamlfind to link with ocamlgraph
Pierre-Loïc Garoche
04:40 PM Revision 6ff6d24c (lustrec): Removed myocamlbuild.ml. Not used anymore
Pierre-Loïc Garoche

12/18/2015

12:31 PM Revision dc6f962c (lustrec): Merge branch 'master' of https://cavale.enseeiht.fr/git/lustrec
Pierre-Loïc Garoche

12/16/2015

09:45 PM Revision e599394b (lustrec): cleaned up bin
Teme Kahsai
06:00 PM Revision ca4f16d0 (lustrec): Merge branch 'struct' of https://cavale.enseeiht.fr/git/lustrec into...
Conflicts:
src/lustreSpec.ml
src/printers.ml
Xavier Thirioux
05:54 PM Revision 7001561e (lustrec): work in progress
Xavier Thirioux
03:18 PM Revision 5df5dd85 (lustrec): Merge branch 'master' into horn_enum_types
Conflicts:
src/backends/Horn/horn_backend.ml
Pierre-Loïc Garoche
01:37 PM Revision 4b269e3f (lustrec): Revert to good old uppercase function compatible with 4.02
Pierre-Loïc Garoche
01:27 PM Revision 355b543d (lustrec): Specific filtering of constant branching conditions for riny backend.
Introduced a new partial evaluation function for machine code value Pierre-Loïc Garoche
01:27 PM Revision 30551ad8 (lustrec): Changed function uppercase to fix an ocaml warning
Pierre-Loïc Garoche
 

Also available in: Atom