Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec @ d948c0bd

Name Size Revision Age Author Comment
  data-test 5c0d6e4e about 2 years Christophe Garion json-parser: more tests with single variables
  doc 73ccaf2f about 1 year Pierre-Loïc Garoche Merge branch 'cocospec' of https://cavale.ensee...
  include d948c0bd about 1 year Pierre-Loïc Garoche math fun lib support in MPFR
  share 5c3b45a0 about 1 year Pierre-Loïc Garoche Lustre test gen mutation: bug solved. The path ...
  src d948c0bd about 1 year Pierre-Loïc Garoche math fun lib support in MPFR
.gitignore 161 Bytes e7b4ba42 about 2 years Christophe Garion add files in gitignore
.merlin 912 Bytes ae7d913d about 1 year 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 almost 3 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 about 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 about 2 years Christophe Garion [lustresf] lustresf targets are optional in Mak...
Makefile.in 3.47 KB 5c3b45a0 about 1 year 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 over 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 about 1 year Pierre-Loïc Garoche Removed Contract contruct: imported node should...
configure.ac 6.58 KB 5c3b45a0 about 1 year Pierre-Loïc Garoche Lustre test gen mutation: bug solved. The path ...
svnignore 103 Bytes 22fe1c93 about 6 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler git-sv...

Latest revisions

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

math fun lib support in MPFR

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 :(

View all revisions | View revisions

Also available in: Atom