This directory contains general services that each plug-in may use to interact with the Frama-C kernel or other plug-ins.
Select Git revision
- Branches 13
- master default protected
- stable/zinc
- 2699-wp-region-plugin-division-by-0-with-empty-region-node
- stable/copper
- stable/nickel
- stable/cobalt
- stable/iron
- stable/manganese
- stable/chromium
- stable/vanadium
- stable/titanium-backport
- stable/titanium
- stable/scandium
- Tags 20
- publi/2025-ecoop-rbmps protected
- 30.0 protected
- 30.0-beta protected
- MIEL-2024-10 protected
- 29.0 protected
- 29.0-beta protected
- 28.1 protected
- 28.0 protected
- MIEL-2023-10 protected
- 28.0-beta protected
- 27.1 protected
- 27.0 protected
- 27.0-beta protected
- 26.1 protected
- 26.0 protected
- 26.0-beta protected
- 25.0-r1 protected
- pre-dune protected
- 25.0 protected
- 25.0-beta protected
Compare
-
-
- Open in your IDE
- Download source code
- Download this directory
David Bühler
authored
f58ab7f0
History
| Name | Last commit | Last update |
|---|---|---|
| .. | ||
| README.md | ||
| db.ml | ||
| db.mli | ||
| dynamic.ml | ||
| dynamic.mli | ||
| emitter.ml | ||
| emitter.mli | ||
| kernel.ml | ||
| kernel.mli | ||
| log.ml | ||
| log.mli | ||
| plugin.ml | ||
| plugin.mli | ||