Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec @ 61e0c3c4

Name Size Revision Age Author Comment
  data-test 5c0d6e4e almost 6 years Christophe Garion json-parser: more tests with single variables
  doc 73ccaf2f almost 5 years Pierre-Loïc Garoche Merge branch 'cocospec' of https://cavale.ensee...
  include f0a067e9 over 4 years Pierre-Loïc Garoche Better production of trace files. By default tr...
  share 5c3b45a0 almost 5 years Pierre-Loïc Garoche Lustre test gen mutation: bug solved. The path ...
  src 61e0c3c4 over 4 years Guillaume DAVY Ada: - Correct the merge with lustrec-seal ...
.gitignore 161 Bytes e7b4ba42 about 6 years Christophe Garion add files in gitignore
.merlin 912 Bytes ae7d913d almost 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 over 6 years Teme Kahsai adjusting travis
AUTHORS 244 Bytes ec8fc65e almost 5 years Pierre-Loïc Garoche configure.ac tuning
INSTALL 122 Bytes 4d2d6777 over 4 years Pierre-Loïc Garoche INSTALL file
LICENSE-LGPL.txt 25.8 KB 22fe1c93 almost 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 almost 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 about 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 f4cba4b8 over 4 years Pierre-Loïc Garoche Some progress on compiling cocospec contract. C...
configure.ac 9.4 KB a4158a4b almost 5 years Pierre-Loïc Garoche Added back the gitbranch option ins configure.a...
opam 1.36 KB 222db658 almost 5 years Pierre-Loïc Garoche New url in opam file
opam.in 1.37 KB a01cb3a9 almost 5 years Pierre-Loïc Garoche New archive for 1.6
svnignore 103 Bytes 22fe1c93 almost 10 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler git-sv...

Latest revisions

# Date Author Comment
61e0c3c4 03/21/2019 07:23 PM Guillaume DAVY

Ada:
- Correct the merge with lustrec-seal
- Improve support for builtin function(still work to do)
- Add generation of a gpr file for lib(without main).
- Add var initialisation in the reset, still work to do.
4d2d6777 03/18/2019 10:29 PM Pierre-Loïc Garoche

INSTALL file
de671495 03/18/2019 08:31 PM Pierre-Loïc Garoche

Merging branches, disabling the specification print in Ada backend. Should be re-enabled at some point
ab26e196 03/18/2019 04:52 PM Pierre-Loïc Garoche

Merge branch 'lustrec-seal' into ada
d5ec9f63 03/18/2019 04:31 PM Pierre-Loïc Garoche

Minor modif on seal
6517aa0e 03/18/2019 03:34 PM Pierre-Loïc Garoche

Reorganizing folders
c3b0a8c9 03/16/2019 03:28 PM Pierre-Loïc Garoche

Merge branch 'salsa' into lustrec-seal
61df3cb9 03/16/2019 06:23 AM Pierre-Loïc Garoche

Reformating plugin signatures. Better report management
f0a067e9 03/15/2019 10:14 PM Pierre-Loïc Garoche

Better production of trace files.
By default traces are not produced. Requires the option -t to produce them
70be4acf 03/15/2019 12:40 AM Pierre-Loïc Garoche

Serious refactoring of scopes plug-in:
- now properly records the scopes
- only register requested ones

View all revisions | View revisions

Also available in: Atom