Merge branch...
Merge branch 'feature/martin/doc/1310-document-properly-the-behavior-of-the-default-spec-generator' into 'master' Resolve "Document properly the behavior of the default spec generator" Closes #1310 See merge request frama-c/frama-c!4339
Showing
- doc/developer/Makefile 3 additions, 1 deletiondoc/developer/Makefile
- doc/developer/advance.tex 144 additions, 0 deletionsdoc/developer/advance.tex
- doc/developer/developer.tex 1 addition, 0 deletionsdoc/developer/developer.tex
- doc/developer/examples/populate_spec/Example.ml 3 additions, 0 deletionsdoc/developer/examples/populate_spec/Example.ml
- doc/developer/examples/populate_spec/dune 12 additions, 0 deletionsdoc/developer/examples/populate_spec/dune
- doc/developer/examples/populate_spec/dune-project 5 additions, 0 deletionsdoc/developer/examples/populate_spec/dune-project
- doc/developer/examples/populate_spec/populate.ml 75 additions, 0 deletionsdoc/developer/examples/populate_spec/populate.ml
- doc/developer/examples/populate_spec/tests/example/oracle/populate.res.oracle 37 additions, 0 deletions...es/populate_spec/tests/example/oracle/populate.res.oracle
- doc/developer/examples/populate_spec/tests/example/populate.c 16 additions, 0 deletions...developer/examples/populate_spec/tests/example/populate.c
- doc/developer/examples/populate_spec/tests/ptests_config 1 addition, 0 deletionsdoc/developer/examples/populate_spec/tests/ptests_config
- doc/developer/examples/populate_spec/tests/test_config 1 addition, 0 deletionsdoc/developer/examples/populate_spec/tests/test_config
- doc/userman/user-sources.tex 124 additions, 13 deletionsdoc/userman/user-sources.tex
- doc/userman/userman.tex 2 additions, 0 deletionsdoc/userman/userman.tex
- src/kernel_internals/typing/populate_spec.ml 2 additions, 2 deletionssrc/kernel_internals/typing/populate_spec.ml
Loading
Please register or sign in to comment