-
- Downloads
Merge branch 'feature/kernel/interpreted-automata-backward-dataflow' into 'master'
[Interpreted_automata] Implements backward analysis and improve analysis output See merge request frama-c/frama-c!3245
No related branches found
No related tags found
Showing
- src/kernel_services/analysis/interpreted_automata.ml 192 additions, 50 deletionssrc/kernel_services/analysis/interpreted_automata.ml
- src/kernel_services/analysis/interpreted_automata.mli 71 additions, 9 deletionssrc/kernel_services/analysis/interpreted_automata.mli
- src/libraries/utils/wto.ml 5 additions, 1 deletionsrc/libraries/utils/wto.ml
- src/libraries/utils/wto.mli 4 additions, 0 deletionssrc/libraries/utils/wto.mli
- tests/misc/interpreted_automata_dataflow.i 3 additions, 1 deletiontests/misc/interpreted_automata_dataflow.i
- tests/misc/interpreted_automata_dataflow_backward.ml 74 additions, 0 deletionstests/misc/interpreted_automata_dataflow_backward.ml
- tests/misc/interpreted_automata_dataflow_forward.ml 19 additions, 10 deletionstests/misc/interpreted_automata_dataflow_forward.ml
- tests/misc/oracle/interpreted_automata_dataflow.res.oracle 3 additions, 3 deletionstests/misc/oracle/interpreted_automata_dataflow.res.oracle
- tests/misc/oracle/interpreted_automata_dataflow_backward.dot 80 additions, 0 deletionstests/misc/oracle/interpreted_automata_dataflow_backward.dot
- tests/misc/oracle/interpreted_automata_dataflow_forward.dot 80 additions, 0 deletionstests/misc/oracle/interpreted_automata_dataflow_forward.dot
Loading
Please register or sign in to comment