diff --git a/.gitignore b/.gitignore index d4f4b5ee..dce910ca 100644 --- a/.gitignore +++ b/.gitignore @@ -4,17 +4,14 @@ **/test_gen.caches/* **/classes_gen/* **/classes_jchr/* -.mps/workspace.xml -.mps/shelf/* -.idea/workspace.xml +**/.mps/workspace.xml +**/.mps/shelf/* +**/.idea/workspace.xml +**/lib/* .gradle out build/* config/* system/* -coderules/solutions/jetbrains.mps.logic.reactor/lib/* -coderules/solutions/jetbrains.mps.logic.test/lib/* -coderules/solutions/jetbrains.mps.typechecking/lib/* -coderules/solutions/jetbrains.mps.coderules/lib/* MPS_HOME TEST-* diff --git a/.mps/modules.xml b/.mps/modules.xml index 5a8313b7..049919f8 100644 --- a/.mps/modules.xml +++ b/.mps/modules.xml @@ -2,35 +2,31 @@ - - + - - - - - - - - - - - + + + + + + + + + + - - - + \ No newline at end of file diff --git a/build.xml b/build.xml index 0330ce78..4ed0c246 100644 --- a/build.xml +++ b/build.xml @@ -26,7 +26,7 @@ - + @@ -50,7 +50,7 @@ - + @@ -78,7 +78,7 @@ - + @@ -88,7 +88,7 @@ - + @@ -135,7 +135,7 @@ - + @@ -163,7 +163,7 @@ - + @@ -173,7 +173,7 @@ - + @@ -207,11 +207,11 @@ - + - + @@ -236,7 +236,7 @@ - + @@ -245,7 +245,7 @@ - + @@ -281,7 +281,7 @@ - + @@ -290,7 +290,7 @@ - + @@ -331,7 +331,7 @@ - + @@ -362,7 +362,7 @@ - + @@ -372,7 +372,7 @@ - + @@ -413,7 +413,7 @@ - + @@ -422,7 +422,7 @@ - + @@ -455,7 +455,7 @@ - + @@ -464,7 +464,7 @@ - + @@ -502,7 +502,7 @@ - + @@ -510,7 +510,7 @@ - + @@ -545,7 +545,7 @@ - + @@ -553,7 +553,7 @@ - + @@ -588,7 +588,7 @@ - + @@ -617,7 +617,7 @@ - + @@ -627,7 +627,7 @@ - + @@ -664,7 +664,7 @@ - + @@ -672,7 +672,7 @@ - + @@ -707,7 +707,7 @@ - + @@ -716,7 +716,7 @@ - + @@ -746,7 +746,7 @@ - + @@ -754,7 +754,7 @@ - + @@ -789,7 +789,7 @@ - + @@ -798,7 +798,7 @@ - + @@ -839,7 +839,7 @@ - + @@ -866,7 +866,7 @@ - + @@ -876,7 +876,7 @@ - + @@ -904,7 +904,7 @@ - + @@ -912,7 +912,7 @@ - + @@ -949,7 +949,7 @@ - + @@ -957,7 +957,7 @@ - + @@ -993,7 +993,7 @@ - + @@ -1021,7 +1021,7 @@ - + @@ -1031,7 +1031,7 @@ - + @@ -1068,7 +1068,7 @@ - + @@ -1076,7 +1076,7 @@ - + @@ -1110,7 +1110,7 @@ - + @@ -1118,7 +1118,7 @@ - + @@ -1153,7 +1153,7 @@ - + @@ -1182,7 +1182,7 @@ - + @@ -1192,7 +1192,7 @@ - + @@ -1229,7 +1229,7 @@ - + @@ -1237,7 +1237,7 @@ - + @@ -1272,7 +1272,7 @@ - + @@ -1281,7 +1281,7 @@ - + @@ -1291,14 +1291,14 @@ - - + + - + - + @@ -1489,7 +1489,7 @@ - + @@ -4186,18 +4186,18 @@ - - - - - - - - - - - - + + + + + + + + + + + + @@ -4206,11 +4206,11 @@ - - - - - + + + + + diff --git a/coderules/solutions/jetbrains.mps.typechecking.build/models/jetbrains.mps.typechecking.build.mps b/coderules/solutions/jetbrains.mps.typechecking.build/models/jetbrains.mps.typechecking.build.mps index 1cf7fccb..3b13456b 100644 --- a/coderules/solutions/jetbrains.mps.typechecking.build/models/jetbrains.mps.typechecking.build.mps +++ b/coderules/solutions/jetbrains.mps.typechecking.build/models/jetbrains.mps.typechecking.build.mps @@ -2244,7 +2244,7 @@ - + diff --git a/coderules/solutions/jetbrains.mps.typechecking.test/models/data.mps b/coderules/solutions/jetbrains.mps.typechecking.test/models/data.mps deleted file mode 100644 index 9224d48c..00000000 --- a/coderules/solutions/jetbrains.mps.typechecking.test/models/data.mps +++ /dev/null @@ -1,220 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - diff --git a/coderules/solutions/jetbrains.mps.typechecking.test/models/jetbrains.mps.typechecking@tests.mps b/coderules/solutions/jetbrains.mps.typechecking.test/models/jetbrains.mps.typechecking@tests.mps index da178884..a7df3717 100644 --- a/coderules/solutions/jetbrains.mps.typechecking.test/models/jetbrains.mps.typechecking@tests.mps +++ b/coderules/solutions/jetbrains.mps.typechecking.test/models/jetbrains.mps.typechecking@tests.mps @@ -39,7 +39,6 @@ - diff --git a/samples/mpscore/.mps/encodings.xml b/samples/mpscore/.mps/encodings.xml new file mode 100644 index 00000000..97626ba4 --- /dev/null +++ b/samples/mpscore/.mps/encodings.xml @@ -0,0 +1,6 @@ + + + + + + \ No newline at end of file diff --git a/samples/mpscore/.mps/libraries.xml b/samples/mpscore/.mps/libraries.xml new file mode 100644 index 00000000..4f7e4c25 --- /dev/null +++ b/samples/mpscore/.mps/libraries.xml @@ -0,0 +1,17 @@ + + + + + + \ No newline at end of file diff --git a/samples/mpscore/.mps/migration.xml b/samples/mpscore/.mps/migration.xml new file mode 100644 index 00000000..f5b58e7f --- /dev/null +++ b/samples/mpscore/.mps/migration.xml @@ -0,0 +1,6 @@ + + + + + + \ No newline at end of file diff --git a/samples/mpscore/.mps/misc.xml b/samples/mpscore/.mps/misc.xml new file mode 100644 index 00000000..8e3bf350 --- /dev/null +++ b/samples/mpscore/.mps/misc.xml @@ -0,0 +1,6 @@ + + + + + \ No newline at end of file diff --git a/samples/mpscore/.mps/modules.xml b/samples/mpscore/.mps/modules.xml new file mode 100644 index 00000000..cdb77404 --- /dev/null +++ b/samples/mpscore/.mps/modules.xml @@ -0,0 +1,11 @@ + + + + + + + + + + + \ No newline at end of file diff --git a/samples/mpscore/.mps/vcs.xml b/samples/mpscore/.mps/vcs.xml new file mode 100644 index 00000000..cd597741 --- /dev/null +++ b/samples/mpscore/.mps/vcs.xml @@ -0,0 +1,6 @@ + + + + + + \ No newline at end of file