Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec @ 86ae18b7

Name Size Revision Age Author Comment
  doc fce0c270 over 4 years Pierre-Loïc Garoche automata_spec
  include 86ae18b7 over 4 years Pierre-Loïc Garoche Import of all Teme's modification from the gith...
  share 86ae18b7 over 4 years Pierre-Loïc Garoche Import of all Teme's modification from the gith...
  src 86ae18b7 over 4 years Pierre-Loïc Garoche Import of all Teme's modification from the gith...
  test 717ed061 almost 5 years Xavier Thirioux File removed. It is now generated by configure
.gitignore 93 Bytes 53a9b564 over 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 2.47 KB 03bb8f64 almost 5 years Eric NOULARD Add forthcoming codename to the current dev ver...
README.lustrec 991 Bytes 7bfb18df about 6 years Xavier Thirioux updated version of README.lustrec about how to ...
README.md 678 Bytes 86ae18b7 over 4 years Pierre-Loïc Garoche Import of all Teme's modification from the gith...
ReleaseProcess.txt 1.68 KB dd74ca16 over 4 years Frederic Boniol Document release process
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.99 KB 86ae18b7 over 4 years Pierre-Loïc Garoche Import of all Teme's modification from the gith...
lustrec.odocl 623 Bytes 86ae18b7 over 4 years Pierre-Loïc Garoche Import of all Teme's modification from the gith...
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
86ae18b7 01/10/2017 01:53 PM Pierre-Loïc Garoche

Import of all Teme's modification from the github repo.

60f23302 01/10/2017 01:35 PM Pierre-Loïc Garoche

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

6fa45cb6 01/10/2017 01:35 PM Pierre-Loïc Garoche

Changed the generated C file to produce input and output csv files (named inXX and outXX)

d4fa080e 01/10/2017 01:33 PM Pierre-Loïc Garoche

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

fce0c270 01/10/2017 01:33 PM Pierre-Loïc Garoche

automata_spec

59ac5058 12/21/2016 05:06 PM Frederic Boniol

Post 1.3 dev

dd74ca16 12/21/2016 05:04 PM Frederic Boniol

Document release process

bf930280 12/21/2016 04:34 PM Frederic Boniol

Prepare 1.3 release

641493cf 12/20/2016 05:51 PM Eric NOULARD

Suppress some commented code

ecba3795 12/20/2016 04:18 PM Frederic Boniol

add lusi option

View all revisions | View revisions

Also available in: Atom