Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec @ 7659bbb1

Name Size Revision Age Author Comment
  data-test 5c0d6e4e over 2 years Christophe Garion json-parser: more tests with single variables
  doc 73ccaf2f over 1 year Pierre-Loïc Garoche Merge branch 'cocospec' of https://cavale.ensee...
  include e5d77428 11 months Pierre-Loïc Garoche Solved issue btw mpfr and conv functions (int_t...
  share 5c3b45a0 over 1 year Pierre-Loïc Garoche Lustre test gen mutation: bug solved. The path ...
  src 7659bbb1 9 months Pierre-Loïc Garoche Corelang function: push_negations that propagat...
.gitignore 161 Bytes e7b4ba42 over 2 years Christophe Garion add files in gitignore
.merlin 912 Bytes ae7d913d over 1 year Pierre-Loïc Garoche Merlin files
.ocaml-config.sh 335 Bytes e548bb75 almost 5 years lememta smaller amount of compilers
.travis.yml 1.66 KB e057dd08 over 3 years Teme Kahsai adjusting travis
AUTHORS 244 Bytes ec8fc65e over 1 year Pierre-Loïc Garoche configure.ac tuning
INSTALL 290 Bytes 75a7b65b about 1 year Garoche install notes
LICENSE-LGPL.txt 25.8 KB 22fe1c93 over 6 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler git-sv...
Makefile-lustresf.in 142 Bytes 3b4b7a2e over 2 years Christophe Garion [lustresf] lustresf targets are optional in Mak...
Makefile.in 3.63 KB fb716d2c over 1 year Pierre-Loïc Garoche Some autoconf update
README.lustrec 991 Bytes 7bfb18df almost 5 years Xavier Thirioux updated version of README.lustrec about how to ...
README.md 918 Bytes d0d8fe27 over 1 year Pierre Loic Garoche Updating dependencies in the READ:E
ReleaseProcess.txt 1.68 KB dd74ca16 over 3 years Frederic Boniol Document release process
TODO.org 11.1 KB f4cba4b8 about 1 year Pierre-Loïc Garoche Some progress on compiling cocospec contract. C...
configure.ac 9.81 KB 7b424fe6 9 months Pierre-Loïc Garoche z3 as an optional pacage in configure
opam 1.36 KB 222db658 over 1 year Pierre-Loïc Garoche New url in opam file
opam.in 1.37 KB a01cb3a9 over 1 year Pierre-Loïc Garoche New archive for 1.6
svnignore 103 Bytes 22fe1c93 over 6 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler git-sv...

Latest revisions

# Date Author Comment
7659bbb1 07/09/2019 03:02 AM Pierre-Loïc Garoche

Corelang function: push_negations that propagate negations in leafs of the expression

7aaacbc9 07/07/2019 03:24 AM Pierre-Loïc Garoche

Better extraction in lustrev-seal

58301109 07/07/2019 03:24 AM Pierre-Loïc Garoche

Zustre: Bug solved in const injection for reals

2104c80a 07/06/2019 12:49 AM Pierre-Loïc Garoche

Addressed a TODO in MCDC Pathconditions: simpler condition for single expression

df94cd73 07/06/2019 12:04 AM Pierre-Loïc Garoche

- More systematic translation for mutation
- copy_var_decl now keeps the generated type

e998fc16 07/05/2019 11:15 PM Pierre-Loïc Garoche

Mutation translates now ids in cocospec import

67ef9395 07/04/2019 05:35 PM Pierre-Loïc Garoche

minor bugs solved in printer: guarantee vs guarantees in cocospec. Imported node shall not be printed as regular code since it is not part of the grammar yet. Kept them as comment.

3050ca8f 07/04/2019 05:34 PM Pierre-Loïc Garoche

keep the open top declaration when loading a module. It may be useful later when producing a lustre file

653b62e0 07/04/2019 05:33 PM Pierre-Loïc Garoche

lustret: do not reload opened modules when generating the mcdc output

8c934ccd 07/04/2019 06:35 AM Pierre-Loïc Garoche

lustrev seal: ongoing work on extraction as dynamical system. Still not working yet

View all revisions | View revisions

Also available in: Atom