[wp] Remove native:coq
Showing
- headers/header_spec.txt 0 additions, 8 deletionsheaders/header_spec.txt
- opam/opam 0 additions, 5 deletionsopam/opam
- share/autocomplete_frama-c 1 addition, 1 deletionshare/autocomplete_frama-c
- src/plugins/qed/Makefile 1 addition, 2 deletionssrc/plugins/qed/Makefile
- src/plugins/qed/export_coq.ml 0 additions, 378 deletionssrc/plugins/qed/export_coq.ml
- src/plugins/qed/export_coq.mli 0 additions, 52 deletionssrc/plugins/qed/export_coq.mli
- src/plugins/wp/Cmath.ml 2 additions, 9 deletionssrc/plugins/wp/Cmath.ml
- src/plugins/wp/GuiList.ml 0 additions, 3 deletionssrc/plugins/wp/GuiList.ml
- src/plugins/wp/GuiNavigator.ml 0 additions, 8 deletionssrc/plugins/wp/GuiNavigator.ml
- src/plugins/wp/GuiProver.ml 1 addition, 1 deletionsrc/plugins/wp/GuiProver.ml
- src/plugins/wp/Lang.ml 7 additions, 17 deletionssrc/plugins/wp/Lang.ml
- src/plugins/wp/Lang.mli 3 additions, 6 deletionssrc/plugins/wp/Lang.mli
- src/plugins/wp/LogicBuiltins.ml 1 addition, 1 deletionsrc/plugins/wp/LogicBuiltins.ml
- src/plugins/wp/Makefile.in 4 additions, 24 deletionssrc/plugins/wp/Makefile.in
- src/plugins/wp/Plang.ml 1 addition, 1 deletionsrc/plugins/wp/Plang.ml
- src/plugins/wp/ProverCoq.ml 0 additions, 671 deletionssrc/plugins/wp/ProverCoq.ml
- src/plugins/wp/ProverCoq.mli 0 additions, 30 deletionssrc/plugins/wp/ProverCoq.mli
- src/plugins/wp/ProverScript.ml 3 additions, 4 deletionssrc/plugins/wp/ProverScript.ml
- src/plugins/wp/ProverTask.ml 0 additions, 1 deletionsrc/plugins/wp/ProverTask.ml
- src/plugins/wp/ProverWhy3.ml 3 additions, 3 deletionssrc/plugins/wp/ProverWhy3.ml
Loading
Please register or sign in to comment