- Apr 10, 2013
-
-
Erwan Jahier authored
Symbolic link as as I did are a bad idea. I will synchronise them using git subtrees or submodules latter, as explained here: http://www.elegantchaos.com/node/432 http://www.elegantchaos.com/high-level-git-subtree-scripts
-
Erwan Jahier authored
Also Merge the Global and the MainArg module as they were (bizzarely) both handling command args options.
-
- Apr 08, 2013
-
-
Erwan Jahier authored
I took the data type definition from SocExecValue to define a Data module that is a strict extension of the Lutin Data module. The duplicated Genlex module is now also identical to the one of Lurette. Quite boring, but simple thanks to the ocaml type system.
-
Erwan Jahier authored
-
Erwan Jahier authored
Now the arrow in handled as a predef statement; in order to know if we are at the first step of a node, we do as for condact and store the value of the first_step var in the current ctx.
-
- Apr 05, 2013
-
-
Erwan Jahier authored
-
Erwan Jahier authored
In order to do that, I've generalised the type of merge : now the clock argument can be any expression. Some assert false still prevent its use, but it should be easy to get rid of them (I'll do that latter).
-
- Apr 04, 2013
-
-
Erwan Jahier authored
In order to do that, I've generalised the type of merge : now the clock argument can be any expression. Some assert false still prevent its use, but it should be easy to get rid of them (I'll do that latter).
-
- Apr 03, 2013
-
-
Erwan Jahier authored
nb : programs do run, but I did not check that they run correctly... Also fix a regression introduced in the previous change where incorrect ec code was generated for diese.
-
- Apr 02, 2013
-
-
Erwan Jahier authored
-
- Mar 29, 2013
-
-
Erwan Jahier authored
-
Erwan Jahier authored
nb: thus it works with red and fill since they are exactly the same !!!
-
Erwan Jahier authored
nb: thus it works with red and fill since they are exactly the same !!!
-
Erwan Jahier authored
-
Erwan Jahier authored
F**k! socExec.ml was not gitted!!!
-
- Mar 27, 2013
-
-
Erwan Jahier authored
1) At the Lic level, there's no reason to distinguish betwenn node calls, and predef node calls. Indeed it makes things simpler and more homogeneous afterwards. 2) int strings are only converted when necessary (constant evaluation). 3) const are handled directly under Lic.by_pos_op instead of being under PREDEF_CALL, which make things easier and more logical.
-
- Mar 25, 2013
-
-
Erwan Jahier authored
-
- Mar 22, 2013
-
-
Erwan Jahier authored
-
Erwan Jahier authored
-
- Mar 21, 2013
-
-
Erwan Jahier authored
-
- Mar 20, 2013
-
-
Erwan Jahier authored
-
Erwan Jahier authored
-
Erwan Jahier authored
-
- Mar 19, 2013
-
-
Erwan Jahier authored
-
Erwan Jahier authored
-
- Mar 11, 2013
-
-
Erwan Jahier authored
-
Erwan Jahier authored
-
- Mar 05, 2013
-
-
Erwan Jahier authored
Can be tried unsing the -exec option. currently only working with trivial programs manipulating equalities (wires) and predef operators (no pre, ->, arrays, and node calls).
-
- Feb 25, 2013
-
-
Erwan Jahier authored
Indeed, the data structure in output of the lis2loc parser was very similar to Lic.t/LicPrg.t. Hence, this shunt. At this stage it compiles, but it's untested and does not work.
-
- Feb 22, 2013
-
-
Erwan Jahier authored
-
- Feb 20, 2013
-
-
Erwan Jahier authored
-
- Feb 13, 2013
-
-
Erwan Jahier authored
BTW, put everything that concerns node environement into the new IdSolver module (from the Lic module).
-
- Feb 07, 2013
-
-
Erwan Jahier authored
-
Erwan Jahier authored
Indeed, part of licDump was done in lic, but that part should not depend in the compil option.
-
- Feb 06, 2013
-
-
Erwan Jahier authored
-
Erwan Jahier authored
Pascal prepared « the field » for that change.
-
- Feb 04, 2013
-
-
Erwan Jahier authored
The only culprit was the one in unifyClock.ml::249, but I've lazyfied most of the non-trivial verbose call. The 2 remaining unresolved testq that were timeout-ing now pass in a few ms... The whole non-reg test time has been divided by more than 2!
-
Erwan Jahier authored
- translate merge on bools in terms of current and ite - do not print the clock info in node profile in en mode + various fixes in lustre test files. nb : now all tests in the should_work dir passes !!!
-
- Feb 01, 2013
-
-
Erwan Jahier authored
-
Erwan Jahier authored
-