Merge branch 'feature/wp/remove-legacy-engine' into 'master'
Remove legacy WP engine See merge request frama-c/frama-c!3438
No related branches found
No related tags found
Showing
- headers/header_spec.txt 0 additions, 10 deletionsheaders/header_spec.txt
- src/kernel_services/ast_data/globals.ml 7 additions, 0 deletionssrc/kernel_services/ast_data/globals.ml
- src/kernel_services/ast_data/globals.mli 8 additions, 0 deletionssrc/kernel_services/ast_data/globals.mli
- src/kernel_services/ast_queries/cil.ml 4 additions, 0 deletionssrc/kernel_services/ast_queries/cil.ml
- src/kernel_services/ast_queries/cil.mli 8 additions, 0 deletionssrc/kernel_services/ast_queries/cil.mli
- src/plugins/wp/Factory.ml 2 additions, 2 deletionssrc/plugins/wp/Factory.ml
- src/plugins/wp/Generator.ml 1 addition, 15 deletionssrc/plugins/wp/Generator.ml
- src/plugins/wp/Generator.mli 0 additions, 1 deletionsrc/plugins/wp/Generator.mli
- src/plugins/wp/GuiNavigator.ml 1 addition, 1 deletionsrc/plugins/wp/GuiNavigator.ml
- src/plugins/wp/Makefile.in 4 additions, 4 deletionssrc/plugins/wp/Makefile.in
- src/plugins/wp/MemVar.ml 2 additions, 1 deletionsrc/plugins/wp/MemVar.ml
- src/plugins/wp/StmtSemantics.ml 5 additions, 4 deletionssrc/plugins/wp/StmtSemantics.ml
- src/plugins/wp/calculus.ml 0 additions, 683 deletionssrc/plugins/wp/calculus.ml
- src/plugins/wp/calculus.mli 0 additions, 33 deletionssrc/plugins/wp/calculus.mli
- src/plugins/wp/cfgAnnot.ml 12 additions, 1 deletionsrc/plugins/wp/cfgAnnot.ml
- src/plugins/wp/cfgAnnot.mli 4 additions, 0 deletionssrc/plugins/wp/cfgAnnot.mli
- src/plugins/wp/cfgCalculus.ml 1 addition, 1 deletionsrc/plugins/wp/cfgCalculus.ml
- src/plugins/wp/cfgInfos.ml 24 additions, 4 deletionssrc/plugins/wp/cfgInfos.ml
- src/plugins/wp/cfgInfos.mli 2 additions, 0 deletionssrc/plugins/wp/cfgInfos.mli
- src/plugins/wp/cfgInit.ml 5 additions, 5 deletionssrc/plugins/wp/cfgInit.ml
Loading
Please register or sign in to comment