Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec @ f4cba4b8

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 e491c34a over 2 years Pierre-Loïc Garoche Issues with linking Z3 on OSX
  share 5c3b45a0 over 2 years Pierre-Loïc Garoche Lustre test gen mutation: bug solved. The path ...
  src f4cba4b8 about 2 years Pierre-Loïc Garoche Some progress on compiling cocospec contract. C...
.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 244 Bytes ec8fc65e over 2 years Pierre-Loïc Garoche configure.ac tuning
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.63 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 11.1 KB f4cba4b8 about 2 years Pierre-Loïc Garoche Some progress on compiling cocospec contract. C...
configure.ac 9.4 KB a4158a4b over 2 years Pierre-Loïc Garoche Added back the gitbranch option ins configure.a...
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
f4cba4b8 03/12/2019 11:23 AM Pierre-Loïc Garoche

Some progress on compiling cocospec contract.
Contract resolution still need to be done as well as dealing with the machine code level and so on.

5de4dde4 11/24/2018 12:16 AM Pierre-Loïc Garoche

Major refreshing of machine generation

59020713 11/23/2018 03:32 AM Pierre-Loïc Garoche

Some progress on EMF bqckend. Refactoring machines code

e8250987 11/22/2018 12:16 AM Pierre-Loïc Garoche

Unevaluation of types and clocks dimension has been already performed before producing the lusic.

95944ba1 11/21/2018 11:53 PM Pierre-Loïc Garoche

Cleaning up stuff in normalization. Mainly replace arguments with only required elements
node_Table hashtbl is now only available through functions of the corelang.mli

684d39e7 11/21/2018 09:19 PM Pierre-Loïc Garoche

Moved lusic to .h printer after normalizing in case we want one day to produce ACSL from a normalized spec
Trying also to extend the parser to deal with imported nodes....

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

Unified compilation of lusi and lus files
Different parsers yet but shared process.
In case of lusi input the C backend is bypassed since the .h is generated from the lusic and no C code should be generated since it may overwrite existing manually written code...

19a1e66b 11/21/2018 05:58 AM Pierre-Loïc Garoche

Added include directive that directly inject a lustre source file in the prog

5fccce23 11/21/2018 03:23 AM Pierre-Loïc Garoche

- Dep type with a tuple has been replaced by a record type
- Modules now is more integrated and performed the building of the type/clock env.
previously some computation were performed twice by different functions. Some of these functions have been moved from compiler_common to modules

f9f06e7d 11/20/2018 11:21 PM Pierre-Loïc Garoche

- Module.load_header and load_program were merged.
- Contract were extended with list of statements.

View all revisions | View revisions

Also available in: Atom