- 13 Dec, 2017 3 commits
- 12 Dec, 2017 2 commits
- 11 Dec, 2017 2 commits
- 06 Dec, 2017 1 commit
-
-
erwan authored
-
- 30 Nov, 2017 1 commit
-
-
erwan authored
-
- 28 Aug, 2017 2 commits
- 04 May, 2017 2 commits
- 03 May, 2017 1 commit
-
-
erwan authored
It was avoiding to override the file somefile.rif by creating a somefile-i.rif; but practice, it appears to be very cumbersome.
-
- 24 Apr, 2017 1 commit
-
-
erwan authored
Print the seed when used from a RdbgPlugin
-
- 24 Mar, 2017 1 commit
-
-
erwan authored
Rework the lutin tutorial.
-
- 21 Mar, 2017 1 commit
-
-
erwan authored
-
- 17 Mar, 2017 2 commits
- 10 Mar, 2017 1 commit
-
-
erwan authored
-
- 08 Feb, 2017 1 commit
-
-
Erwan Jahier authored
-
- 30 Nov, 2016 1 commit
-
-
Erwan Jahier authored
- fix the column number (was the char number in the file) - fix the depth of exit events
-
- 14 Nov, 2016 1 commit
-
-
Erwan Jahier authored
+ fix the test breaks caused by previous commits (seed)
-
- 10 Nov, 2016 1 commit
-
-
Erwan Jahier authored
Also, install the manual in the lib install directory.
-
- 15 Jun, 2016 1 commit
-
-
Erwan Jahier authored
Indeed, "opam install camlidl" does put dllcamlidl.so into stublibs.
-
- 14 Jun, 2016 2 commits
-
-
Erwan Jahier authored
-
Erwan Jahier authored
also, rename call-via-socket.ml inti call_via_socket.ml to avoid ocaml warning.
-
- 13 Jun, 2016 4 commits
-
-
Erwan Jahier authored
-
Erwan Jahier authored
just a commit to increment the version number to make sure it works
-
Erwan Jahier authored
-
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 !!!
-