Ralf Treinen pushed to branch upstream at Debian OCaml Maintainers / frama-c
Commits:
-
de2fdfb3
by Ralf Treinen at 2021-01-01T16:56:51+01:00
-
f7ef0a17
by Ralf Treinen at 2021-01-02T12:27:55+01:00
29 changed files:
- Changelog
- INSTALL.md
- Makefile
- Makefile.generating
- README.md
- VERSION
- VERSION_CODENAME
- bin/frama-c-script
- config.h.in
- configure
- configure.in
- doc/code/docgen.ml
- man/frama-c.1
- opam/opam
- ptests/ptests.ml
- share/Makefile.config.in
- share/_frama-c
- share/analysis-scripts/README.md
- + share/analysis-scripts/analysis.mk
- share/analysis-scripts/cmd-dep.sh
- + share/analysis-scripts/epilogue.mk
- − share/analysis-scripts/examples/Makefile
- − share/analysis-scripts/examples/example-multi.mk
- − share/analysis-scripts/examples/example-slevel.mk
- − share/analysis-scripts/examples/example.c
- − share/analysis-scripts/examples/example.mk
- share/analysis-scripts/find_fun.py
- − share/analysis-scripts/frama-c.mk
- + share/analysis-scripts/function_finder.py