Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / src / splitting.ml @ 2196a0a6

History | View | Annotate | Download (4.32 KB)

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

0cbf0839 10/02/2013 08:13 AM Pierre-Loïc Garoche

Moved files to trunk in lustre_compiler