CristalCaveGem » LustreC

Properly handle generated files

Doc file

Removed oasis, now use the classical autoconf; ./configure; make

- Dealt with compiling lusic from distant lusi files.
- Header now do not allow the generation of function previously declared as C prototype

Small update

Add first version of FindLustre.cmake

Added compilation and install of include/*.lusi

Add more functions in math.lusi

corrected a bug that made an error silent, confusing users...

- corrected a bug in C code generation for multi-dimension arrays

- changed the basic optimization scheme (option -O 2), which unfolds
local variables and global variables that are either cheap to evaluate
or used no more than once.

- corrected a bug in optimizating mode (option -O 3)
- changed the printing of unused variables

- corrected bug in node reset clock
- cleaner (but heavier !) code generation scheme for automata

- Added major feature: Lustre V6 automata !!!
- one automata example added
- changed the reset condition in node calls (now a simple bool expr)
- bug corrected in clock calculus
- bug corrected in traceability info
- added field in variables to test whether they are original...

- code complete for automata
- debugging in progress, not usable yet

- work in progress for automata...

- more work towards automata

- some steps towards integration of automata

- some code cleaning
- removed a potential source of bug in scheduler

- corrected bugs with the inlining mode

- corrected bug with destination directory (-d option)
- corrected several bugs in inlining
- STILL, BUGS REMAINING in inlined code !!??!!

This is a major revision:
- added interface files (.lusi) in the language, that can be compiled on their own, giving an object file (.lusic) and a header file (.h)
- modular code generation, from Lustre to C level included.
- nice amount of code refactoring

ooops, things got a bit scrambled with svn, restoring...

added some functions, prior to code refactoring

- started refactoring type definitions in .lus/.lusi,
in order to ease the way .lusi interface files are handled.

- reimplementation of the reuse algorithm (option -O 3),
much more simple and efficient.

- still some improvements in optimizing in machine code ...

- missing case in clock disjunction predicate, the absence of which produced
weak (but still correct) optimization results.

- corrected a small bug in clock calculus

- several bugs corrected when mixing tuples with clocks

- added missing constraint check when sub-clocking
tuple expressions
- added an algorithm that reuses dead or clock-disjoint
variables instead of declaring/using new ones.
- NOT carefully tested. Use option -O 3 if you want
to give it a try...

Updated the licence info and header for each file.
Moved backends in separate folders

Fixed horn backend to make query for properties. More work needed for cex

Fixed horn backend to make query for properties. More work needed for cex

added git version of svn_version

- many bugs/limitations in lifting operators to tuples have been worked out:
- typing/clock calculus/normalization now work properly
- still, a bug in annot generation (this one is for Ploc !!)
in file normalization, line 396
- bug corrected in subtyping...

work in progress in liveness analysis...

work in progress (code optimization again)

Merged horn_traces branch

added some infrastructure to ease optimization (reusing vars)

Merged branches specification_reorg_corelang_parser (see last commit message, moved definitions/functions btw files and changed eexpr type)

Prepared first stage of code reorg:
1. moved type def in lustrespec.ml
2. moved constructor and basic functions in corelang
3. Modified eexpr with prenext quantifiers

more steps toward reusing variables (dead ones + clock disjoint ones)

added construction of a fanin table for local variables of a node.
could be useful for a finer variable elimination scheme at the Lustre level.
to be continued...

added warnings for useless variables (at verbose level 1)
- exact definition of 'useless' may be further refined
- display could certainly be improved

Merged with new specification backend: only eacsl makefile for the now on

Merged trunk updates

Solved Bug in horn backend: when main node is stateless

work in progress:
- warnings for unused input/memory variables
- optimization of machine code

New branch to copy the specgeneration using the new backend functors

Merged the new backend split into trunk

Specialized the prefix/postfix modifiers through functors arguments

Split all functions of C backends in separate files

Added the lustre backend
Still some work on adapating the instruction scheduling

Moved c_backend in separate folder

Solved bug in optimization of machine code: output variable def should not be eliminated

Solved local var name bugs for stateless nodes as outlined by Teme

Added branch to separate code gen/file creation/spec/proof

Mini bug solved: do not unfold array constants

Missing files

Restructured the main: call to optimization, scheduling performed out of machine_code, etc
Merge Xavier last commits
Unfinished lustre backend

Extracted scheduling from machine code computation

Create a Step call only for functions that are not in basic lib

- bug correction (regression from previous versions !) introduced
in C code generated from relational operators.

- refactorization of typing code (simpler subtyping rules)
- simplification of clock calculus (may be still buggy, work in progress)
no impact on unclocked programs.

Update on the test script

clean handling of undefined node application

Updated typing error

inlining update

Convertion operators

bug correction in homomorphic extension

typo corrected in code generation for array memories (bad parentheses)

Math lusi (trigo)

bug corrected for allocation of dynamic arrays in node memory

node memory namespace bug corrected; library linear_ctl/arrays corrected

Updated list with new tests

Solved bug:
- loading lusi
- loading lib in lusi files: "in m" is now "lib m"

Additional checks in transpose

Check node is stateful

Bug solved on tuple equalities in expressions (eg. OK = (a,b,c) = (d,e,f))

Changed the load of lusi files: imported nodes or function can specify the linking lib and/or use a classical C prototype (without pointers).
Parse updated as well as Makefile generation.

still computing disjoint clock information (for reusing more variables)

computing statically disjoint variables (to enhance resusability)

removed debug message

changed name generation to avoid conflict with C predefined symbols; added checking for declared but not defined node symbol

- some minor adjustments...

- corrected causality bug (cf. previous commit)

liveness analysis improved. BUG found in causality wrt clocks...

- modified example (arguments are now in the right order wrt clock declaration).
- debugged liveness analysis...

- reimplemented computation of dead variables
- added computation of a reuse policy (depending on types)
- not yet used though, would have to change code generation
in order to be useful...

added liveness analysis for reusing dead variables. Not yet used.

improved code generation by factorizing out arrows

Version compatible avec le francais

Updated test script: changed path and verbose mode

Moved tests outside of source code to avoid useless duplication.

Added Alice Tailliar example

Added declaration/definition of stateless/stateful nodes.
The 'function' keyword is for stateless nodes only,
the 'node' keyword is any kind of node.
Improves compilation and paves the way for more optimizations.

- work in progress for stateless/stateful status computation
(to turn conditionals into merges, which yield more efficient C code)

corrected bugs in clock generalization that produced pessimistic C code (not wrong though); corrected bug with node importation policy wrt (re)declaration, (re)definition...

- 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...