• erwan's avatar
    Update: monadisation of Lutin, part 5 + remove support for the fair mode. · 3cde6aa1
    erwan authored
    Rationale: make rdbg time traveling work.
    
    Rationale for removing the fair mode:
     - the code for choosing the mode was ugly
     - it duplicates the effort
     - they other means to be fair (via weigths)
     - it can be very expensive (it breaks the sharing in the bdd, and computing
       polyedron volume is costly). hence it is not in the spirit of all the tradeoffs
       used elsewhere in design choices.
     - I've never used it (well, except in the tuto...)
    3cde6aa1
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...