- Jul 04, 2014
-
-
Erwan Jahier authored
# of unexpected failures 101->109 but actually, some new test passes causes several other failing test to be tried, so it is not really a regression.
-
- Jul 01, 2014
-
-
Erwan Jahier authored
Indeed, ite are polymorphic, and thus inventing names during soc instanciation is error-prone, ugly, innefficient, and increase the code size. Moreover, using C ite to translate them online (ie, without going trough a soc) is straigforward # of unexpected failures 104->101.
-
- Jun 27, 2014
-
-
Erwan Jahier authored
-
Erwan Jahier authored
In other words, consider ">" and co as overloaded operators, not polymorphic ones.
-
- Jun 26, 2014
-
-
Erwan Jahier authored
where I've removed the handling of polymorphism.
-
Erwan Jahier authored
where I've removed the handling of polymorphism.
-
Erwan Jahier authored
e.g., by replacing "plus" by "iplus" or "rplus" Hence now the following is accepted : res = map<<+, N>>(x, a, b); but still not a_or_b = map<<Lustre::if, N>>(x, a, b);
-
Erwan Jahier authored
For instance, node toto = map<<Lustre::if, N>>(x, a, b); is rejected. The problem with this change is that we now also reject equations such as res = map<<+, N>>(x, a, b); which could be avoided. Probably L2lRmPoly does its job partially.
-
- Jun 24, 2014
-
-
Erwan Jahier authored
nb: unexpected failures 120 -> 118
-
Erwan Jahier authored
nb: unexpected failures 115->120
-
Erwan Jahier authored
nb: unexpected failures 120 -> 115
-
Erwan Jahier authored
nb: unexpected failures 126 -> 120
-
Erwan Jahier authored
nb: unexpected failures 127 -> 125
-
Erwan Jahier authored
I've sligthly modified the profile of gen_assign to explicitly ask for the size of the data structure to be copied. nb: unexpected failures 131 -> 127
-
Erwan Jahier authored
nb: unexpected failures 133-> 131
-
Erwan Jahier authored
nb: unexpected failures 143->133
-
- Jun 23, 2014
-
-
Erwan Jahier authored
nb: unexpected failures 144->143
-
- Jun 20, 2014
-
-
Erwan Jahier authored
nb: unexpected failures 149->144
-
Erwan Jahier authored
-
- Jun 19, 2014
-
-
Erwan Jahier authored
-
Erwan Jahier authored
The arrow soc now has a memory used to hold if the first step has be triggered.
-
Erwan Jahier authored
The first one in Soc2cIdent.type_to_short_string when enum and int were both translated by "i" ; as a consequence, some different soc ctx get the same name. The second one was due to the fact that car ident in gao switches were printed incorrectly (missing "ctx->" or "node_no_mem_ctx."). nb: unexpected failures 162-> 149
-
Erwan Jahier authored
nb: unexpected failures 175-> 162 Also name step function consistent and uniquely
-
- Jun 18, 2014
-
-
Erwan Jahier authored
nb: unexpected failures 187->175
-
Erwan Jahier authored
nb: unexpected failures 195->187 Also start to add support for the other iterators, but it does not work yet.
-
Erwan Jahier authored
The idea is that - when it is not in the memory, it is considered as true - it is set to false after each step is executed
-
Erwan Jahier authored
-
- Jun 16, 2014
-
-
Erwan Jahier authored
-
- Jun 13, 2014
-
-
Erwan Jahier authored
test: 203->198 failures
-
Erwan Jahier authored
test: 238->203 failures
-
Erwan Jahier authored
-
Erwan Jahier authored
-
Erwan Jahier authored
-
Erwan Jahier authored
-
- Jun 12, 2014
-
-
Erwan Jahier authored
nb: 20 more tests passes.
-
Erwan Jahier authored
Always use Soc2cPredef.gen_assign to generate var assignments. Also, use affection for assigning structures. nb: 21 more tests passes.
-
Erwan Jahier authored
Also do not crash if the soc contains reference to extern types.
-
- Jun 10, 2014
-
-
Erwan Jahier authored
-
Erwan Jahier authored
-
Erwan Jahier authored
To do that, I've used the (un)expand_profile function defined in SocExec (and put the in a new module with a more neutral name: SocVar). expected passes 1116 -> 1121 unexpected failures 282 -> 277
-