Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec @ 2196a0a6

Name Size Revision Age Author Comment
  doc fdeaac38 about 7 years Pierre-Loïc Garoche Lustre interfaces: lusi files are generated and...
  include 9bdfc99f over 6 years Xavier Thirioux corrected bug in arrow macros names, added stor...
  src 2196a0a6 over 6 years Pierre-Loïc Garoche Cleaned tons of useless debugging prints
  test 96fecb0f over 6 years Pierre-Loïc Garoche Lots of changes: mainly solved bugs - specifica...
LICENSE-LGPL.txt 25.8 KB 0cbf0839 about 7 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler
Makefile 702 Bytes 0cbf0839 about 7 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler
README.lustrec 802 Bytes 0cbf0839 about 7 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler
TODO.org 1.13 KB 0cbf0839 about 7 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler
_oasis 654 Bytes c6acbdaa over 6 years Xavier Thirioux answer to #feature 50: - arrows are now factor...
_tags 701 Bytes c6acbdaa over 6 years Xavier Thirioux answer to #feature 50: - arrows are now factor...
configure 364 Bytes c6acbdaa over 6 years Xavier Thirioux answer to #feature 50: - arrows are now factor...
myocamlbuild.ml 13.7 KB c6acbdaa over 6 years Xavier Thirioux answer to #feature 50: - arrows are now factor...
setup.ml 154 KB c6acbdaa over 6 years Xavier Thirioux answer to #feature 50: - arrows are now factor...
svn_version.sh 558 Bytes c6acbdaa over 6 years Xavier Thirioux answer to #feature 50: - arrows are now factor...
svnignore 103 Bytes 0cbf0839 about 7 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler

Latest revisions

# Date Author Comment
2196a0a6 03/12/2014 06:08 PM Pierre-Loïc Garoche

Cleaned tons of useless debugging prints

96fecb0f 03/12/2014 05:59 PM Pierre-Loïc Garoche

Lots of changes: mainly solved bugs
- specification is now stored as a set of equations
- the tuple splitting is performed during normalization and not anymore in machine code
- solved bug with tuple equalities, ie. x = (a,b,c) = (c,d,e)
- better handling of acsl generation including quantifiers...

cfff99fd 03/12/2014 05:55 PM Pierre-Loïc Garoche

Solved bug when loading preexisting lusi files

26031546 03/11/2014 11:41 PM Pierre-Loïc Garoche

Merged trunk modifs up to r186.

0b0a959a 03/11/2014 11:21 PM Pierre-Loïc Garoche

First working version of the ACSL generation.

6affc9f5 03/11/2014 03:41 PM Xavier Thirioux

- added struct types declaration
- added constant definition with a struct type
- added checking for multiple definitions of nodes (behavior was buggy)
- better and more uniform error messages
for undefined/already defined symbols

We still need struct expressions...
5eded996 03/11/2014 01:42 AM Pierre-Loïc Garoche

Ongoing work on specification compilation

- Integrated changes of trunk
- changed the types of extended expressions: only allow prenex forms
- normalization and machine code extended to deal with compilation of spec
- other annotations are almost not considered yet....

51768260 03/10/2014 05:56 PM Xavier Thirioux

work in progress for struct types...

aa223e69 03/10/2014 09:55 AM Xavier Thirioux

more steps towards struct types...
Cette ligne, et les suivantes ci-dessous, seront ignorées--

M trunk/src/corelang.mli
M trunk/src/type_predef.ml
M trunk/src/main_lustre_compiler.ml
M trunk/src/types.ml
M trunk/src/printers.ml
M trunk/src/typing.ml...

6560bb94 03/06/2014 04:33 PM Xavier Thirioux

first steps towards struct types...

View all revisions | View revisions

Also available in: Atom