Project

General

Profile

Statistics
| Branch: | Tag: | Revision:
Name Size Revision Age Author Comment
  data-test 5c0d6e4e almost 7 years Christophe Garion json-parser: more tests with single variables
  doc 73ccaf2f over 5 years Pierre-Loïc Garoche Merge branch 'cocospec' of https://cavale.ensee...
  include e491c34a over 5 years Pierre-Loïc Garoche Issues with linking Z3 on OSX
  share 5c3b45a0 over 5 years Pierre-Loïc Garoche Lustre test gen mutation: bug solved. The path ...
  src 525eebd1 over 5 years Guillaume DAVY Ada: Correct branch exporting to handle boolean...
.gitignore 161 Bytes e7b4ba42 almost 7 years Christophe Garion add files in gitignore
.merlin 912 Bytes ae7d913d over 5 years Pierre-Loïc Garoche Merlin files
.ocaml-config.sh 335 Bytes e548bb75 about 9 years lememta smaller amount of compilers
.travis.yml 1.66 KB e057dd08 over 7 years Teme Kahsai adjusting travis
AUTHORS 244 Bytes ec8fc65e over 5 years Pierre-Loïc Garoche configure.ac tuning
LICENSE-LGPL.txt 25.8 KB 22fe1c93 almost 11 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler git-sv...
Makefile-lustresf.in 142 Bytes 3b4b7a2e over 6 years Christophe Garion [lustresf] lustresf targets are optional in Mak...
Makefile.in 3.63 KB fb716d2c over 5 years Pierre-Loïc Garoche Some autoconf update
README.lustrec 991 Bytes 7bfb18df over 9 years Xavier Thirioux updated version of README.lustrec about how to ...
README.md 918 Bytes d0d8fe27 about 6 years Pierre Loic Garoche Updating dependencies in the READ:E
ReleaseProcess.txt 1.68 KB dd74ca16 over 7 years Frederic Boniol Document release process
TODO.org 11.1 KB 32bafa6f over 5 years Pierre-Loïc Garoche Some thoughts about lusic
configure.ac 9.4 KB a4158a4b over 5 years Pierre-Loïc Garoche Added back the gitbranch option ins configure.a...
opam 1.36 KB 222db658 over 5 years Pierre-Loïc Garoche New url in opam file
opam.in 1.37 KB a01cb3a9 over 5 years Pierre-Loïc Garoche New archive for 1.6
svnignore 103 Bytes 22fe1c93 almost 11 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler git-sv...

Latest revisions

# Date Author Comment
525eebd1 03/13/2019 01:27 PM Guillaume DAVY

Ada: Correct branch exporting to handle boolean match(using an ada if)

379715f7 03/13/2019 10:42 AM Guillaume DAVY

Ada: Improve input/output of main ada file

6e3cdaf6 03/12/2019 01:18 PM Guillaume DAVY

Ada: Add pretty printer for case

8d22ea35 03/12/2019 09:48 AM Guillaume DAVY

Ada: Some indentation

09d7b39f 03/11/2019 07:38 PM Guillaume DAVY

Ada: Add generation of step calls and refactor prototypes and ads printing to handle staless
instance.

3de9f6e4 03/11/2019 02:52 PM Guillaume DAVY

Ada: Refactor the instantiation code and instance code, instead of passing the machine list
to the pp_file and all subfunction in adb generation we pass a list of typed instance which
contains the submachines directly with the instance name and the substitution.

1ed1c8b8 02/26/2019 01:55 PM Guillaume DAVY

Ada: Corrections of some bugs discovered with lustrec-tests

03143434 02/25/2019 01:40 PM Guillaume DAVY

Ada: Add readers and printers for main.adb to match c tests.

2edf6b6d 02/25/2019 01:39 PM Guillaume DAVY

Ada: Add the prefix ada for variable named with an Ada reserved name.

dda9eb32 02/25/2019 01:38 PM Guillaume DAVY

Ada: Correct contract printing

View all revisions | View revisions

Also available in: Atom