frama-c-codex index

Library frama-c-codex.core

The entry point of this library is the module: Core.