Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec @ ae7d913d

Name Size Revision Age Author Comment
  data-test 5c0d6e4e almost 2 years Christophe Garion json-parser: more tests with single variables
  doc 73ccaf2f 11 months Pierre-Loïc Garoche Merge branch 'cocospec' of https://cavale.ensee...
  include dd29e0c7 over 1 year Bourbouh add lustrec math functions
  share 5c3b45a0 10 months Pierre-Loïc Garoche Lustre test gen mutation: bug solved. The path ...
  src ae7d913d 10 months Pierre-Loïc Garoche Merlin files
.gitignore 161 Bytes e7b4ba42 almost 2 years Christophe Garion add files in gitignore
.merlin 912 Bytes ae7d913d 10 months Pierre-Loïc Garoche Merlin files
.ocaml-config.sh 335 Bytes e548bb75 over 4 years lememta smaller amount of compilers
.travis.yml 1.66 KB e057dd08 over 2 years Teme Kahsai adjusting travis
AUTHORS 165 Bytes 1da8b334 over 4 years Pierre-Loïc Garoche Add teme git-svn-id: https://cavale.enseeiht....
LICENSE-LGPL.txt 25.8 KB 22fe1c93 almost 6 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler git-sv...
LICENSE-kind.md 10.6 KB 12249005 over 1 year Pierre-Loïc Garoche Kind licence file
Makefile-lustresf.in 142 Bytes 3b4b7a2e almost 2 years Christophe Garion [lustresf] lustresf targets are optional in Mak...
Makefile.in 3.47 KB 5c3b45a0 10 months Pierre-Loïc Garoche Lustre test gen mutation: bug solved. The path ...
README.lustrec 991 Bytes 7bfb18df over 4 years Xavier Thirioux updated version of README.lustrec about how to ...
README.md 678 Bytes 5573fee2 about 3 years Teme Kahsai new readme
ReleaseProcess.txt 1.68 KB dd74ca16 almost 3 years Frederic Boniol Document release process
TODO.org 6.99 KB 0d54d8a8 10 months Pierre-Loïc Garoche Removed Contract contruct: imported node should...
configure.ac 6.58 KB 5c3b45a0 10 months Pierre-Loïc Garoche Lustre test gen mutation: bug solved. The path ...
svnignore 103 Bytes 22fe1c93 almost 6 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler git-sv...

Latest revisions

# Date Author Comment
ae7d913d 11/16/2018 04:18 AM Pierre-Loïc Garoche

Merlin files

45d53dc3 11/16/2018 02:46 AM Pierre-Loïc Garoche

EMF export of local type definition (for simple types)

4c3c6658 11/16/2018 12:46 AM Pierre-Loïc Garoche

mutation bug solved: improper access to an element of an empty list of bindings

a879351b 11/16/2018 12:44 AM Pierre-Loïc Garoche

Printers bug solved: now properly printing lustre file as open/types/other decls

5c3b45a0 11/15/2018 08:23 PM Pierre-Loïc Garoche

Lustre test gen mutation: bug solved. The path to the installation was hardcoded.

c95a441d 11/15/2018 08:22 PM Pierre-Loïc Garoche

Bug solved in MCDC generation: Some annotations generated were producing problems

bc3139b0 11/15/2018 08:21 PM Pierre-Loïc Garoche

Print the spec within the node

c35de73b 11/15/2018 03:18 AM Pierre-Loïc Garoche

Pretty serious update:
- a bug in regressio ntest Simulink/integrator_ext_IC_matrix_test revealed the following (serious issue):
when building the list of instruction (in the machine code) the access to variable were hardcoded to LocalVar or StateVAr depending whether the variables was part of the identified memories....

05ca2715 11/15/2018 03:16 AM Pierre-Loïc Garoche

Moved back mpfr to its folder. Previsouly there was two competing files :(

307c32f5 11/14/2018 06:13 PM Pierre-Loïc Garoche

MPFR bug solved: typing of function argument was not properly building tuples of types.

View all revisions | View revisions

Also available in: Atom