Better documentation for Core and simplify events a lot
Use more first class function for attaching event. The second part scheduled keep the Dem.t type.
parent
9a781901
No related branches found
No related tags found
Showing
- Makefile 3 additions, 5 deletionsMakefile
- src_colibri2/core/.ocamlformat-ignore 0 additions, 8 deletionssrc_colibri2/core/.ocamlformat-ignore
- src_colibri2/core/colibri2_core.ml 318 additions, 37 deletionssrc_colibri2/core/colibri2_core.ml
- src_colibri2/core/datastructure.ml 36 additions, 5 deletionssrc_colibri2/core/datastructure.ml
- src_colibri2/core/datastructure.mli 6 additions, 0 deletionssrc_colibri2/core/datastructure.mli
- src_colibri2/core/demon.ml 220 additions, 670 deletionssrc_colibri2/core/demon.ml
- src_colibri2/core/demon.mli 45 additions, 171 deletionssrc_colibri2/core/demon.mli
- src_colibri2/core/egraph.ml 206 additions, 183 deletionssrc_colibri2/core/egraph.ml
- src_colibri2/core/egraph.mli 25 additions, 13 deletionssrc_colibri2/core/egraph.mli
- src_colibri2/core/events.ml 55 additions, 220 deletionssrc_colibri2/core/events.ml
- src_colibri2/core/events.mli 27 additions, 96 deletionssrc_colibri2/core/events.mli
- src_colibri2/core/ground.ml 9 additions, 11 deletionssrc_colibri2/core/ground.ml
- src_colibri2/core/ground.mli 23 additions, 3 deletionssrc_colibri2/core/ground.mli
- src_colibri2/core/interp.ml 7 additions, 18 deletionssrc_colibri2/core/interp.ml
- src_colibri2/core/structures/nodes.ml 287 additions, 249 deletionssrc_colibri2/core/structures/nodes.ml
- src_colibri2/core/structures/nodes.mli 69 additions, 75 deletionssrc_colibri2/core/structures/nodes.mli
- src_colibri2/popop_lib/popop_stdlib.ml 6 additions, 0 deletionssrc_colibri2/popop_lib/popop_stdlib.ml
- src_colibri2/popop_lib/popop_stdlib.mli 6 additions, 0 deletionssrc_colibri2/popop_lib/popop_stdlib.mli
- src_colibri2/solver/scheduler.ml 3 additions, 3 deletionssrc_colibri2/solver/scheduler.ml
- src_colibri2/stdlib/comp_keys.ml 4 additions, 4 deletionssrc_colibri2/stdlib/comp_keys.ml
Loading
Please register or sign in to comment