Merge remote-tracking branch 'origin/stable/potassium' into feature/patrick/from-potassium
Showing
- Makefile 12 additions, 4 deletionsMakefile
- configure.in 12 additions, 2 deletionsconfigure.in
- opam/opam 1 addition, 1 deletionopam/opam
- share/Makefile.config.in 1 addition, 0 deletionsshare/Makefile.config.in
- src/kernel_services/ast_printing/cil_printer.ml 16 additions, 15 deletionssrc/kernel_services/ast_printing/cil_printer.ml
- src/kernel_services/ast_queries/cil.ml 24 additions, 5 deletionssrc/kernel_services/ast_queries/cil.ml
- src/kernel_services/ast_queries/cil.mli 17 additions, 0 deletionssrc/kernel_services/ast_queries/cil.mli
- src/kernel_services/ast_queries/logic_typing.ml 64 additions, 75 deletionssrc/kernel_services/ast_queries/logic_typing.ml
- src/kernel_services/ast_queries/logic_typing.mli 8 additions, 2 deletionssrc/kernel_services/ast_queries/logic_typing.mli
- src/kernel_services/ast_queries/logic_utils.ml 1 addition, 1 deletionsrc/kernel_services/ast_queries/logic_utils.ml
- src/kernel_services/plugin_entry_points/db.ml 1 addition, 0 deletionssrc/kernel_services/plugin_entry_points/db.ml
- src/kernel_services/plugin_entry_points/db.mli 1 addition, 0 deletionssrc/kernel_services/plugin_entry_points/db.mli
- src/plugins/rte/register.ml 1 addition, 0 deletionssrc/plugins/rte/register.ml
- src/plugins/rte/visit.ml 2 additions, 1 deletionsrc/plugins/rte/visit.ml
- src/plugins/value/legacy/eval_terms.ml 27 additions, 15 deletionssrc/plugins/value/legacy/eval_terms.ml
- src/plugins/wp/Changelog 2 additions, 0 deletionssrc/plugins/wp/Changelog
- src/plugins/wp/Cint.ml 26 additions, 16 deletionssrc/plugins/wp/Cint.ml
- src/plugins/wp/Cmath.ml 3 additions, 0 deletionssrc/plugins/wp/Cmath.ml
- src/plugins/wp/Cmath.mli 3 additions, 0 deletionssrc/plugins/wp/Cmath.mli
- src/plugins/wp/LogicSemantics.ml 6 additions, 2 deletionssrc/plugins/wp/LogicSemantics.ml
Loading
Please register or sign in to comment