- 13 Jun, 2016 1 commit
-
-
Erwan Jahier authored
-
- 10 Jun, 2016 2 commits
-
-
Erwan Jahier authored
-
Erwan Jahier authored
-
- 09 Jun, 2016 1 commit
-
-
Erwan Jahier authored
-
- 07 Apr, 2016 1 commit
-
-
Erwan Jahier authored
Really, it is the job of lutin to set the seed. Also, unplug the "calling lutin from lustre and C" tests, as they are actually broken since the move to oasis/ocamlbuild.
-
- 10 Feb, 2016 2 commits
-
-
Erwan Jahier authored
-
Erwan Jahier authored
-
- 09 Feb, 2016 2 commits
-
-
Erwan Jahier authored
-
Erwan Jahier authored
There is still one problem: the rdbg and the lurette mode do not generated the same sequence. The event number is the same. The sequence of Random.init (performed when the event number is incremented) is exactly the same too. Weird. Note that this divergence is a regression
-
- 08 Feb, 2016 1 commit
-
-
Erwan Jahier authored
Also correct a lot of bugs. Indeed, this module was not tested when I initially wrote it, because of the sig faults pbs. Not that it is still not working properly, as the CPS transformation breaks Pascal's way of handling Lutin choice points backtracking, that is based on ocaml exception. Indeed consider this exemple: try call_to_a_func_that_traverse_the_lutin_FT () with Deadlock _ -> the_backtrack code now, if call_to_a_func_that_traverse_the_lutin_FT returns an event, the ocaml try is deleted !!!
-
- 27 Jan, 2016 2 commits
-
-
Erwan Jahier authored
-
Erwan Jahier authored
-
- 26 Jan, 2016 2 commits
-
-
Erwan Jahier authored
-
Erwan Jahier authored
because i'd like to use that name for the ocaml/lutin lib.
-
- 25 Jan, 2016 1 commit
-
-
Erwan Jahier authored
The C binding does not work yet (hence the test in examples/C and examples/lustre are broken).
-
- 15 Dec, 2015 1 commit
-
-
Erwan Jahier authored
-
- 14 Oct, 2015 2 commits
-
-
Erwan Jahier authored
(53d82954)
-
Erwan Jahier authored
-
- 03 Sep, 2015 1 commit
-
-
Erwan Jahier authored
Add the lutin tuto.
-
- 24 Aug, 2015 2 commits
-
-
Erwan Jahier authored
as it can confuse Genlex (and hence the Rif reader) from times to times (e.g., 42e_blabla raises a float_of_string exception).
-
- 17 Aug, 2015 1 commit
-
-
Erwan Jahier authored
-
- 18 Jun, 2015 2 commits
-
-
Erwan Jahier authored
-
Erwan Jahier authored
-
- 03 Jun, 2015 1 commit
-
-
Erwan Jahier authored
sim2chro arount supports this option (Sigh).
-
- 28 May, 2015 1 commit
-
-
Erwan Jahier authored
-
- 27 Apr, 2015 1 commit
-
-
Erwan Jahier authored
-
- 02 Mar, 2015 1 commit
-
-
Erwan Jahier authored
-
- 03 Feb, 2015 2 commits
-
-
Erwan Jahier authored
Tx to Nicolas Berthier.
-
Erwan Jahier authored
-
- 09 Jan, 2015 1 commit
-
-
Erwan Jahier authored
It was due to an uninitialized local var ; the bug was revealed by a change in caml/mlvalues.h::CAMLparam() done in 4.02.0 nb : it also fixes (i don't really know why) a performance bug in the rabbit simu.
-
- 08 Jan, 2015 1 commit
-
-
Erwan Jahier authored
-
- 17 Dec, 2014 1 commit
-
-
Erwan Jahier authored
Update the lus2lic plugin
-
- 11 Sep, 2014 1 commit
-
-
Erwan Jahier authored
-
- 02 Jul, 2014 2 commits
-
-
Erwan Jahier authored
-
Erwan Jahier authored
-
- 25 Jun, 2014 1 commit
-
-
Erwan Jahier authored
-
- 27 Mar, 2014 1 commit
-
-
Erwan Jahier authored
cf rdbg git 66d01f567940e06eab9a49604663d43c29fdfe01
-
- 26 Mar, 2014 1 commit
-
-
Erwan Jahier authored
-
- 24 Feb, 2014 1 commit
-
-
Erwan Jahier authored
Indeed, in source/Lutin/Makefile.lut4ocaml, I was including rdbg-plugin when building the lut4ocaml.cma/cmxa lib. The consequence was that the OcamlRM module was included twice, with its local Hashtbl (used for registering/loading Dynlink stuff) duplicated! Dynlink is to be used with great care !!! Also reflect the changes in the rdbg-plugin - in the OcamlRM module (s/add_/reg_/g) - in the Event module (more field of src_info type) cf rdbg git version 142783a77cad1a0f7ef91972b8376f0b0e44b878 also mv lut_evt stuff from LutinRun to rdbg (in LutinRdbg module).
-