- Dec 08, 2014
-
-
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.
-
- Dec 11, 2012
-
-
Erwan Jahier authored
+ remise en place du souk qu'il a mis dans le repertoire test. - il a commencé à rajouter le CondAct (tout est parti de la en fait...) - il a coupé le LazyCompiler en morceaux Pour cela, il a créé un nouveau module LicPrg qui définit la structure de données (SDD) en sortie du LazyCompiler. Ensuite, les diverses tranformations src2src sont faites à partir de cette SDD. - il a débranché (temporairement) l'expansion de noeud et de array/structure - il a débranché ma pseudo inférence de type et a mis à la place une vérification de types. - Le traitement du polymorphisme est effectué via une transfo src2src dans DoNoPoly (que je vais renommer en RmPoly) -------------------------------------------------------------------------- Par ailleurs, J'ai créé un todo.org et un README.org que je vais essayer de tenir à jour. nb: les tests ne passent toujours bien sur.
-
- Aug 08, 2012
-
-
Pascal Raymond authored
-
- Jul 07, 2012
-
-
pascal authored
-
- Jul 06, 2012
-
-
Pascal Raymond authored
-
- Jul 04, 2012
-
-
Pascal Raymond authored
-
- Jul 03, 2012
-
-
Pascal Raymond authored
- src + utils + tests au meme niveau - tout ce qui est provisoire dans obj
-
- May 19, 2011
-
-
Erwan Jahier authored
not use the module name. Otherwise, names with "::" are created, and sometimes the lhs of the "::" does not even correpond to an existing module.
-