_CoqProject

INSTALLDEFAULTROOT = .

-R core core
-R transformations transformations

core/utils/CpdtTactics.v
core/utils/NotationUtils.v
core/utils/ListUtils.v
core/utils/ArithUtils.v
core/utils/BoolUtils.v
core/utils/ConcatUtils.v
core/utils/DatatypeUtils.v
core/utils/PrintUtils.v
core/utils/PropUtils.v
core/utils/StringUtils.v
core/utils/TupleUtils.v
core/utils/OptionUtils.v
core/utils/Utils.v

core/Expressions.v
core/Model.v
core/EqDec.v
core/Metamodel.v
core/TransformationConfiguration.v
core/TraceLink.v
core/Syntax.v
core/Semantics.v
core/Engine.v
core/EngineProofs.v
core/SyntaxCertification.v
core/Certification.v

core/properties/AdditivityRule.v
core/properties/AdditivityRuleExt.v
core/properties/AdditivityElement.v
core/properties/AdditivityLink.v
core/properties/Universality.v
core/properties/Confluence.v
core/properties/Monotonicity.v
#core/properties/Lifting.v

core/modeling/ModelingMetamodel.v
core/modeling/ModelingTransformationConfiguration.v
core/modeling/ConcreteExpressions.v
core/modeling/ConcreteSyntax.v
core/modeling/ModelingEngine.v
core/modeling/Parser.v
core/modeling/ModelingSemantics.v
#core/modeling/ModelingCertification.v

core/modeling/properties/ModelingAdditivityRule.v
core/modeling/properties/ModelingAdditivityRuleExt.v

#core/modeling/twophases/TwoPhaseEngine.v
#core/modeling/twophases/TwoPhaseSemantics.v
#core/modeling/twophases/TwoPhaseCertification.v

#core/modeling/iteratetraces/IterateTracesSemantics.v
#core/modeling/iteratetraces/IterateTracesCertification.v

#core/modeling/byrule/ByRuleSemantics.v
#core/modeling/byrule/Certification_ByRuleSemantics.v\

transformations/Class2Relational/ClassMetamodel.v
transformations/Class2Relational/RelationalMetamodel.v
transformations/Class2Relational/Class2RelationalAbstract.v
transformations/Class2Relational/Class2Relational.v
transformations/Class2Relational/tests/PersonModel.v
transformations/Class2Relational/tests/PersonTest.v
transformations/Class2Relational/theorems/All_classes_instantiate_impl.v
transformations/Class2Relational/theorems/All_classes_match_impl.v
transformations/Class2Relational/theorems/Relational_name_definedness_spec.v
transformations/Class2Relational/theorems/Table_name_uniqueness.v
transformations/Class2Relational/theorems/Attribute_name_preservation.v
transformations/Class2Relational/theorems/Column_name_uniqueness.v
transformations/Class2Relational/theorems/Relational_resolve_spec.v

transformations/TT2BDD/TT.v
transformations/TT2BDD/BDD.v
transformations/TT2BDD/TT2BDDAbstract.v
transformations/TT2BDD/tests/TTModel.v
transformations/TT2BDD/tests/TT2BDD_TTModel.v

transformations/RSS2ATOM/RSS.v
transformations/RSS2ATOM/ATOM.v
transformations/RSS2ATOM/ATOMFlattened.v
transformations/RSS2ATOM/RSS2ATOM.v
transformations/RSS2ATOM/tests/ExempleRSS.v
transformations/RSS2ATOM/tests/Exemple1RSS.v
transformations/RSS2ATOM/tests/ExempleATOM.v
transformations/RSS2ATOM/tests/Exemple1ATOM.v

transformations/DBLP/DBLP.v
transformations/IMDB/MOVIES.v

transformations/Families2Persons/tests/sampleFamilies.v
transformations/Families2Persons/Families.v
transformations/Families2Persons/Persons.v
transformations/Families2Persons/Families2Persons.v

transformations/Moore2Mealy/Moore.v
transformations/Moore2Mealy/Mealy.v
transformations/Moore2Mealy/Moore2Mealy.v
transformations/Moore2Mealy/tests/sampleMoore.v