- Jan 30, 2009
-
-
Erwan Jahier authored
-
- Jan 23, 2009
-
-
Erwan Jahier authored
-
- Dec 12, 2008
-
-
Erwan Jahier authored
In short, the rationale for this change, is that it is having a recursive node_exp is - useless, - too complicated, - wrong w.r.t. nesting iterator calls In long: - It is useless because, at the Eff level, a node cannot call itself via one of its static arg (which was where the recursivity came from). - and indeed, it is much simpler to consider that a static arg node can only be ident.long that identifies a node alias. This means of course, that nested iterators have been unnested before, inventing alias node names along the way... And polymorphism makes thing difficult once again. - But the *big* problem with a recursive node_exp is that it make things very complicated to (lic)dump nested iterator call because of polymorphism! Actually, it even makes thing complicated when the iterators were themselves not nested in the source code ! Some ugly things were done in LicDump to unnest those calls when printing node_exp. But this uglyness have a price: tricky code, and bugs! Indeed, nested iterators calls were wong for example when using the --inline-iterator mode (but i would not be surprised that is wrong in other cases...). Hence, LicDump is simpler, but of course LazyCompiler is more complicated. But this is reasonable: a pretty-printer is not supposed to be complicated.
-
- Dec 08, 2008
-
-
Erwan Jahier authored
-
- Dec 05, 2008
-
-
Erwan Jahier authored
+ more work on the release dir.
-
- Nov 28, 2008
-
-
Erwan Jahier authored
lustre-v6 release.
-
Erwan Jahier authored
-
Erwan Jahier authored
-
- Nov 26, 2008
-
-
Erwan Jahier authored
-
Erwan Jahier authored
-
- Nov 25, 2008
-
-
Erwan Jahier authored
To do that, we centralized the ident name creation into a new dedicated module Name. + fix should_work/NONREG/param_node.lus, we contained a combinational loop.
-
Erwan Jahier authored
The rationale for this change is that this is necessary for constants appearing static arg to be replaced. One problem is that they are handled in exactly the same way as top-level constants, which could be left un-expanded. I could make something in order to not expand those top-levelconstants, but is it worth the trouble ? To do that, I have changed sligthly the representation of Eff.ARRAY (the elements are now attached to the constructor itself, and the operands is empty) and the one of array constant (we attach to Array_const_eff a list instead of an array, for the sake of homogeneity) with what is done in Eff.val_eff.
-
- Nov 21, 2008
-
-
Erwan Jahier authored
-
- Nov 20, 2008
-
-
Erwan Jahier authored
-
Erwan Jahier authored
is part of the Eff.node_ney via static node parameters. The consequence was that some nodes (the ones with node as static parameters) were and printer several times (if used several times in the user program)!
-
Erwan Jahier authored
"one_op_per_equation" mode.
-
Erwan Jahier authored
(--inline-iterators) to activate it. nb : do not inline completely nested iterator calls (yet, cf TODO).
-
- Nov 04, 2008
-
-
Erwan Jahier authored
-
Erwan Jahier authored
-
- Nov 03, 2008
-
-
Erwan Jahier authored
(Hat) were handled incorrectly.
-
- Oct 27, 2008
-
-
Erwan Jahier authored
-
- Oct 24, 2008
-
-
Erwan Jahier authored
-
- Oct 23, 2008
-
-
Erwan Jahier authored
-
Erwan Jahier authored
-
Erwan Jahier authored
by position). Rename ExpandPack into InstanciateModel.
-
- Oct 22, 2008
-
-
Erwan Jahier authored
-
- Sep 17, 2008
-
-
Erwan Jahier authored
dead hits versus all hits).
-
Erwan Jahier authored
-
- Sep 15, 2008
-
-
Erwan Jahier authored
-
Erwan Jahier authored
change the parser and accept only clock expressions after a when. A clock is now made of 2 idents: one for the clock constructor, and one for the clock variable.
-
- Sep 02, 2008
-
-
Erwan Jahier authored
-
Erwan Jahier authored
-
- Sep 01, 2008
-
-
Erwan Jahier authored
simple, and also avoids 3 shift/reduce conflicts. It also make the pragma stuff more homogeneous and simple to explain in the manual. Moreover, pramgma are no more attached to AST nodes, but to lexemes.
-
Erwan Jahier authored
-
Erwan Jahier authored
-
- Aug 29, 2008
-
-
Erwan Jahier authored
-
Erwan Jahier authored
internal errors.
-
Erwan Jahier authored
around the rigth-hand-side.
-
Erwan Jahier authored
Note that by polymorphic here I mean *really* polymorphic, since they can handle tuples, which is no the case of, let's say, "<".
-
Erwan Jahier authored
splitting expressions.
-