_CoqProject

-arg "-w -parsing -exclude-dir _opam"
-R . RobustImp

Common/Definitions.v
Common/Values.v
Common/Maps.v
Common/Util.v
Common/Memory.v
Common/Reachability.v
Common/Linking.v
Common/CompCertExtensions.v
Common/Either.v
Common/CoqMaps.v
Common/Blame.v
Common/Traces.v
Common/TracesInform.v
Common/RenamingOption.v

CompCert/Coqlib.v
CompCert/Behaviors.v
CompCert/Smallstep.v
CompCert/Events.v

Lib/Tactics.v
Lib/Monads.v
Lib/Extra.v

Intermediate/Machine.v
Intermediate/GlobalEnv.v
Intermediate/CS.v
Intermediate/CSInvariants.v
Intermediate/RecompositionRelCommon.v
Intermediate/RecompositionRelOptionSim.v
Intermediate/RecompositionRelLockstepSim.v
Intermediate/RecompositionRelStrengthening.v
Intermediate/RecompositionRel.v

Source/Language.v
Source/GlobalEnv.v
Source/CS.v
Source/Definability.v
Source/DefinabilityEnd.v
Source/NoLeak.v
Source/CSInvariants.v

S2I/Definitions.v
S2I/CompMonad.v
S2I/Compiler.v

RSC.v