compilationorder.txt

coqc src/Basics.v -R src CoreErlang
coqc src/Syntax.v -R src CoreErlang
coqc src/Induction.v -R src CoreErlang
coqc src/Equalities.v -R src CoreErlang
coqc src/SideEffects.v -R src CoreErlang
coqc src/Scoping.v -R src CoreErlang
coqc src/Auxiliaries.v -R src CoreErlang
coqc src/Maps.v -R src CoreErlang
coqc src/Manipulation.v -R src CoreErlang
coqc src/ScopingLemmas.v -R src CoreErlang
coqc src/Matching.v -R src CoreErlang
coqc src/FrameStack/Frames.v -R src CoreErlang
coqc src/FrameStack/SubstSemantics.v -R src CoreErlang
coqc src/FrameStack/Tests/Tests.v -R src CoreErlang
coqc src/FrameStack/Tests/ExceptionTests.v -R src CoreErlang
coqc src/FrameStack/Termination.v -R src CoreErlang
coqc src/FrameStack/SubstSemanticsLemmas.v -R src CoreErlang
coqc src/FrameStack/LogRel.v -R src CoreErlang
coqc src/FrameStack/Compatibility.v -R src CoreErlang
coqc src/FrameStack/CIU.v -R src CoreErlang
coqc src/FrameStack/CTX.v -R src CoreErlang


coqc src/BigStep/Syntax.v -R src CoreErlang
coqc src/BigStep/Induction.v -R src CoreErlang
coqc src/BigStep/Equalities.v -R src CoreErlang
coqc src/BigStep/Helpers.v -R src CoreErlang
coqc src/BigStep/Environment.v -R src CoreErlang
coqc src/BigStep/SideEffects.v -R src CoreErlang
coqc src/BigStep/Auxiliaries.v -R src CoreErlang
coqc src/BigStep/ModuleAuxiliaries.v -R src CoreErlang
coqc src/BigStep/FunctionalBigStep.v -R src CoreErlang
coqc src/BigStep/BigStep.v -R src CoreErlang
coqc src/BigStep/Coverage.v -R src CoreErlang
coqc src/BigStep/Tactics.v -R src CoreErlang
coqc src/BigStep/DeterminismHelpers.v -R src CoreErlang
coqc src/BigStep/SemanticsProofs.v -R src CoreErlang
coqc src/BigStep/SemanticsEquivalence.v -R src CoreErlang
coqc src/BigStep/FullEquivalence.v -R src CoreErlang
coqc src/BigStep/WeakEquivalence.v -R src CoreErlang
coqc src/BigStep/WeakEquivalenceExamples.v -R src CoreErlang
coqc src/BigStep/EquivalenceProofs.v -R src CoreErlang

coqc src/BigStep/Tests/AutomatedTests.v -R src CoreErlang
coqc src/BigStep/Tests/AutomatedSideEffectTests.v -R src CoreErlang
coqc src/BigStep/Tests/AutomatedExceptionTests.v -R src CoreErlang
coqc src/BigStep/Tests/AutomatedSideEffectExceptionTests.v -R src CoreErlang