Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec @ e8250987

Name Size Revision Age Author Comment
  data-test 5c0d6e4e almost 2 years Christophe Garion json-parser: more tests with single variables
  doc 73ccaf2f 10 months Pierre-Loïc Garoche Merge branch 'cocospec' of https://cavale.ensee...
  include e491c34a 9 months Pierre-Loïc Garoche Issues with linking Z3 on OSX
  share 5c3b45a0 9 months Pierre-Loïc Garoche Lustre test gen mutation: bug solved. The path ...
  src e8250987 9 months Pierre-Loïc Garoche Unevaluation of types and clocks dimension has ...
.gitignore 161 Bytes e7b4ba42 almost 2 years Christophe Garion add files in gitignore
.merlin 912 Bytes ae7d913d 9 months 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 over 2 years Teme Kahsai adjusting travis
AUTHORS 244 Bytes ec8fc65e 10 months Pierre-Loïc Garoche configure.ac tuning
LICENSE-LGPL.txt 25.8 KB 22fe1c93 almost 6 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler git-sv...
Makefile-lustresf.in 142 Bytes 3b4b7a2e over 1 year Christophe Garion [lustresf] lustresf targets are optional in Mak...
Makefile.in 3.63 KB fb716d2c 9 months Pierre-Loïc Garoche Some autoconf update
README.lustrec 991 Bytes 7bfb18df over 4 years Xavier Thirioux updated version of README.lustrec about how to ...
README.md 918 Bytes d0d8fe27 about 1 year Pierre Loic Garoche Updating dependencies in the READ:E
ReleaseProcess.txt 1.68 KB dd74ca16 over 2 years Frederic Boniol Document release process
TODO.org 11.1 KB 32bafa6f 9 months Pierre-Loïc Garoche Some thoughts about lusic
configure.ac 9.4 KB a4158a4b 9 months Pierre-Loïc Garoche Added back the gitbranch option ins configure.a...
opam 1.36 KB a7ce880f 9 months Pierre-Loïc Garoche Initiating nwew version 1.7 Xia/Huai
opam.in 1.38 KB fb716d2c 9 months Pierre-Loïc Garoche Some autoconf update
svnignore 103 Bytes 22fe1c93 almost 6 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler git-sv...

Latest revisions

# Date Author Comment
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.

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

Added back the gitbranch option ins configure.ac. Was wrongly removed in the release process

32bafa6f 11/20/2018 11:20 PM Pierre-Loïc Garoche

Some thoughts about lusic

7f2309bc 11/20/2018 07:02 PM Pierre-Loïc Garoche

Merge branch 'unstable' into lustrec-seal

View all revisions | View revisions

Also available in: Atom