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 fbcc67c8 over 5 years Pierre-Loïc Garoche _Bool are unsigned integer. The cast as a _Bool...
  share 641493cf over 5 years Eric NOULARD Suppress some commented code
  src 7d62bf41 about 5 years Pierre-Loïc Garoche Merged code
  test 7d62bf41 about 5 years Pierre-Loïc Garoche Merged code
.gitignore 93 Bytes 53a9b564 about 7 years Teme Kahsai Changed configuration and update the horn_backe...
.ocaml-config.sh 335 Bytes 7d62bf41 about 5 years Pierre-Loïc Garoche Merged code
.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 22fe1c93 over 8 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler git-sv...
Makefile.in 2.24 KB 7d62bf41 about 5 years Pierre-Loïc Garoche Merged code
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 22fe1c93 over 8 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler git-sv...
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 ...
setup.ml 153 KB 95763423 over 7 years Xavier Thirioux corrected a bug that made an error silent, conf...
svnignore 103 Bytes 22fe1c93 over 8 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler git-sv...

Latest revisions

# Date Author Comment
7d62bf41 03/20/2017 11:59 AM Pierre-Loïc Garoche

Merged code

32a9cff3 02/03/2017 08:20 PM Pierre-Loïc Garoche

merge pb

8097e62b 02/03/2017 08:18 PM Pierre-Loïc Garoche

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

f525c4ae 02/03/2017 08:15 PM Pierre-Loïc Garoche

Started to recover specification compilation from branch proof_acsl
Adapted the EMF backend to new reqs

2e1ef4ca 02/01/2017 07:20 PM Pierre-Loïc Garoche

Changed the matlab function backend

fbcc67c8 02/01/2017 06:53 PM Pierre-Loïc Garoche

_Bool are unsigned integer. The cast as a _Bool is delayed until the end of the function

81b1caa0 02/01/2017 12:22 AM Teme Kahsai

Merge branch 'master' into seahorn_backend

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

remove deps

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

fix tracebility

c85f5fa5 01/31/2017 11:38 PM Pierre-Loïc Garoche

Starting to initiate a node spec aware backend

View all revisions | View revisions

Also available in: Atom