removing test and basic folders

atlanmod · Feb 8, 2022 · 26e18b7 · 26e18b7
1 parent a490e27
commit 26e18b7
Show file tree

Hide file tree

Showing 12 changed files with 1 addition and 1,768 deletions.
diff --git a/_CoqProject b/_CoqProject
@@ -59,16 +59,7 @@ core/modeling/properties/ModelingAdditivityRuleExt.v
 #core/modeling/iteratetraces/IterateTracesCertification.v
 
 #core/modeling/byrule/ByRuleSemantics.v
-#core/modeling/byrule/Certification_ByRuleSemantics.v
-
-core/basic/basicExpressions.v
-core/basic/basicSyntax.v
-core/basic/basicSemantics.v
-core/basic/properties/Confluence.v
-
-core/test/iExpressions.v
-core/test/iSyntax.v
-core/test/iSemantics.v
+#core/modeling/byrule/Certification_ByRuleSemantics.v\
 
 transformations/Class2Relational/ClassMetamodel.v
 transformations/Class2Relational/RelationalMetamodel.v

diff --git a/core/basic/basicExpressions.v b/core/basic/basicExpressions.v
diff --git a/core/basic/basicSemantics.v b/core/basic/basicSemantics.v
diff --git a/core/basic/basicSyntax.v b/core/basic/basicSyntax.v