Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec @ 66359a5e

Name Size Revision Age Author Comment
  data-test 5c0d6e4e over 7 years Christophe Garion json-parser: more tests with single variables
  doc fce0c270 about 8 years Pierre-Loïc Garoche automata_spec
  include 2ca4d0c9 over 7 years Hamza Bourbouh add fmod function in include/simulink_math_fcn....
  share 76bed200 about 7 years Pierre-Loïc Garoche Added cmake basic functions Improved the Cmake ...
  src 66359a5e about 7 years Pierre-Loïc Garoche [general] large modification: added machine typ...
.gitignore 161 Bytes e7b4ba42 over 7 years Christophe Garion add files in gitignore
.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 165 Bytes 1da8b334 almost 10 years Pierre-Loïc Garoche Add teme git-svn-id: https://cavale.enseeiht....
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.45 KB a1230f68 about 7 years Pierre-Loïc Garoche Solved issues with configure and ocaml libs dep...
README.lustrec 991 Bytes 7bfb18df almost 10 years Xavier Thirioux updated version of README.lustrec about how to ...
README.md 678 Bytes 5573fee2 over 8 years Teme Kahsai new readme
ReleaseProcess.txt 1.68 KB dd74ca16 over 8 years Frederic Boniol Document release process
TODO.org 2.05 KB 0dee2bc1 over 9 years Pierre-Loïc Garoche Refactoring of the horn backend with Reset/Step...
configure.ac 6.4 KB a1230f68 about 7 years Pierre-Loïc Garoche Solved issues with configure and ocaml libs dep...
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
66359a5e 01/31/2018 07:27 AM Pierre-Loïc Garoche

[general] large modification: added machine types, a second typing phase dealing with machine types (eg uint8)
typing was transformed as a functor and parametrized by basic types (int/real/bool)
it can also be applied multiple times on the same program
b7c3790e 01/31/2018 07:23 AM Pierre-Loïc Garoche

[lustret] improved enumeration of mutants
cda2fcc8 01/31/2018 07:21 AM Pierre-Loïc Garoche

[lustret] When generating MC/DC conditions, produce them as EMF XML output
a1230f68 01/31/2018 07:17 AM Pierre-Loïc Garoche

Solved issues with configure and ocaml libs dependencies
185ddf4d 01/30/2018 03:01 PM Pierre-Loïc Garoche

Type issue Bytes vs string
5d5139a5 01/18/2018 05:36 PM Pierre-Loïc Garoche

[lustret] More effective mutants generation
Solved the misrenaming of imported nodes (eg int_to_real)
70466917 01/18/2018 05:34 PM Pierre-Loïc Garoche

[main] node locals are now sorted according to their dependencies wrt clocks. The produced lustre node with types shall now be compilable
94cf0fc5 01/18/2018 05:33 PM Pierre-Loïc Garoche

[main] cleaned superfluous empty line in generated lustre output
13aec2da 01/18/2018 05:31 PM Pierre-Loïc Garoche

[main] enum typedef in C use the original lustre filename as identifier. This commit cleans the filename to remove dots.
5487dd79 01/17/2018 05:09 PM Pierre-Loïc Garoche

[mutations] solved issues with
- mutations that could not be performed (ie. changing an integer constants when no integer constant appear in the program)
- infinite computation of mutants, because of unproper randomization.

View all revisions | View revisions

Also available in: Atom