Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec @ 4dc6ecde

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

Latest revisions

# Date Author Comment
4dc6ecde 04/06/2017 04:31 PM Xavier Thirioux

Deprecated function changed for compatibility with ocaml 4.04
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)

View all revisions | View revisions

Also available in: Atom