Project

General

Profile

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

826063db 03/22/2019 01:50 PM Guillaume DAVY

Ada: Correct ada main to handle statelles top level node

9fb1ab37 03/22/2019 02:16 AM Garoche

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

75a7b65b 03/22/2019 02:15 AM Garoche

install notes

a4c3d888 03/22/2019 02:05 AM Pierre-Loïc Garoche

rev machines in emf

1f868027 03/22/2019 01:02 AM Pierre-Loïc Garoche

JSON EMF

08788a01 03/21/2019 09:42 PM Pierre-Loïc Garoche

Merge branch 'ada' into lustrec-seal

4034b51c 03/21/2019 09:42 PM Pierre-Loïc Garoche

more explanation in case of failure. Still dirty

f5769e61 03/21/2019 07:55 PM Pierre-Loïc Garoche

Better JSON for EMF backend

View all revisions | View revisions

Also available in: Atom