Project

General

Profile

Statistics
| Branch: | Tag: | Revision:
Name Size Revision Age Author Comment
  doc b38ffff3 almost 8 years Pierre-Loïc Garoche Updated the licence info and header for each fi...
  include 5ae8db15 over 7 years Pierre-Loïc Garoche - Dealt with compiling lusic from distant lusi ...
  share 719f4b27 almost 7 years Eric Noulard Update FindLustre in order to handle a default ...
  src 8eee42de over 6 years Pierre-Loïc Garoche Refined the dependencies in the generated makefile
  test ed736b69 almost 7 years Pierre-Loïc Garoche Merge of last trunk commits Added fbyn(expr, n,...
.gitignore 93 Bytes 545772c4 about 7 years Teme Kahsai Changed configuration and update the horn_backe...
AUTHORS 165 Bytes 330b42e3 about 7 years Pierre-Loïc Garoche Add teme
LICENSE-LGPL.txt 25.8 KB 0cbf0839 over 8 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler
Makefile.in 1.47 KB b2a445af almost 7 years Eric Noulard Ignore rm error in clean rules
README.lustrec 991 Bytes 3a958c40 about 7 years Xavier Thirioux updated version of README.lustrec about how to ...
README.md 172 Bytes f8b3de19 about 7 years Pierre-Loïc Garoche horn queries back
TODO.org 2.05 KB 0dee2bc1 over 6 years Pierre-Loïc Garoche Refactoring of the horn backend with Reset/Step...
configure.ac 3.17 KB 6ff6d24c over 6 years Pierre-Loïc Garoche Removed myocamlbuild.ml. Not used anymore
lustrec.odocl 623 Bytes 24d59df8 over 7 years Pierre-Loïc Garoche Doc file
setup.ml 153 KB 95763423 over 7 years Xavier Thirioux corrected a bug that made an error silent, conf...
svnignore 103 Bytes 0cbf0839 over 8 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler

Latest revisions

# Date Author Comment
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

5df5dd85 12/16/2015 03:18 PM Pierre-Loïc Garoche

Merge branch 'master' into horn_enum_types

Conflicts:
src/backends/Horn/horn_backend.ml

f2b37275 12/08/2015 04:15 PM Pierre-Loïc Garoche

Merge branch 'master' of https://cavale.enseeiht.fr/git/lustrec

2cd42be0 11/26/2015 03:35 PM Pierre-Loïc Garoche

Cleaning old file

57115ec0 11/22/2015 12:05 AM Xavier Thirioux

corrected pessimistic behavior of optimization phase -O 3

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@486 041b043f-8d7c-46b2-b46e-ef0dd855326e

812c0369 11/22/2015 12:05 AM Xavier Thirioux

corrected pessimistic behavior of optimization phase -O 3

d7b73fed 11/21/2015 10:14 PM Xavier Thirioux

bug correction in typing: tuple types were computed but not recorded

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@485 041b043f-8d7c-46b2-b46e-ef0dd855326e

89137ae1 11/21/2015 10:14 PM Xavier Thirioux

bug correction in typing: tuple types were computed but not recorded

View all revisions | View revisions

Also available in: Atom