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 604c4e00 about 5 years Teme Kahsai make sure that I have conv.smt2
  share 641493cf over 5 years Eric NOULARD Suppress some commented code
  src d3281b4e about 5 years Pierre-Loïc Garoche Missing file
  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
d3281b4e 03/23/2017 10:15 PM Pierre-Loïc Garoche

Missing file

3aded5d3 03/20/2017 12:02 PM Pierre-Loïc Garoche

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

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

Merged code

604c4e00 02/27/2017 11:16 PM Teme Kahsai

make sure that I have conv.smt2

c97b8302 02/24/2017 06:14 PM Teme Kahsai

enabling math and conv library for horn backend

54fd3235 02/15/2017 11:08 PM Teme Kahsai

fixed matlab output

9c126c6b 02/15/2017 10:43 PM Teme Kahsai

removed uncessary include math def

5695b3d4 02/14/2017 07:19 PM Teme Kahsai

Merge branch 'master' into seahorn_backend

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

1d3f1a9d 02/13/2017 11:06 PM Teme Kahsai

new line in horn

View all revisions | View revisions

Also available in: Atom