Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec @ ca88e660

Name Size Revision Age Author Comment
  doc b38ffff3 over 6 years Pierre-Loïc Garoche Updated the licence info and header for each fi...
  include 52016bbb almost 5 years Xavier Thirioux some files missing
  share 719f4b27 about 5 years Eric Noulard Update FindLustre in order to handle a default ...
  src ca88e660 almost 5 years Pierre-Loïc Garoche Resolved conflict when merging salsa with horn_...
  test 53206908 almost 5 years Xavier Thirioux major branche merging salsa/mpfr with trunk
.gitignore 93 Bytes 545772c4 over 5 years Teme Kahsai Changed configuration and update the horn_backe...
AUTHORS 165 Bytes 330b42e3 over 5 years Pierre-Loïc Garoche Add teme
LICENSE-LGPL.txt 25.8 KB 0cbf0839 about 7 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler
Makefile.in 973 Bytes d97c196a almost 5 years Xavier Thirioux Changed mpfr threshold to 2
README.lustrec 991 Bytes 3a958c40 over 5 years Xavier Thirioux updated version of README.lustrec about how to ...
README.md 172 Bytes f8b3de19 over 5 years Pierre-Loïc Garoche horn queries back
TODO.org 2.05 KB 0dee2bc1 almost 5 years Pierre-Loïc Garoche Refactoring of the horn backend with Reset/Step...
configure.ac 3.76 KB 6ff6d24c almost 5 years Pierre-Loïc Garoche Removed myocamlbuild.ml. Not used anymore
lustrec.odocl 623 Bytes 24d59df8 almost 6 years Pierre-Loïc Garoche Doc file
svnignore 103 Bytes 0cbf0839 about 7 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler

Latest revisions

# Date Author Comment
ca88e660 01/08/2016 05:37 PM Pierre-Loïc Garoche

Resolved conflict when merging salsa with horn_encoding. The current branch is the most updated.

f0bff3e5 01/08/2016 01:41 PM Pierre-Loïc Garoche

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/main_lustre_compiler.ml
src/myocamlbuild.ml.in
src/optimize_machine.ml

a7e70823 01/07/2016 10:55 PM Pierre-Loïc Garoche

Clean old and resolved TODO

8d0c1f8e 01/07/2016 06:44 PM Pierre-Loïc Garoche

fixed a z3 bug for => within Horn clauses

cf9cc6f9 01/07/2016 04:43 PM Pierre-Loïc Garoche

Introduced the opposite of Reset call: NoReset. This simplify the general compilation process and makes the code more symmetric, hence simpler and clearer code.

c4f14d0a 01/07/2016 04:42 PM Pierre-Loïc Garoche

Removed file thanks to the use of ocamlfind

2ed9b6f2 01/07/2016 04:41 PM Pierre-Loïc Garoche

solved bug: missing parenthesis in enum typedef

8eee42de 01/07/2016 04:41 PM Pierre-Loïc Garoche

Refined the dependencies in the generated makefile

92aa8330 01/07/2016 04:40 PM Pierre-Loïc Garoche

Using ocamlfind to link with ocamlgraph

6ff6d24c 01/07/2016 04:40 PM Pierre-Loïc Garoche

Removed myocamlbuild.ml. Not used anymore

View all revisions | View revisions

Also available in: Atom