Merge branch 'feature/eva/clean-abstract-interp' into 'master'
[Eva] Removes unused code from Abstract_interp See merge request frama-c/frama-c!4379
No related branches found
No related tags found
Showing
- src/kernel_services/abstract_interp/abstract_interp.ml 0 additions, 638 deletionssrc/kernel_services/abstract_interp/abstract_interp.ml
- src/kernel_services/abstract_interp/abstract_interp.mli 0 additions, 24 deletionssrc/kernel_services/abstract_interp/abstract_interp.mli
- src/kernel_services/abstract_interp/origin.ml 61 additions, 3 deletionssrc/kernel_services/abstract_interp/origin.ml
- src/kernel_services/abstract_interp/origin.mli 1 addition, 4 deletionssrc/kernel_services/abstract_interp/origin.mli
Loading
Please register or sign in to comment