diff --git a/samples/fitch/.gitignore b/samples/fitch/.gitignore new file mode 100644 index 00000000..3902f893 --- /dev/null +++ b/samples/fitch/.gitignore @@ -0,0 +1,9 @@ +**/source_gen/* +**/source_gen.caches/* +**/test_gen/* +**/test_gen.caches/* +**/classes_gen/* +.mps/workspace.xml +.idea/workspace.xml +out +build/* diff --git a/samples/fitch/.mps/.name b/samples/fitch/.mps/.name new file mode 100644 index 00000000..0716d867 --- /dev/null +++ b/samples/fitch/.mps/.name @@ -0,0 +1 @@ +FitchProof \ No newline at end of file diff --git a/samples/fitch/.mps/encodings.xml b/samples/fitch/.mps/encodings.xml new file mode 100644 index 00000000..97626ba4 --- /dev/null +++ b/samples/fitch/.mps/encodings.xml @@ -0,0 +1,6 @@ + + + + + + \ No newline at end of file diff --git a/samples/fitch/.mps/migration.xml b/samples/fitch/.mps/migration.xml new file mode 100644 index 00000000..f5b58e7f --- /dev/null +++ b/samples/fitch/.mps/migration.xml @@ -0,0 +1,6 @@ + + + + + + \ No newline at end of file diff --git a/samples/fitch/.mps/misc.xml b/samples/fitch/.mps/misc.xml new file mode 100644 index 00000000..8e3bf350 --- /dev/null +++ b/samples/fitch/.mps/misc.xml @@ -0,0 +1,6 @@ + + + + + \ No newline at end of file diff --git a/samples/fitch/.mps/modules.xml b/samples/fitch/.mps/modules.xml new file mode 100644 index 00000000..93ab66e6 --- /dev/null +++ b/samples/fitch/.mps/modules.xml @@ -0,0 +1,9 @@ + + + + + + + + + \ No newline at end of file diff --git a/samples/fitch/.mps/version.xml b/samples/fitch/.mps/version.xml new file mode 100644 index 00000000..48d71a1e --- /dev/null +++ b/samples/fitch/.mps/version.xml @@ -0,0 +1,6 @@ + + + + + \ No newline at end of file diff --git a/samples/fitch/languages/jetbrains.mps.fitch/generator/template/main@generator.mps b/samples/fitch/languages/jetbrains.mps.fitch/generator/template/main@generator.mps new file mode 100644 index 00000000..151bf772 --- /dev/null +++ b/samples/fitch/languages/jetbrains.mps.fitch/generator/template/main@generator.mps @@ -0,0 +1,24 @@ + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/samples/fitch/languages/jetbrains.mps.fitch/jetbrains.mps.fitch.mpl b/samples/fitch/languages/jetbrains.mps.fitch/jetbrains.mps.fitch.mpl new file mode 100644 index 00000000..222a7010 --- /dev/null +++ b/samples/fitch/languages/jetbrains.mps.fitch/jetbrains.mps.fitch.mpl @@ -0,0 +1,100 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + 06b7c5c7-e359-4f4b-a581-5d0c9323af39(jetbrains.mps.fitch) + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/samples/fitch/languages/jetbrains.mps.fitch/models/behavior.mps b/samples/fitch/languages/jetbrains.mps.fitch/models/behavior.mps new file mode 100644 index 00000000..f0bca7ae --- /dev/null +++ b/samples/fitch/languages/jetbrains.mps.fitch/models/behavior.mps @@ -0,0 +1,13 @@ + + + + + + + + + + + + + diff --git a/samples/fitch/languages/jetbrains.mps.fitch/models/constraints.mps b/samples/fitch/languages/jetbrains.mps.fitch/models/constraints.mps new file mode 100644 index 00000000..708ccad7 --- /dev/null +++ b/samples/fitch/languages/jetbrains.mps.fitch/models/constraints.mps @@ -0,0 +1,401 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/samples/fitch/languages/jetbrains.mps.fitch/models/editor.mps b/samples/fitch/languages/jetbrains.mps.fitch/models/editor.mps new file mode 100644 index 00000000..25037f59 --- /dev/null +++ b/samples/fitch/languages/jetbrains.mps.fitch/models/editor.mps @@ -0,0 +1,1853 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/samples/fitch/languages/jetbrains.mps.fitch/models/structure.mps b/samples/fitch/languages/jetbrains.mps.fitch/models/structure.mps new file mode 100644 index 00000000..58cb7c0f --- /dev/null +++ b/samples/fitch/languages/jetbrains.mps.fitch/models/structure.mps @@ -0,0 +1,426 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/samples/fitch/languages/jetbrains.mps.fitch/models/typesystem.mps b/samples/fitch/languages/jetbrains.mps.fitch/models/typesystem.mps new file mode 100644 index 00000000..c64b9266 --- /dev/null +++ b/samples/fitch/languages/jetbrains.mps.fitch/models/typesystem.mps @@ -0,0 +1,11 @@ + + + + + + + + + + + diff --git a/samples/fitch/languages/jetbrains.mps.fitch/sandbox/jetbrains.mps.fitch.sandbox.msd b/samples/fitch/languages/jetbrains.mps.fitch/sandbox/jetbrains.mps.fitch.sandbox.msd new file mode 100644 index 00000000..14c23211 --- /dev/null +++ b/samples/fitch/languages/jetbrains.mps.fitch/sandbox/jetbrains.mps.fitch.sandbox.msd @@ -0,0 +1,17 @@ + + + + + + + + + + + + + + + + + diff --git a/samples/fitch/languages/jetbrains.mps.fitch/sandbox/models/jetbrains.mps.fitch.sandbox.mps b/samples/fitch/languages/jetbrains.mps.fitch/sandbox/models/jetbrains.mps.fitch.sandbox.mps new file mode 100644 index 00000000..ff09e80b --- /dev/null +++ b/samples/fitch/languages/jetbrains.mps.fitch/sandbox/models/jetbrains.mps.fitch.sandbox.mps @@ -0,0 +1,399 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +