Restructure the interface of core
Showing
- src_colibri2/bin/main.ml 1 addition, 1 deletionsrc_colibri2/bin/main.ml
- src_colibri2/core/.ocamlformat-ignore 0 additions, 1 deletionsrc_colibri2/core/.ocamlformat-ignore
- src_colibri2/core/colibri2_core.ml 149 additions, 145 deletionssrc_colibri2/core/colibri2_core.ml
- src_colibri2/core/colibri2_core.mli 1615 additions, 0 deletionssrc_colibri2/core/colibri2_core.mli
- src_colibri2/core/datastructure.ml 0 additions, 1 deletionsrc_colibri2/core/datastructure.ml
- src_colibri2/core/datastructure.mli 0 additions, 1 deletionsrc_colibri2/core/datastructure.mli
- src_colibri2/core/dune 7 additions, 4 deletionssrc_colibri2/core/dune
- src_colibri2/core/ground.ml 50 additions, 18 deletionssrc_colibri2/core/ground.ml
- src_colibri2/core/ground.mli 13 additions, 10 deletionssrc_colibri2/core/ground.mli
- src_colibri2/core/structures/dune 0 additions, 13 deletionssrc_colibri2/core/structures/dune
- src_colibri2/core/structures/expr.ml 10 additions, 3 deletionssrc_colibri2/core/structures/expr.ml
- src_colibri2/popop_lib/map_intf.ml 1 addition, 1 deletionsrc_colibri2/popop_lib/map_intf.ml
- src_colibri2/solver/dune 1 addition, 1 deletionsrc_colibri2/solver/dune
- src_colibri2/solver/scheduler.ml 38 additions, 37 deletionssrc_colibri2/solver/scheduler.ml
- src_colibri2/tests/tests_lib.ml 4 additions, 4 deletionssrc_colibri2/tests/tests_lib.ml
- src_colibri2/theories/ADT/adt.ml 12 additions, 12 deletionssrc_colibri2/theories/ADT/adt.ml
- src_colibri2/theories/ADT/dune 1 addition, 1 deletionsrc_colibri2/theories/ADT/dune
- src_colibri2/theories/FP/dune 0 additions, 1 deletionsrc_colibri2/theories/FP/dune
- src_colibri2/theories/FP/float32.ml 1 addition, 1 deletionsrc_colibri2/theories/FP/float32.ml
- src_colibri2/theories/FP/float64.ml 1 addition, 1 deletionsrc_colibri2/theories/FP/float64.ml
Loading
Please register or sign in to comment