Module Core.Codex_register

This file contains run, the entry point to the Frama-C/Codex plugin.

It also contains the construction of the main abstract domain (and its variations).