[Eva] Removes Conditions_table from the deprecated module Db.Value.
Records the truth value of conditions in a hashtbl in iterator.ml.
Showing
- src/kernel_services/plugin_entry_points/db.ml 0 additions, 29 deletionssrc/kernel_services/plugin_entry_points/db.ml
- src/kernel_services/plugin_entry_points/db.mli 0 additions, 7 deletionssrc/kernel_services/plugin_entry_points/db.mli
- src/plugins/eva/engine/iterator.ml 35 additions, 36 deletionssrc/plugins/eva/engine/iterator.ml
- src/plugins/eva/engine/iterator.mli 5 additions, 0 deletionssrc/plugins/eva/engine/iterator.mli
- src/plugins/eva/utils/results.ml 1 addition, 1 deletionsrc/plugins/eva/utils/results.ml
Loading
Please register or sign in to comment