This directory contains general services that each plug-in may use to interact with the Frama-C kernel or other plug-ins.
| Name | Last commit | Last update |
|---|---|---|
| .. | ||
| README.md | ||
| db.ml | ||
| db.mli | ||
| dynamic.ml | ||
| dynamic.mli | ||
| emitter.ml | ||
| emitter.mli | ||
| journal.ml | ||
| journal.mli | ||
| kernel.ml | ||
| kernel.mli | ||
| log.ml | ||
| log.mli | ||
| plugin.ml | ||
| plugin.mli | ||