[TimeWheel] use a time wheel
in order to more easily prioritize without creating famine
Showing
- src_colibri2/core/demon.ml 17 additions, 17 deletionssrc_colibri2/core/demon.ml
- src_colibri2/core/demon.mli 8 additions, 8 deletionssrc_colibri2/core/demon.mli
- src_colibri2/core/events.ml 10 additions, 4 deletionssrc_colibri2/core/events.ml
- src_colibri2/core/events.mli 3 additions, 1 deletionsrc_colibri2/core/events.mli
- src_colibri2/popop_lib/TimeWheel.ml 176 additions, 0 deletionssrc_colibri2/popop_lib/TimeWheel.ml
- src_colibri2/popop_lib/TimeWheel.mli 46 additions, 0 deletionssrc_colibri2/popop_lib/TimeWheel.mli
- src_colibri2/popop_lib/intmap.mli 3 additions, 0 deletionssrc_colibri2/popop_lib/intmap.mli
- src_colibri2/solver/scheduler.ml 30 additions, 33 deletionssrc_colibri2/solver/scheduler.ml
- src_colibri2/stdlib/context.ml 11 additions, 0 deletionssrc_colibri2/stdlib/context.ml
- src_colibri2/stdlib/context.mli 24 additions, 0 deletionssrc_colibri2/stdlib/context.mli
- src_colibri2/theories/bool/boolean.ml 3 additions, 3 deletionssrc_colibri2/theories/bool/boolean.ml
- src_colibri2/theories/bool/equality.ml 5 additions, 5 deletionssrc_colibri2/theories/bool/equality.ml
- src_colibri2/theories/bool/uninterp.ml 2 additions, 2 deletionssrc_colibri2/theories/bool/uninterp.ml
- src_colibri2/theories/quantifier/quantifier.ml 7 additions, 3 deletionssrc_colibri2/theories/quantifier/quantifier.ml
Loading
Please register or sign in to comment