- Jun 24, 2015
-
-
Erwan Jahier authored
To run it, just launch just: cd test/ make test.kcg
-
- Jun 18, 2015
-
-
Erwan Jahier authored
-
- Feb 09, 2015
-
-
Erwan Jahier authored
when calling soc. Do not work all the times (eg, with arrays it generates C code that does not compile). cf next changes.
-
- Jan 27, 2015
-
-
Erwan Jahier authored
-
- Jan 22, 2015
-
-
Erwan Jahier authored
-
- Jan 14, 2015
-
-
Erwan Jahier authored
Report by willie (cf mail of 8/10/2014 to get the file) file:/tmp/modes3x2.lus lus2lic -esa -en -2c /tmp/modes3x2.lus -n modes3x2 But it gives an error of: Error. in file "/mnt/A/wsept/modes3x2_pre_orig_lus2lic_en_esa/modes3x2.lus", line 74, col 8 to 8, token '#': only one operator per equation is allowed (v04_0, v04_1). Which is the line: assert #(on_off, toggle); ----------------------------------------------------------------- Actually, refuse programs that uses "#" or "nor" run with -esa and -2c|-exec That means that willie program is now rejected. Nevertheless, that change migth fix some other programs (that uses arrays, and used with -esa and -exec or -2c).
-
- Dec 08, 2014
-
-
Erwan Jahier authored
-
Erwan Jahier authored
-
- Oct 07, 2014
-
-
Erwan Jahier authored
For the time being, we simple try to factorise out the test of consecutive gao that holds on the same clock. ps : also fix a pb (infinite loop in SortActions.topo_sort) introduced in the previous change that, for a strange reason (Makefile issue), was not catched by the test (almost all test were failing !!). pps : it actually seems to break quite a lot of test, but its my test script that wrong ! since version 527 (we are 534), the compiler used to perform the test in the tmp dirs is not upadated ! (well it is, but on the wrong machine...). I commit this change still as it introduces no more test failures.
-
- Oct 02, 2014
-
-
Erwan Jahier authored
that expands the call of the specified node (can be used for several nodes). Remove the previous --do_not-expand-nodes <string> Also, the L2lExpandNodes pass now deletes the expanded nodes from the current LicPrg.t.
-
- Oct 01, 2014
-
-
Erwan Jahier authored
Add an option --to-c-dont-inline-predef to get the previous behavior.
-
- Sep 29, 2014
-
-
Erwan Jahier authored
I've just switched to ocaml 4.02, and it works only on carlit because of GLIC 2.14 is not installed on other machine. also, add some missing files.
-
- Sep 09, 2014
-
-
Erwan Jahier authored
-
- Aug 26, 2014
-
-
Erwan Jahier authored
-
- Aug 25, 2014
-
-
Erwan Jahier authored
generation has been stopped in the middle of the process because of an error in order to avoid to run test that will fail for sure.
-
- Aug 22, 2014
-
-
Erwan Jahier authored
-
Erwan Jahier authored
-
Erwan Jahier authored
soc2c: fix the code generated for array concatenation (which was raising a warning and a Seg fault).
-
Erwan Jahier authored
Also remove the port number from the sum files
-
Erwan Jahier authored
by taking advantage of the multi-proc -> x5 speedup with j 4 ! Note that i do not use -j 4 (qtest) for reference (reftest) to lower timings distorsion due to the machine load.
-
- Jul 09, 2014
-
-
Erwan Jahier authored
-
- 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 26, 2014
-
-
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);
-
- Jun 05, 2014
-
-
Erwan Jahier authored
46 ok, 159 ko...
-
- Dec 11, 2013
-
-
Erwan Jahier authored
The main difference is that I use a map instead of list to store visited nodes. The compilation time of normal.ec is divided by 2!! (35s->15s) We do not really see the difference in the time of the non-reg tests since the execution of normal.ec still exceeds the 10s timeouts.
-
- Dec 06, 2013
-
-
Erwan Jahier authored
That was quite confusing for rdbg -lurette --*-stdio !!!
-
- Dec 04, 2013
-
-
Erwan Jahier authored
-
- Nov 28, 2013
-
-
Erwan Jahier authored
-
- Nov 25, 2013
-
-
Erwan Jahier authored
nb : I've finaly understood the performance/out of memory problems I had for that last 6 months !!!!! It was due to the lurette.cov file that was getting larger and larger.
-
- Oct 23, 2013
-
-
Erwan Jahier authored
Timothy Bourke (trigerred where the clock of some args are some other args and when the names of variables are shared between the caller and the callee). The problem is in UnifyClock.f or (in evalClock.ml) ; the current change in evalClock.ml fixes the pb in Tim's program, but I suspect it is still buggy.
-
- Jun 03, 2013
-
-
Erwan Jahier authored
Also, check programs that should fail using lurette instead of just lus2lic. Indeed, some programs are only suposed to fail at runtime. Change the main node names of prog in should_fail as it is necessary for Lurette non-reg scheme
-
- May 31, 2013
-
-
Erwan Jahier authored
#fail: 83 -> 81
-
- May 22, 2013
-
-
Erwan Jahier authored
itself calls another node on a non-trivial clock (i.e., using a when) was not producing correct code. I've fixed this by performing the fix-point on nodes rather than on equations. Indeed its more natural and efficient, and it avoid the problem above. However, I did not really fix the problem, but just turn around it. All tests seems to work fine though. nb : #FAILS=81->80 (and -2 unresolved, but because I fixed the prog)
-
- Apr 22, 2013
-
-
Erwan Jahier authored
112 tests failed, and 127 passed !!
-
- Jan 29, 2013
-
-
Erwan Jahier authored
Also fix some bugs in DumpLic when printing condact in other modes.
-
- Jan 25, 2013
-
-
Erwan Jahier authored
-
- Jan 24, 2013
-
-
Erwan Jahier authored
-
- Jan 11, 2013
-
-
Erwan Jahier authored
nb : I've transformed all the regressions I've seen into todo entries in todo.org. nb 2 : I did not mv the newly broken tests into the broken dirs. I'll do that for those I do not want to fix in the short term.
-