Merge branch 'stable/synchrone' into 'master'
[Qed] compatible version for Synchrone See merge request frama-c/frama-c!1620
No related branches found
No related tags found
Showing
- headers/header_spec.txt 0 additions, 4 deletionsheaders/header_spec.txt
- src/plugins/qed/.feedback 0 additions, 1 deletionsrc/plugins/qed/.feedback
- src/plugins/qed/engine.ml 1 addition, 0 deletionssrc/plugins/qed/engine.ml
- src/plugins/qed/export.ml 14 additions, 12 deletionssrc/plugins/qed/export.ml
- src/plugins/qed/export_coq.ml 1 addition, 1 deletionsrc/plugins/qed/export_coq.ml
- src/plugins/qed/export_why3.ml 1 addition, 1 deletionsrc/plugins/qed/export_why3.ml
- src/plugins/qed/logic.ml 8 additions, 1 deletionsrc/plugins/qed/logic.ml
- src/plugins/qed/relation.ml 0 additions, 91 deletionssrc/plugins/qed/relation.ml
- src/plugins/qed/relation.mli 0 additions, 49 deletionssrc/plugins/qed/relation.mli
- src/plugins/qed/subst.ml 0 additions, 95 deletionssrc/plugins/qed/subst.ml
- src/plugins/qed/subst.mli 0 additions, 37 deletionssrc/plugins/qed/subst.mli
- src/plugins/qed/term.ml 99 additions, 31 deletionssrc/plugins/qed/term.ml
- src/plugins/wp/Cint.ml 39 additions, 52 deletionssrc/plugins/wp/Cint.ml
- src/plugins/wp/Cint.mli 1 addition, 0 deletionssrc/plugins/wp/Cint.mli
- src/plugins/wp/CodeSemantics.ml 4 additions, 0 deletionssrc/plugins/wp/CodeSemantics.ml
- src/plugins/wp/CodeSemantics.mli 2 additions, 0 deletionssrc/plugins/wp/CodeSemantics.mli
- src/plugins/wp/Conditions.ml 12 additions, 11 deletionssrc/plugins/wp/Conditions.ml
- src/plugins/wp/Conditions.mli 3 additions, 4 deletionssrc/plugins/wp/Conditions.mli
- src/plugins/wp/Cvalues.ml 4 additions, 0 deletionssrc/plugins/wp/Cvalues.ml
- src/plugins/wp/Cvalues.mli 2 additions, 0 deletionssrc/plugins/wp/Cvalues.mli
Loading
Please register or sign in to comment