Add a generic part of the model computation
Showing
- .gitignore 0 additions, 3 deletions.gitignore
- colibri2.opam 1 addition, 1 deletioncolibri2.opam
- colibrics.opam 1 addition, 1 deletioncolibrics.opam
- dune-project 1 addition, 1 deletiondune-project
- src_colibri2/core/.ocamlformat 0 additions, 0 deletionssrc_colibri2/core/.ocamlformat
- src_colibri2/core/.ocamlformat-ignore 24 additions, 0 deletionssrc_colibri2/core/.ocamlformat-ignore
- src_colibri2/core/datastructure.ml 2 additions, 0 deletionssrc_colibri2/core/datastructure.ml
- src_colibri2/core/datastructure.mli 2 additions, 0 deletionssrc_colibri2/core/datastructure.mli
- src_colibri2/core/demon.ml 40 additions, 8 deletionssrc_colibri2/core/demon.ml
- src_colibri2/core/demon.mli 13 additions, 1 deletionsrc_colibri2/core/demon.mli
- src_colibri2/core/egraph.ml 99 additions, 90 deletionssrc_colibri2/core/egraph.ml
- src_colibri2/core/egraph.mli 6 additions, 3 deletionssrc_colibri2/core/egraph.mli
- src_colibri2/core/events.ml 8 additions, 7 deletionssrc_colibri2/core/events.ml
- src_colibri2/core/events.mli 4 additions, 3 deletionssrc_colibri2/core/events.mli
- src_colibri2/core/ground.mli 1 addition, 1 deletionsrc_colibri2/core/ground.mli
- src_colibri2/core/interp.ml 159 additions, 43 deletionssrc_colibri2/core/interp.ml
- src_colibri2/core/interp.mli 47 additions, 7 deletionssrc_colibri2/core/interp.mli
- src_colibri2/core/structures/nodes.ml 5 additions, 11 deletionssrc_colibri2/core/structures/nodes.ml
- src_colibri2/core/structures/nodes.mli 8 additions, 10 deletionssrc_colibri2/core/structures/nodes.mli
- src_colibri2/solver/scheduler.ml 4 additions, 0 deletionssrc_colibri2/solver/scheduler.ml
Loading
Please register or sign in to comment