Stéphane Glondu pushed to branch upstream at Debian OCaml Maintainers / coccinelle
Commits:
-
9361f36c
by Stephane Glondu at 2024-07-13T08:10:17+02:00
30 changed files:
- .gitignore
- .gitlab-ci.yml
- Makefile
- Makefile.config.in
- autogen
- ci/Dockerfile.build
- ci/distributions/common/Dockerfile
- ci/distributions/debian/Dockerfile
- + ci/trace-cmd/backend.tf
- + ci/trace-cmd/check-template-changed.py
- + ci/trace-cmd/cloud-init.sh.tftpl
- + ci/trace-cmd/create-template.py
- + ci/trace-cmd/init_cloudmonkey_config.sh
- + ci/trace-cmd/main.tf
- + ci/trace-cmd/pipeline.yml
- + ci/trace-cmd/prepare-template.sh
- cocci.ml
- commons/common.ml
- commons/common.mli
- configure.ac
- ctl/ctl_engine.ml
- docs/manual/Makefile
- docs/manual/cocci_syntax.tex
- docs/manual/find-xxdate
- docs/manual/spatch_options.tex
- editors/emacs/cocci.el
- engine/asttoctl2.ml
- engine/asttomember.ml
- engine/c_vs_c.ml
- engine/check_exhaustive_pattern.ml