Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec @ bc3139b0

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 dd29e0c7 almost 2 years Bourbouh add lustrec math functions
  share 76bed200 about 2 years Pierre-Loïc Garoche Added cmake basic functions Improved the Cmake ...
  src bc3139b0 over 1 year Pierre-Loïc Garoche Print the spec within the node
.gitignore 161 Bytes e7b4ba42 over 2 years Christophe Garion add files in gitignore
.ocaml-config.sh 335 Bytes e548bb75 almost 5 years lememta smaller amount of compilers
.travis.yml 1.66 KB e057dd08 about 3 years Teme Kahsai adjusting travis
AUTHORS 165 Bytes 1da8b334 almost 5 years Pierre-Loïc Garoche Add teme git-svn-id: https://cavale.enseeiht....
LICENSE-LGPL.txt 25.8 KB 22fe1c93 over 6 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler git-sv...
LICENSE-kind.md 10.6 KB 12249005 almost 2 years 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.46 KB 27446b88 over 1 year Pierre-Loïc Garoche Improving connection with CDash
README.lustrec 991 Bytes 7bfb18df almost 5 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 about 3 years Frederic Boniol Document release process
TODO.org 6.99 KB 0d54d8a8 over 1 year Pierre-Loïc Garoche Removed Contract contruct: imported node should...
configure.ac 6.55 KB 6de6bcf4 over 1 year Pierre-Loïc Garoche Improved configure.ac
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
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.

6de6bcf4 11/13/2018 04:16 PM Pierre-Loïc Garoche

Improved configure.ac

0d54d8a8 11/13/2018 02:01 AM Pierre-Loïc Garoche

Removed Contract contruct: imported node should be enough. Solved some warning at compile time

34d3f022 11/12/2018 11:43 PM Pierre-Loïc Garoche

Further processing of contract in the typing. More to go

1cc047f9 11/10/2018 02:07 PM Pierre-Loïc Garoche

Merge branch 'unstable' of https://cavale.enseeiht.fr/git/lustrec into unstable

1c9625b4 11/08/2018 03:46 PM Pierre-Loïc Garoche

Merge branch 'cocospec_to_be_merged' into unstable
Mainly adapting to new cocospec syntax for contracts

73ccaf2f 11/08/2018 03:29 PM Pierre-Loïc Garoche

Merge branch 'cocospec' of https://cavale.enseeiht.fr/git/lustrec into cocospec

View all revisions | View revisions

Also available in: Atom