History | View | Annotate | Download (1.61 KB)
Merge branch 'vhdl' of https://cavale.enseeiht.fr/git/lustrec into lustrec-seal
Compiling - while doing nothing :)
- Normalization parameters (alias and unfold_array) are now provided as parameter- program type renamed as program_t- Initiating the lustrev tool with dependencies to z3 and seal.
[lustresf] lustresf targets are optional in Makefiles (see configure.ac)
json-parser: prepare tests in Makefiles and _tags.in
json-parser: clean files names and directories
parser-json: first steps to integrate JSON parser
Moved stateflow tool in src/toolUpdated the makefile to compile lustresfNot working yet
Cleaning output:- no more classic display for ocamlc- compilation warnings removed
first version (doesn't even compile) of mutation and test generation standalone command: lustretmostly a recovery of an ancient svn repo: mutations
full merge of salsa/mpfr and master
Added an install target in the src folder
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@386 041b043f-8d7c-46b2-b46e-ef0dd855326e
Moved Makefile into src folder
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@382 041b043f-8d7c-46b2-b46e-ef0dd855326e