Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec @ 60aab16d

Name Size Revision Age Author Comment
  doc a2d97a3e almost 7 years Pierre-Loïc Garoche Updated the licence info and header for each fi...
  include 1e48ef45 over 6 years Pierre-Loïc Garoche - Dealt with compiling lusic from distant lusi ...
  share 05e19d16 almost 6 years Eric Noulard Update FindLustre in order to handle a default ...
  src 60aab16d over 5 years Xavier Thirioux Bug solved in automaton part
  test 843bc20f almost 6 years Pierre-Loïc Garoche Merge of last trunk commits Added fbyn(expr, n,...
.gitignore 93 Bytes 53a9b564 about 6 years Teme Kahsai Changed configuration and update the horn_backe...
AUTHORS 165 Bytes 1da8b334 about 6 years Pierre-Loïc Garoche Add teme git-svn-id: https://cavale.enseeiht....
LICENSE-LGPL.txt 25.8 KB 22fe1c93 over 7 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler git-sv...
Makefile.in 1.47 KB 82dad07e almost 6 years Eric Noulard Ignore rm error in clean rules git-svn-id: htt...
README.lustrec 991 Bytes 7bfb18df about 6 years Xavier Thirioux updated version of README.lustrec about how to ...
README.md 172 Bytes 7df1a309 about 6 years Pierre-Loïc Garoche horn queries back git-svn-id: https://cavale.e...
TODO.org 1.13 KB 22fe1c93 over 7 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler git-sv...
configure.ac 3.21 KB a53a28cb over 5 years Eric Noulard Post 1.1 release. Back to dev version git-svn...
lustrec.odocl 623 Bytes 3d134f43 over 6 years Pierre-Loïc Garoche Doc file git-svn-id: https://cavale.enseeiht....
setup.ml 153 KB 95763423 over 6 years Xavier Thirioux corrected a bug that made an error silent, conf...
svnignore 103 Bytes 22fe1c93 over 7 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler git-sv...

Latest revisions

# Date Author Comment
60aab16d 02/02/2016 06:35 PM Xavier Thirioux

Bug solved in automaton part

aa3240b6 01/08/2016 03:02 PM Xavier Thirioux

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

5775ac97 01/08/2016 03:00 PM Xavier Thirioux

bug correction in automata.ml (order of assigned variables was not always coherent between automata branches)

dc6f962c 12/18/2015 12:31 PM Pierre-Loïc Garoche

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

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

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

cf13e2c2 12/07/2015 02:39 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

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