Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec @ 45f0f48d

Name Size Revision Age Author Comment
  doc a2d97a3e over 5 years Pierre-Loïc Garoche Updated the licence info and header for each fi...
  include 66e25f0f over 3 years Xavier Thirioux ...
  share 05e19d16 over 4 years Eric Noulard Update FindLustre in order to handle a default ...
  src 45f0f48d over 3 years Xavier Thirioux ...
  test 66e25f0f over 3 years Xavier Thirioux ...
.gitignore 93 Bytes 53a9b564 over 4 years Teme Kahsai Changed configuration and update the horn_backe...
AUTHORS 165 Bytes 1da8b334 over 4 years Pierre-Loïc Garoche Add teme git-svn-id: https://cavale.enseeiht....
LICENSE-LGPL.txt 25.8 KB 22fe1c93 about 6 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler git-sv...
Makefile.in 1.73 KB 04a63d25 over 3 years Xavier Thirioux full merge of salsa/mpfr and master
README.lustrec 991 Bytes 7bfb18df over 4 years Xavier Thirioux updated version of README.lustrec about how to ...
README.md 408 Bytes 9421e247 over 3 years Teme Kahsai added README
TODO.org 1.13 KB 22fe1c93 about 6 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler git-sv...
configure.ac 3.88 KB 04a63d25 over 3 years Xavier Thirioux full merge of salsa/mpfr and master
lustrec.odocl 777 Bytes 45f0f48d over 3 years Xavier Thirioux ...
setup.ml 153 KB 95763423 almost 5 years Xavier Thirioux corrected a bug that made an error silent, conf...
svnignore 103 Bytes 22fe1c93 about 6 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler git-sv...

Latest revisions

# Date Author Comment
45f0f48d 08/09/2016 09:31 PM Xavier Thirioux

...

fea041c5 08/09/2016 09:25 PM Xavier Thirioux

new branch for merging mpfr and horn

f1d1879a 08/06/2016 10:47 AM Xavier Thirioux

...

50d39c99 08/06/2016 10:43 AM Xavier Thirioux

...

66e25f0f 08/06/2016 10:41 AM Xavier Thirioux

...

04a63d25 08/06/2016 10:29 AM Xavier Thirioux

full merge of salsa/mpfr and master

28d2185f 04/12/2016 09:24 AM Xavier Thirioux

bug removed: with dummy automata, lustrec would generate parameterless nodes, which is forbidden in Lustre (and would raise an exception)

a406ac67 04/12/2016 12:49 AM Xavier Thirioux

removed a bug in automata code generation

9421e247 02/23/2016 10:15 PM Teme Kahsai

added README

60aab16d 02/02/2016 06:35 PM Xavier Thirioux

Bug solved in automaton part

View all revisions | View revisions

Also available in: Atom