[wp] move proof management into WpPropId
Showing
- src/plugins/wp/Generator.ml 2 additions, 2 deletionssrc/plugins/wp/Generator.ml
- src/plugins/wp/wpAnnot.ml 2 additions, 80 deletionssrc/plugins/wp/wpAnnot.ml
- src/plugins/wp/wpAnnot.mli 0 additions, 28 deletionssrc/plugins/wp/wpAnnot.mli
- src/plugins/wp/wpPropId.ml 84 additions, 0 deletionssrc/plugins/wp/wpPropId.ml
- src/plugins/wp/wpPropId.mli 30 additions, 0 deletionssrc/plugins/wp/wpPropId.mli
- src/plugins/wp/wpo.ml 12 additions, 12 deletionssrc/plugins/wp/wpo.ml
Loading
Please register or sign in to comment