[wp] Warning: effect is now fallback
- Compatibility OCaml 5.3
Showing
- src/plugins/wp/CodeSemantics.ml 3 additions, 3 deletionssrc/plugins/wp/CodeSemantics.ml
- src/plugins/wp/Cvalues.ml 1 addition, 1 deletionsrc/plugins/wp/Cvalues.ml
- src/plugins/wp/LogicSemantics.ml 3 additions, 3 deletionssrc/plugins/wp/LogicSemantics.ml
- src/plugins/wp/MemBytes.ml 1 addition, 1 deletionsrc/plugins/wp/MemBytes.ml
- src/plugins/wp/MemTyped.ml 2 additions, 2 deletionssrc/plugins/wp/MemTyped.ml
- src/plugins/wp/Pcond.ml 1 addition, 1 deletionsrc/plugins/wp/Pcond.ml
- src/plugins/wp/Warning.ml 13 additions, 13 deletionssrc/plugins/wp/Warning.ml
- src/plugins/wp/Warning.mli 10 additions, 8 deletionssrc/plugins/wp/Warning.mli
- src/plugins/wp/cfgWP.ml 22 additions, 22 deletionssrc/plugins/wp/cfgWP.ml
Loading
Please register or sign in to comment