Merge branch 'feature/journal/retirement' into 'master'
Remove Journal Closes #847 See merge request frama-c/frama-c!3738
Showing
- Makefile 2 additions, 3 deletionsMakefile
- doc/developer/advance.tex 14 additions, 49 deletionsdoc/developer/advance.tex
- doc/developer/changes.tex 9 additions, 4 deletionsdoc/developer/changes.tex
- doc/developer/examples/callstack.ml 6 additions, 6 deletionsdoc/developer/examples/callstack.ml
- doc/developer/hello_world/hello_world.ml 2 additions, 4 deletionsdoc/developer/hello_world/hello_world.ml
- doc/developer/refman.tex 1 addition, 1 deletiondoc/developer/refman.tex
- doc/developer/tutorial.tex 2 additions, 25 deletionsdoc/developer/tutorial.tex
- doc/userman/user-changes.tex 11 additions, 6 deletionsdoc/userman/user-changes.tex
- doc/userman/user-services.tex 3 additions, 53 deletionsdoc/userman/user-services.tex
- doc/userman/user-start.tex 2 additions, 5 deletionsdoc/userman/user-start.tex
- headers/header_spec.txt 0 additions, 4 deletionsheaders/header_spec.txt
- man/frama-c.1 7 additions, 22 deletionsman/frama-c.1
- man/frama-c.1.md 7 additions, 20 deletionsman/frama-c.1.md
- ptests/ptests.ml 1 addition, 1 deletionptests/ptests.ml
- share/Makefile.config.in 1 addition, 1 deletionshare/Makefile.config.in
- src/kernel_internals/typing/rmtmps.ml 1 addition, 1 deletionsrc/kernel_internals/typing/rmtmps.ml
- src/kernel_services/abstract_interp/abstract_interp.ml 0 additions, 12 deletionssrc/kernel_services/abstract_interp/abstract_interp.ml
- src/kernel_services/abstract_interp/base.ml 0 additions, 4 deletionssrc/kernel_services/abstract_interp/base.ml
- src/kernel_services/abstract_interp/int_Base.ml 0 additions, 2 deletionssrc/kernel_services/abstract_interp/int_Base.ml
- src/kernel_services/abstract_interp/int_interval.ml 0 additions, 2 deletionssrc/kernel_services/abstract_interp/int_interval.ml
Loading
Please register or sign in to comment