[wp] change sigma API
Showing
- src/plugins/qed/logic.ml 33 additions, 4 deletionssrc/plugins/qed/logic.ml
- src/plugins/qed/term.ml 118 additions, 23 deletionssrc/plugins/qed/term.ml
- src/plugins/wp/CfgCompiler.ml 18 additions, 21 deletionssrc/plugins/wp/CfgCompiler.ml
- src/plugins/wp/Cint.ml 4 additions, 4 deletionssrc/plugins/wp/Cint.ml
- src/plugins/wp/Conditions.ml 1 addition, 3 deletionssrc/plugins/wp/Conditions.ml
- src/plugins/wp/Lang.ml 33 additions, 58 deletionssrc/plugins/wp/Lang.ml
- src/plugins/wp/Lang.mli 18 additions, 29 deletionssrc/plugins/wp/Lang.mli
- src/plugins/wp/Letify.ml 7 additions, 8 deletionssrc/plugins/wp/Letify.ml
- src/plugins/wp/TacUnfold.ml 4 additions, 2 deletionssrc/plugins/wp/TacUnfold.ml
- src/plugins/wp/cfgWP.ml 3 additions, 3 deletionssrc/plugins/wp/cfgWP.ml
- src/plugins/wp/wpo.ml 14 additions, 9 deletionssrc/plugins/wp/wpo.ml
Loading
Please register or sign in to comment