-
- Downloads
[wp] MemVar: \initialized
Showing
- src/plugins/wp/Cvalues.ml 4 additions, 2 deletionssrc/plugins/wp/Cvalues.ml
- src/plugins/wp/Cvalues.mli 1 addition, 0 deletionssrc/plugins/wp/Cvalues.mli
- src/plugins/wp/Definitions.ml 10 additions, 3 deletionssrc/plugins/wp/Definitions.ml
- src/plugins/wp/Definitions.mli 1 addition, 0 deletionssrc/plugins/wp/Definitions.mli
- src/plugins/wp/Footprint.ml 1 addition, 1 deletionsrc/plugins/wp/Footprint.ml
- src/plugins/wp/Lang.ml 53 additions, 19 deletionssrc/plugins/wp/Lang.ml
- src/plugins/wp/Lang.mli 11 additions, 2 deletionssrc/plugins/wp/Lang.mli
- src/plugins/wp/LogicSemantics.ml 12 additions, 4 deletionssrc/plugins/wp/LogicSemantics.ml
- src/plugins/wp/MemEmpty.ml 1 addition, 0 deletionssrc/plugins/wp/MemEmpty.ml
- src/plugins/wp/MemLoader.ml 2 additions, 1 deletionsrc/plugins/wp/MemLoader.ml
- src/plugins/wp/MemRegion.ml 1 addition, 0 deletionssrc/plugins/wp/MemRegion.ml
- src/plugins/wp/MemTyped.ml 11 additions, 0 deletionssrc/plugins/wp/MemTyped.ml
- src/plugins/wp/MemVar.ml 200 additions, 37 deletionssrc/plugins/wp/MemVar.ml
- src/plugins/wp/MemZeroAlias.ml 1 addition, 0 deletionssrc/plugins/wp/MemZeroAlias.ml
- src/plugins/wp/ProverCoq.ml 6 additions, 0 deletionssrc/plugins/wp/ProverCoq.ml
- src/plugins/wp/ProverErgo.ml 6 additions, 0 deletionssrc/plugins/wp/ProverErgo.ml
- src/plugins/wp/ProverWhy3.ml 50 additions, 4 deletionssrc/plugins/wp/ProverWhy3.ml
- src/plugins/wp/Sigs.ml 6 additions, 0 deletionssrc/plugins/wp/Sigs.ml
- src/plugins/wp/TacLemma.ml 1 addition, 0 deletionssrc/plugins/wp/TacLemma.ml
Loading
Please register or sign in to comment