Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec @ 05f85b44

Name Size Revision Age Author Comment
  data-test 5c0d6e4e over 7 years Christophe Garion json-parser: more tests with single variables
  doc 73ccaf2f over 6 years Pierre-Loïc Garoche Merge branch 'cocospec' of https://cavale.ensee...
  include f0a067e9 about 6 years Pierre-Loïc Garoche Better production of trace files. By default tr...
  share 5c3b45a0 over 6 years Pierre-Loïc Garoche Lustre test gen mutation: bug solved. The path ...
  src 05f85b44 almost 6 years Guillaume DAVY Ada: Start cleaning Ada to prepare for why beckend
.gitignore 161 Bytes e7b4ba42 over 7 years Christophe Garion add files in gitignore
.merlin 912 Bytes ae7d913d over 6 years Pierre-Loïc Garoche Merlin files
.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 244 Bytes ec8fc65e over 6 years Pierre-Loïc Garoche configure.ac tuning
INSTALL 290 Bytes 75a7b65b about 6 years Garoche install notes
LICENSE-LGPL.txt 25.8 KB 22fe1c93 over 11 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler git-sv...
Makefile-lustresf.in 142 Bytes 3b4b7a2e over 7 years Christophe Garion [lustresf] lustresf targets are optional in Mak...
Makefile.in 3.63 KB fb716d2c over 6 years Pierre-Loïc Garoche Some autoconf update
README.lustrec 991 Bytes 7bfb18df almost 10 years Xavier Thirioux updated version of README.lustrec about how to ...
README.md 918 Bytes d0d8fe27 over 6 years Pierre Loic Garoche Updating dependencies in the READ:E
ReleaseProcess.txt 1.68 KB dd74ca16 over 8 years Frederic Boniol Document release process
TODO.org 11.1 KB f4cba4b8 about 6 years Pierre-Loïc Garoche Some progress on compiling cocospec contract. C...
configure.ac 9.4 KB a4158a4b over 6 years Pierre-Loïc Garoche Added back the gitbranch option ins configure.a...
opam 1.36 KB 222db658 over 6 years Pierre-Loïc Garoche New url in opam file
opam.in 1.37 KB a01cb3a9 over 6 years Pierre-Loïc Garoche New archive for 1.6
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
05f85b44 04/29/2019 01:53 PM Guillaume DAVY

Ada: Start cleaning Ada to prepare for why beckend
c1f565cd 04/19/2019 12:55 PM Guillaume DAVY

Merge branch 'ada' of https://cavale.enseeiht.fr/git/lustrec into ada
173a2a8f 04/19/2019 12:47 PM Guillaume DAVY

Ada: Lot of specification is exported in Ada. We use ghost code to store all states,
we generate the transition pridicate but also the invariant. But two problems, occured.
The first one is a visibility problem for the record which is private but must be
public for ghost variable which have to be public for specifaction. The second...
325f07c0 04/11/2019 03:16 PM Christophe Garion

doc: use SVG format instead of PNG for dependency graph
aa85bd44 04/11/2019 03:09 PM Guillaume DAVY

Doc: update rule and remove old module in odocl
b5b745fb 04/05/2019 04:37 PM Guillaume DAVY

Ada: First support for transition predicate generation.
867276c9 04/05/2019 04:36 PM Guillaume DAVY

Machine_code: Make a correction in the arrow machine creation :
use the same polymorphic type in variables and values.
2477d634 04/04/2019 04:11 PM Guillaume DAVY

Ada: Correct some errors in printing
230b168e 04/04/2019 02:14 PM Guillaume DAVY

Ada: Refactor Ada Backend to reduce redundancy, make it more modular and
more simple.
2eee868b 03/22/2019 01:51 PM Guillaume DAVY

Merge branch 'lustrec-seal' into ada

View all revisions | View revisions

Also available in: Atom