Merge branch 'master' into fix/wp/smoke-count
# Conflicts: # src/plugins/wp/tests/wp_typed/oracle_qualif/user_init.0.res.oracle
No related branches found
No related tags found
Showing
- devel_tools/docker/frama-c.20.0/Dockerfile 1 addition, 0 deletionsdevel_tools/docker/frama-c.20.0/Dockerfile
- devel_tools/docker/frama-c.21.0/Dockerfile 1 addition, 3 deletionsdevel_tools/docker/frama-c.21.0/Dockerfile
- devel_tools/docker/frama-c.21.1/Dockerfile 1 addition, 3 deletionsdevel_tools/docker/frama-c.21.1/Dockerfile
- devel_tools/docker/frama-c.custom/.gitignore 2 additions, 0 deletionsdevel_tools/docker/frama-c.custom/.gitignore
- devel_tools/docker/frama-c.custom/Dockerfile 65 additions, 0 deletionsdevel_tools/docker/frama-c.custom/Dockerfile
- devel_tools/docker/frama-c.custom/README.md 46 additions, 0 deletionsdevel_tools/docker/frama-c.custom/README.md
- devel_tools/docker/frama-c.dev/Dockerfile 1 addition, 3 deletionsdevel_tools/docker/frama-c.dev/Dockerfile
- ptests/ptests.ml 1 addition, 1 deletionptests/ptests.ml
- share/libc/time.h 8 additions, 0 deletionsshare/libc/time.h
- src/kernel_internals/typing/cabs2cil.ml 14 additions, 11 deletionssrc/kernel_internals/typing/cabs2cil.ml
- src/kernel_services/ast_printing/printer.ml 12 additions, 3 deletionssrc/kernel_services/ast_printing/printer.ml
- src/plugins/e-acsl/Makefile.in 1 addition, 1 deletionsrc/plugins/e-acsl/Makefile.in
- src/plugins/e-acsl/share/e-acsl/observation_model/segment_model/e_acsl_segment_tracking.h 2 additions, 0 deletions...observation_model/segment_model/e_acsl_segment_tracking.h
- src/plugins/wp/Cache.ml 5 additions, 0 deletionssrc/plugins/wp/Cache.ml
- src/plugins/wp/Cache.mli 2 additions, 0 deletionssrc/plugins/wp/Cache.mli
- src/plugins/wp/Changelog 3 additions, 0 deletionssrc/plugins/wp/Changelog
- src/plugins/wp/Factory.ml 1 addition, 7 deletionssrc/plugins/wp/Factory.ml
- src/plugins/wp/GuiSequent.ml 1 addition, 1 deletionsrc/plugins/wp/GuiSequent.ml
- src/plugins/wp/LogicCompiler.ml 4 additions, 0 deletionssrc/plugins/wp/LogicCompiler.ml
- src/plugins/wp/LogicCompiler.mli 1 addition, 0 deletionssrc/plugins/wp/LogicCompiler.mli
Loading
Please register or sign in to comment