Merge branch 'fix/eva/offsetmap-parameters' into 'master'
[Eva] Offsetmap: removes some feedback messages about approximations. See merge request frama-c/frama-c!4777
No related branches found
No related tags found
Showing
- doc/eva/main.tex 3 additions, 3 deletionsdoc/eva/main.tex
- src/kernel_services/abstract_interp/cvalue.ml 5 additions, 1 deletionsrc/kernel_services/abstract_interp/cvalue.ml
- src/kernel_services/abstract_interp/lmap_bitwise.ml 0 additions, 4 deletionssrc/kernel_services/abstract_interp/lmap_bitwise.ml
- src/kernel_services/abstract_interp/lmap_bitwise.mli 0 additions, 2 deletionssrc/kernel_services/abstract_interp/lmap_bitwise.mli
- src/kernel_services/abstract_interp/offsetmap.ml 38 additions, 28 deletionssrc/kernel_services/abstract_interp/offsetmap.ml
- src/kernel_services/abstract_interp/offsetmap.mli 9 additions, 4 deletionssrc/kernel_services/abstract_interp/offsetmap.mli
- src/kernel_services/abstract_interp/offsetmap_bitwise_sig.ml 0 additions, 5 deletionssrc/kernel_services/abstract_interp/offsetmap_bitwise_sig.ml
- src/kernel_services/abstract_interp/offsetmap_sig.ml 0 additions, 4 deletionssrc/kernel_services/abstract_interp/offsetmap_sig.ml
- src/plugins/from/from_memory.ml 0 additions, 2 deletionssrc/plugins/from/from_memory.ml
- tests/builtins/oracle/imprecise.res.oracle 0 additions, 8 deletionstests/builtins/oracle/imprecise.res.oracle
- tests/builtins/oracle/linked_list.1.res.oracle 0 additions, 8 deletionstests/builtins/oracle/linked_list.1.res.oracle
- tests/builtins/oracle/memcpy.0.res.oracle 0 additions, 2 deletionstests/builtins/oracle/memcpy.0.res.oracle
- tests/builtins/oracle_equality/imprecise.res.oracle 0 additions, 11 deletionstests/builtins/oracle_equality/imprecise.res.oracle
- tests/builtins/oracle_equality/linked_list.1.res.oracle 0 additions, 24 deletionstests/builtins/oracle_equality/linked_list.1.res.oracle
- tests/builtins/oracle_gauges/linked_list.1.res.oracle 1 addition, 1 deletiontests/builtins/oracle_gauges/linked_list.1.res.oracle
- tests/builtins/oracle_gauges/memcpy.0.res.oracle 2 additions, 2 deletionstests/builtins/oracle_gauges/memcpy.0.res.oracle
- tests/builtins/oracle_octagon/imprecise.res.oracle 0 additions, 11 deletionstests/builtins/oracle_octagon/imprecise.res.oracle
- tests/builtins/oracle_octagon/linked_list.1.res.oracle 0 additions, 18 deletionstests/builtins/oracle_octagon/linked_list.1.res.oracle
- tests/builtins/oracle_symblocs/imprecise.res.oracle 0 additions, 11 deletionstests/builtins/oracle_symblocs/imprecise.res.oracle
- tests/builtins/oracle_symblocs/linked_list.1.res.oracle 0 additions, 18 deletionstests/builtins/oracle_symblocs/linked_list.1.res.oracle
Loading
Please register or sign in to comment