Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec @ c203d676

Name Size Revision Age Author Comment
  data-test 5c0d6e4e over 3 years Christophe Garion json-parser: more tests with single variables
  doc 73ccaf2f over 2 years Pierre-Loïc Garoche Merge branch 'cocospec' of https://cavale.ensee...
  include d948c0bd over 2 years Pierre-Loïc Garoche math fun lib support in MPFR
  share 5c3b45a0 over 2 years Pierre-Loïc Garoche Lustre test gen mutation: bug solved. The path ...
  src c203d676 over 2 years Guillaume DAVY Ada Change private to limited private for State...
.gitignore 161 Bytes e7b4ba42 over 3 years Christophe Garion add files in gitignore
.merlin 912 Bytes ae7d913d over 2 years Pierre-Loïc Garoche Merlin files
.ocaml-config.sh 335 Bytes e548bb75 about 6 years lememta smaller amount of compilers
.travis.yml 1.66 KB e057dd08 over 4 years Teme Kahsai adjusting travis
AUTHORS 165 Bytes 1da8b334 about 6 years Pierre-Loïc Garoche Add teme git-svn-id: https://cavale.enseeiht....
LICENSE-LGPL.txt 25.8 KB 22fe1c93 over 7 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler git-sv...
Makefile-lustresf.in 142 Bytes 3b4b7a2e over 3 years Christophe Garion [lustresf] lustresf targets are optional in Mak...
Makefile.in 3.5 KB fb716d2c over 2 years Pierre-Loïc Garoche Some autoconf update
README.lustrec 991 Bytes 7bfb18df about 6 years Xavier Thirioux updated version of README.lustrec about how to ...
README.md 918 Bytes d0d8fe27 almost 3 years Pierre Loic Garoche Updating dependencies in the READ:E
ReleaseProcess.txt 1.68 KB dd74ca16 over 4 years Frederic Boniol Document release process
TODO.org 6.99 KB 0d54d8a8 over 2 years Pierre-Loïc Garoche Removed Contract contruct: imported node should...
configure.ac 6.33 KB a7ce880f over 2 years Pierre-Loïc Garoche Initiating nwew version 1.7 Xia/Huai
opam 1.36 KB a7ce880f over 2 years Pierre-Loïc Garoche Initiating nwew version 1.7 Xia/Huai
opam.in 1.38 KB fb716d2c over 2 years Pierre-Loïc Garoche Some autoconf update
svnignore 103 Bytes 22fe1c93 over 7 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler git-sv...

Latest revisions

# Date Author Comment
c203d676 02/18/2019 02:29 PM Guillaume DAVY

Ada Change private to limited private for State type package.

69cd79c6 02/14/2019 05:02 PM Guillaume DAVY

Ada: Temporary change

4ba20be4 02/14/2019 02:47 PM Guillaume DAVY

Ada: Add local variable declaration for step

2ddbde7d 02/14/2019 02:42 PM Guillaume DAVY

Ada: Last correction was incorrect

e6705d79 02/14/2019 02:38 PM Guillaume DAVY

Ada: Correct a bad copy-paste

fd834769 02/14/2019 02:35 PM Guillaume DAVY

Ada: Add the generation of the wrapper file : the main ada file and the project. It is called
only if the main node option is given to lustrec. This feature implied some refactoring. Also
added some OCaml Doc to undocummented functions.

7cbb6d8a 02/13/2019 07:38 PM Guillaume DAVY

Ada: Add to the machine state all its subinstance states. Improve also identifier cleaning

c419ca44 02/13/2019 02:47 PM Guillaume DAVY

Ada: Changed type name for states and normalized variable name to match ada requirements.

3d85297f 02/12/2019 08:00 PM Guillaume DAVY

Ada: Add prototype of the four procedure in the adb generation

c06b3b47 02/12/2019 06:46 PM Guillaume DAVY

Ada: Add the state variable in the ads, type definition and as parameter of all procedure

View all revisions | View revisions

Also available in: Atom