Modular definitions

_CoqProject

src/definitions.v

src/fivestage.v

src/modular_definitions.v

src/modular_store_buffer.v

src/utils.v