This directory contains files which mainly perform side-effects at Frama-C initialization time.
| Name | Last commit | Last update |
|---|---|---|
| .. | ||
| README.md | ||
| dump_config.ml | ||
| dump_config.mli | ||
| dune | ||
| fc_config.ml.in | ||
| fc_config.mli | ||
| machdep.ml | ||
| machdep.mli | ||
| messages.ml | ||
| messages.mli | ||
| special_hooks.ml | ||
| special_hooks.mli | ||