[wp] introduce lemma kind
Showing
- src/plugins/wp/Cstring.ml 1 addition, 1 deletionsrc/plugins/wp/Cstring.ml
- src/plugins/wp/Definitions.ml 1 addition, 1 deletionsrc/plugins/wp/Definitions.ml
- src/plugins/wp/Definitions.mli 1 addition, 1 deletionsrc/plugins/wp/Definitions.mli
- src/plugins/wp/LogicCompiler.ml 6 additions, 6 deletionssrc/plugins/wp/LogicCompiler.ml
- src/plugins/wp/LogicUsage.ml 33 additions, 26 deletionssrc/plugins/wp/LogicUsage.ml
- src/plugins/wp/LogicUsage.mli 3 additions, 1 deletionsrc/plugins/wp/LogicUsage.mli
- src/plugins/wp/MemLoader.ml 4 additions, 4 deletionssrc/plugins/wp/MemLoader.ml
- src/plugins/wp/MemRegion.ml 3 additions, 3 deletionssrc/plugins/wp/MemRegion.ml
- src/plugins/wp/MemTyped.ml 6 additions, 6 deletionssrc/plugins/wp/MemTyped.ml
- src/plugins/wp/ProverWhy3.ml 1 addition, 1 deletionsrc/plugins/wp/ProverWhy3.ml
- src/plugins/wp/cfgWP.ml 1 addition, 1 deletionsrc/plugins/wp/cfgWP.ml
Loading
Please register or sign in to comment