• erwan's avatar
    Fix: This time, the rdbg time traveling work! · 421bcc4d
    erwan authored
    It was due to the event_incr function in MainArg, that is using a
    reference to count event numbers, and that was not saved and restored
    by LutinRun.
    
    And this counter was used to set the PRGS! which is actually useless
    as it is handled in LutinRun via save_state/restore_state now.
    
    It is not clear if my monadisation work was really necessary. In
    theory, it is, but not in the examples I've tried. Sigh.
    421bcc4d
Name
Last commit
Last update
EZDL Loading commit data...
archive Loading commit data...
doc Loading commit data...
examples Loading commit data...
gbddml Loading commit data...
ltop Loading commit data...
lurette-nocaml/src Loading commit data...
lutin/src Loading commit data...
lutin-utils/src Loading commit data...
polka Loading commit data...
stdlib Loading commit data...
.gitconfig Loading commit data...
.gitignore Loading commit data...
.gitlab-ci.yml Loading commit data...
.gitmodules Loading commit data...
.vimrc Loading commit data...
AUTHORS.txt Loading commit data...
LICENSE Loading commit data...
Makefile Loading commit data...
Makefile.dev Loading commit data...
Makefile.version Loading commit data...
Makefile.version.hide Loading commit data...
RELEASE-NOTES Loading commit data...
VERSION Loading commit data...
_oasis Loading commit data...
_opam Loading commit data...
_tags Loading commit data...
configure Loading commit data...
lutin.install Loading commit data...
opam Loading commit data...
package.json Loading commit data...