Project

General

Profile

Statistics
| Branch: | Tag: | Revision:
Name Size Revision Age Author Comment
  doc fce0c270 over 5 years Pierre-Loïc Garoche automata_spec
  include 3ebf9aa2 over 5 years Pierre-Loïc Garoche Remove generated files (.h for include for as w...
  scripts 1c3c98ff over 6 years Pierre-Loïc Garoche commiting olf stuff before migrating. May have ...
  share 641493cf over 5 years Eric NOULARD Suppress some commented code
  src 7ecfca04 over 5 years Pierre-Loïc Garoche Merged the master branch into mutation. Mutatio...
  test 3ebf9aa2 over 5 years Pierre-Loïc Garoche Remove generated files (.h for include for as w...
.gitignore 93 Bytes 53a9b564 about 7 years Teme Kahsai Changed configuration and update the horn_backe...
.ocaml-config.sh 335 Bytes e548bb75 about 7 years lememta smaller amount of compilers
.travis.yml 1.66 KB e057dd08 over 5 years Teme Kahsai adjusting travis
AUTHORS 165 Bytes 1da8b334 about 7 years Pierre-Loïc Garoche Add teme git-svn-id: https://cavale.enseeiht....
LICENSE-LGPL.txt 25.8 KB 0cbf0839 over 8 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler
Makefile.in 2.81 KB 7ecfca04 over 5 years Pierre-Loïc Garoche Merged the master branch into mutation. Mutatio...
README.lustrec 991 Bytes 7bfb18df about 7 years Xavier Thirioux updated version of README.lustrec about how to ...
README.md 678 Bytes 5573fee2 over 5 years Teme Kahsai new readme
ReleaseProcess.txt 1.68 KB dd74ca16 over 5 years Frederic Boniol Document release process
TODO.org 1.13 KB 0cbf0839 over 8 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler
configure.ac 3.91 KB ec4fe7f7 over 5 years Pierre-Loïc Garoche removed myocamlbuild.ml. Seems unused
lustrec.odocl 777 Bytes 45f0f48d almost 6 years Xavier Thirioux ...
svnignore 103 Bytes 0cbf0839 over 8 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler

Latest revisions

# Date Author Comment
7ecfca04 01/11/2017 04:44 PM Pierre-Loïc Garoche

Merged the master branch into mutation. Mutation of floats has been removed (temporarily)

84074455 01/11/2017 02:30 PM Pierre-Loïc Garoche

Merge branch 'master' into mutation

10adf56a 01/11/2017 02:21 PM Pierre-Loïc Garoche

Merge branch 'master' into mutation

b1dcd0f3 01/11/2017 02:20 PM Pierre-Loïc Garoche

Merge branch 'master' into mutation

Conflicts:
_oasis
_tags
configure
myocamlbuild.ml
setup.ml
src/c_backend.ml
src/main_lustre_compiler.ml
src/options.ml
src/printers.ml
test/test-compile.sh

042dc586 01/11/2017 10:02 AM Pierre-Loïc Garoche

Revert some ocaml code to ocaml 4.01 compatibility

3ebf9aa2 01/11/2017 12:40 AM Pierre-Loïc Garoche

Remove generated files (.h for include for as well as .in files of configure)

dcafc99b 01/11/2017 12:28 AM Pierre-Loïc Garoche

Merge branch 'github_master' into integ_github_jan10
Intregrate all modifs by Teme et al

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

View all revisions | View revisions

Also available in: Atom