Merge branch 'master' into feature/wp/fix-gui-provers
Showing
- .Makefile.lint 0 additions, 3 deletions.Makefile.lint
- .gitignore 4 additions, 3 deletions.gitignore
- ALL_VERSIONS 1 addition, 0 deletionsALL_VERSIONS
- Changelog 1 addition, 0 deletionsChangelog
- INSTALL.md 41 additions, 31 deletionsINSTALL.md
- Makefile 45 additions, 59 deletionsMakefile
- VERSION 1 addition, 1 deletionVERSION
- bin/rebuild.sh 1 addition, 1 deletionbin/rebuild.sh
- doc/release/website.tex 27 additions, 6 deletionsdoc/release/website.tex
- headers/header_spec.txt 23 additions, 2 deletionsheaders/header_spec.txt
- nix/default.nix 1 addition, 1 deletionnix/default.nix
- opam/opam 7 additions, 14 deletionsopam/opam
- ptests/ptests.ml 2 additions, 2 deletionsptests/ptests.ml
- share/libc/stdlib.h 7 additions, 3 deletionsshare/libc/stdlib.h
- src/kernel_internals/typing/cabs2cil.ml 26 additions, 26 deletionssrc/kernel_internals/typing/cabs2cil.ml
- src/kernel_services/abstract_interp/bottom.ml 10 additions, 0 deletionssrc/kernel_services/abstract_interp/bottom.ml
- src/kernel_services/abstract_interp/bottom.mli 2 additions, 0 deletionssrc/kernel_services/abstract_interp/bottom.mli
- src/kernel_services/abstract_interp/fc_float.ml 1 addition, 1 deletionsrc/kernel_services/abstract_interp/fc_float.ml
- src/kernel_services/ast_data/globals.ml 10 additions, 10 deletionssrc/kernel_services/ast_data/globals.ml
- src/kernel_services/ast_printing/cil_printer.ml 93 additions, 93 deletionssrc/kernel_services/ast_printing/cil_printer.ml
Loading
Please register or sign in to comment