Cleaner configure autoconf script
Merge branch 'testgen' into merging_unstable_testgen
Updated deps: requires ocamlgraph as an ocamlfind package
This is the first merge that does compile. Not tested yet.
another issue with an old merge: missing nums dep
Merge branch 'github_master' into integ_github_jan10Intregrate all modifs by Teme et al
I can't recall where we use ocamlgraph
adding onera automata version
Resolved conflict when merging salsa with horn_encoding. The current branch is the most updated.
Merge branch 'salsa' into merge_salsa_horn_2Postponed conflicts to be solvedConflicts: src/_tags src/backends/Horn/horn_backend.ml src/machine_code.ml src/main_lustre_compiler.ml src/myocamlbuild.ml.in src/optimize_machine.ml
Using ocamlfind to link with ocamlgraph
Plugin based framework
major branche merging salsa/mpfr with trunk
Moved Makefile into src folder
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@382 041b043f-8d7c-46b2-b46e-ef0dd855326e