Merge remote-tracking branch 'origin/stable/manganese'
No related branches found
No related tags found
Showing
- Makefile 17 additions, 8 deletionsMakefile
- 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 73 additions, 69 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 2 additions, 1 deletiondoc/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
- share/Makefile.dynamic_config.external 0 additions, 2 deletionsshare/Makefile.dynamic_config.external
- share/Makefile.dynamic_config.internal 1 addition, 1 deletionshare/Makefile.dynamic_config.internal
- share/Makefile.plugin.template 5 additions, 0 deletionsshare/Makefile.plugin.template
- src/kernel_internals/runtime/boot.mli 3 additions, 1 deletionsrc/kernel_internals/runtime/boot.mli
- src/kernel_services/analysis/dataflow2.mli 4 additions, 1 deletionsrc/kernel_services/analysis/dataflow2.mli
Loading
Please register or sign in to comment