Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec @ 695db4da

Name Size Revision Age Author Comment
  data-test 5c0d6e4e about 6 years Christophe Garion json-parser: more tests with single variables
  doc 73ccaf2f about 5 years Pierre-Loïc Garoche Merge branch 'cocospec' of https://cavale.ensee...
  include e491c34a about 5 years Pierre-Loïc Garoche Issues with linking Z3 on OSX
  share 5c3b45a0 about 5 years Pierre-Loïc Garoche Lustre test gen mutation: bug solved. The path ...
  src 695db4da almost 5 years Guillaume DAVY Ada: - Replace MStep and Mbranch output by Null...
.gitignore 161 Bytes e7b4ba42 about 6 years Christophe Garion add files in gitignore
.merlin 912 Bytes ae7d913d about 5 years Pierre-Loïc Garoche Merlin files
.ocaml-config.sh 335 Bytes e548bb75 over 8 years lememta smaller amount of compilers
.travis.yml 1.66 KB e057dd08 almost 7 years Teme Kahsai adjusting travis
AUTHORS 244 Bytes ec8fc65e about 5 years Pierre-Loïc Garoche configure.ac tuning
LICENSE-LGPL.txt 25.8 KB 22fe1c93 about 10 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler git-sv...
Makefile-lustresf.in 142 Bytes 3b4b7a2e almost 6 years Christophe Garion [lustresf] lustresf targets are optional in Mak...
Makefile.in 3.63 KB fb716d2c about 5 years Pierre-Loïc Garoche Some autoconf update
README.lustrec 991 Bytes 7bfb18df over 8 years Xavier Thirioux updated version of README.lustrec about how to ...
README.md 918 Bytes d0d8fe27 over 5 years Pierre Loic Garoche Updating dependencies in the READ:E
ReleaseProcess.txt 1.68 KB dd74ca16 almost 7 years Frederic Boniol Document release process
TODO.org 11.1 KB 32bafa6f about 5 years Pierre-Loïc Garoche Some thoughts about lusic
configure.ac 9.4 KB a4158a4b about 5 years Pierre-Loïc Garoche Added back the gitbranch option ins configure.a...
opam 1.36 KB 222db658 about 5 years Pierre-Loïc Garoche New url in opam file
opam.in 1.37 KB a01cb3a9 about 5 years Pierre-Loïc Garoche New archive for 1.6
svnignore 103 Bytes 22fe1c93 about 10 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler git-sv...

Latest revisions

# Date Author Comment
695db4da 02/25/2019 11:34 AM Guillaume DAVY

Ada: - Replace MStep and Mbranch output by Null to have compilable Ada.
- Correct pp_value to print state access when the variable is memory
721ce555 02/25/2019 10:01 AM Guillaume DAVY

Ada: Removed useless function
ec473179 02/21/2019 10:04 PM Christophe Garion

ada: pretty print assignment statement for state
09b24e7a 02/21/2019 03:49 PM Guillaume DAVY

Ada: Start exporting spec
a2922b84 02/21/2019 03:43 PM Christophe Garion

Merge branch 'ada' of https://cavale.enseeiht.fr/git/lustrec into ada
19f000f6 02/21/2019 03:42 PM Christophe Garion

Merge branch 'master' of https://cavale.enseeiht.fr/git/lustrec into ada
c85c2e3d 02/21/2019 03:42 PM Christophe Garion

Ada: pretty printing functions for values and assignments in adb
f2c916b4 02/21/2019 02:27 PM Guillaume DAVY

Ada: Correct some errors on the type checking due to polymorphic type.
8c8d009b 02/21/2019 02:27 PM Guillaume DAVY

Ada: Removed from adb the print of clear and init.
e4b630c5 02/21/2019 02:26 PM Guillaume DAVY

Merge branch 'lustrec-seal' of https://cavale.enseeiht.fr/git/lustrec into ada

View all revisions | View revisions

Also available in: Atom