Merge remote-tracking branch 'origin/master' into feature/bobot/jbuilder
No related branches found
No related tags found
Showing
- doc/developer/Makefile 19 additions, 12 deletionsdoc/developer/Makefile
- doc/developer/advance.tex 67 additions, 99 deletionsdoc/developer/advance.tex
- doc/developer/check_api/.merlin 1 addition, 0 deletionsdoc/developer/check_api/.merlin
- doc/developer/check_api/Makefile 2 additions, 2 deletionsdoc/developer/check_api/Makefile
- doc/developer/check_api/check_and_compare.ml 72 additions, 68 deletionsdoc/developer/check_api/check_and_compare.ml
- doc/developer/check_api/check_code.ml 7 additions, 18 deletionsdoc/developer/check_api/check_code.ml
- doc/developer/check_api/check_index_lexer.mll 11 additions, 1 deletiondoc/developer/check_api/check_index_lexer.mll
- doc/developer/check_api/run.oracle 174 additions, 105 deletionsdoc/developer/check_api/run.oracle
- doc/developer/tutorial.tex 17 additions, 7 deletionsdoc/developer/tutorial.tex
- doc/developer/tutorial/hello/Makefile 3 additions, 1 deletiondoc/developer/tutorial/hello/Makefile
- doc/developer/tutorial/hello/src/hello_test.c 1 addition, 0 deletionsdoc/developer/tutorial/hello/src/hello_test.c
- doc/developer/tutorial/hello/src/hello_test.res.oracle 1 addition, 1 deletiondoc/developer/tutorial/hello/src/hello_test.res.oracle
- doc/developer/tutorial/viewcfg/src/Makefile.split 4 additions, 3 deletionsdoc/developer/tutorial/viewcfg/src/Makefile.split
- doc/release/build.tex 3 additions, 3 deletionsdoc/release/build.tex
- src/init/boot/boot.mli 3 additions, 1 deletionsrc/init/boot/boot.mli
- src/kernel_internals/typing/ghost_accesses.ml 1 addition, 1 deletionsrc/kernel_internals/typing/ghost_accesses.ml
- src/kernel_services/analysis/dataflow2.mli 4 additions, 1 deletionsrc/kernel_services/analysis/dataflow2.mli
- src/kernel_services/ast_data/cil_types.ml 14 additions, 6 deletionssrc/kernel_services/ast_data/cil_types.ml
- src/kernel_services/ast_data/kernel_function.ml 2 additions, 0 deletionssrc/kernel_services/ast_data/kernel_function.ml
- src/kernel_services/ast_data/kernel_function.mli 18 additions, 0 deletionssrc/kernel_services/ast_data/kernel_function.mli
Loading
Please register or sign in to comment