[Eva] Moves functions for partitioning from transfer_stmt into partition.
Showing
- src/plugins/value/engine/compute_functions.ml 1 addition, 1 deletionsrc/plugins/value/engine/compute_functions.ml
- src/plugins/value/engine/partition.ml 116 additions, 20 deletionssrc/plugins/value/engine/partition.ml
- src/plugins/value/engine/partition.mli 2 additions, 14 deletionssrc/plugins/value/engine/partition.mli
- src/plugins/value/engine/partitioned_dataflow.ml 21 additions, 16 deletionssrc/plugins/value/engine/partitioned_dataflow.ml
- src/plugins/value/engine/partitioned_dataflow.mli 12 additions, 10 deletionssrc/plugins/value/engine/partitioned_dataflow.mli
- src/plugins/value/engine/state_partitioning.mli 3 additions, 3 deletionssrc/plugins/value/engine/state_partitioning.mli
- src/plugins/value/engine/trace_partitioning.ml 11 additions, 19 deletionssrc/plugins/value/engine/trace_partitioning.ml
- src/plugins/value/engine/transfer_stmt.ml 0 additions, 108 deletionssrc/plugins/value/engine/transfer_stmt.ml
- src/plugins/value/engine/transfer_stmt.mli 0 additions, 6 deletionssrc/plugins/value/engine/transfer_stmt.mli
Loading
Please register or sign in to comment