Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec @ bde99c3f

Name Size Revision Age Author Comment
  doc fce0c270 over 3 years Pierre-Loïc Garoche automata_spec
  include 80f93e0a over 3 years Xavier Thirioux added deallocation for dynamic memory allocatio...
  share 641493cf over 3 years Eric NOULARD Suppress some commented code
  src bde99c3f over 3 years Xavier Thirioux This is the first merge that does compile. Not ...
  test 3ebf9aa2 over 3 years Pierre-Loïc Garoche Remove generated files (.h for include for as w...
.gitignore 93 Bytes 53a9b564 over 5 years Teme Kahsai Changed configuration and update the horn_backe...
.ocaml-config.sh 335 Bytes e548bb75 over 5 years lememta smaller amount of compilers
.travis.yml 1.66 KB e057dd08 over 3 years Teme Kahsai adjusting travis
AUTHORS 165 Bytes 1da8b334 over 5 years Pierre-Loïc Garoche Add teme git-svn-id: https://cavale.enseeiht....
LICENSE-LGPL.txt 25.8 KB 22fe1c93 almost 7 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler git-sv...
Makefile.in 2.86 KB 40d33d55 over 3 years Xavier Thirioux first version (doesn't even compile) of mutatio...
README.lustrec 991 Bytes 7bfb18df over 5 years Xavier Thirioux updated version of README.lustrec about how to ...
README.md 678 Bytes 5573fee2 almost 4 years Teme Kahsai new readme
ReleaseProcess.txt 1.68 KB dd74ca16 over 3 years Frederic Boniol Document release process
TODO.org 1.13 KB 22fe1c93 almost 7 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler git-sv...
configure.ac 3.95 KB bde99c3f over 3 years Xavier Thirioux This is the first merge that does compile. Not ...
lustrec.odocl 826 Bytes 40d33d55 over 3 years Xavier Thirioux first version (doesn't even compile) of mutatio...
setup.ml 153 KB 95763423 over 5 years Xavier Thirioux corrected a bug that made an error silent, conf...
svnignore 103 Bytes 22fe1c93 almost 7 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler git-sv...

Latest revisions

# Date Author Comment
bde99c3f 04/06/2017 04:27 PM Xavier Thirioux

This is the first merge that does compile. Not tested yet.

40d33d55 04/05/2017 04:53 PM Xavier Thirioux

first version (doesn't even compile) of mutation and test generation standalone command: lustret
mostly a recovery of an ancient svn repo: mutations

a69af35f 03/20/2017 02:20 PM Pierre-Loïc Garoche

another issue with an old merge: missing nums dep

80f93e0a 03/03/2017 05:12 PM Xavier Thirioux

added deallocation for dynamic memory allocation scheme

e49b6d55 02/14/2017 12:11 PM Xavier Thirioux

nice bug correction wrt constants with a large number of digits. Would raise exception when comparing these constants

301f18e6 02/01/2017 12:21 AM Teme Kahsai

remove deps

92ff8f1b 02/01/2017 12:21 AM Teme Kahsai

fix tracebility

5fb5b031 01/31/2017 01:40 AM Pierre-Loïc Garoche

cosmetic changes

d7e04983 01/13/2017 01:17 PM Pierre-Loïc Garoche

[Horn] Updated traceability of Horn backend to deal with fby (arrow machines)

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

Revert some ocaml code to ocaml 4.01 compatibility

View all revisions | View revisions

Also available in: Atom