69bc34e8f9
Drop language j.m.l.smodel.types containing SNodeTypeOp that is no longer used.
2019-11-11 14:37:41 +01:00
3f1b65ada2
Fix the structural errors introduced by a badly run migration.
2019-11-06 12:05:18 +01:00
ad90a4cb77
Apply migration that replaces all instances of NodeAnchor with .pointer op.
2019-11-06 11:21:57 +01:00
f8dcf127db
Extend typechecking query TYPECHECK with a parameter to report types.
...
Reporting of calculated types is to be more explicit.
The not-so-obvious _type_.set() operation is to be phased out.
2019-10-10 17:30:11 +02:00
cdfe1f2c0c
Update language version after migrations from mps.logic lang
2019-09-11 13:24:02 +03:00
39fa007310
Run Splice migration on samples
2019-09-11 13:24:02 +03:00
5eed118be0
Replace usages of deprecated reporting with error constraint.
...
Having to specify the target for reported messages is a redundancy.
It's better to rely on the built-in feedback mechanism and handle the
messages at the supervisor level.
2019-09-02 17:55:46 +02:00
d786ff43b9
Re-save all models, language name updated in .mpl files.
2019-08-20 23:11:19 +02:00
3a48c47880
Migration: "update versions in descriptors".
2019-07-30 11:49:26 +02:00
66c9222a95
Run migrations with MPS 2019.2 EAP3.
2019-07-26 17:27:18 +02:00
79b08c6f83
Revert "Apply migrations from EAP3 and rebuild project."
...
This reverts commit 9c5bf858c3
2019-07-26 15:30:30 +02:00
9c5bf858c3
Apply migrations from EAP3 and rebuild project.
2019-07-19 12:28:27 +02:00
cd37daaa07
Apply migrations after switching to the latest EAP build of MPS.
2019-06-07 09:16:21 +02:00
17ed4642ae
Apply all available automatic migrations.
2019-06-05 16:16:00 +02:00
57de11c3fe
Rename all modules/models having prefix j.m.typechecking to j.m.coderules.typechecking. The former is reserved.
2019-06-05 16:15:59 +02:00
bd1c56d9d0
Rename concept Handler -> RulesList
2019-05-09 17:30:14 +02:00
ab006cc8d9
Fix missing dependency.
2019-04-10 09:45:47 +02:00
396b1fdad3
Move all classes from j.m.typechecking to j.m.typechecking.service. This package name is reserved.
2019-03-22 11:40:32 +01:00
5b255f2a02
Fix references and introduce languages engaged on generation to keep compat. w/191 EAP.
2019-02-01 11:31:35 +01:00
08bed0c578
Apply automatic migrations to FitchProof subproject
2019-01-13 14:27:32 +01:00
b7648ef5c3
Document judgements and reasonings in Fitch sample languages.
2019-01-07 11:03:55 +01:00
2078606204
Fitch sample: fix relation name constraint.
2019-01-06 16:05:52 +01:00
d64f469b19
Add tests for fitch sample project
2018-12-14 14:55:23 +01:00
19ce84f7ef
Switch to 2018.3 RC. Apply all migrations.
2018-11-28 16:48:59 +01:00
7c1cb3b684
Name solutions and models consistently in samples (fitch)
2018-07-22 14:48:12 +02:00
0bacffb611
Move type setting operation to typechecking lang.
2018-07-22 11:09:49 +02:00
c7cc97fffb
Rename reporting runtim solution.
2018-07-21 13:29:40 +02:00
6e00dcd58c
Fix handler activating constraints declared elsewhere.
2018-07-21 13:29:40 +02:00
ea9919f38a
Bring the hierarchy of DataForm concepts in line with the runtime.
...
Merge DataForm constructors into logic language.
Repackaging logic runtime.
Drop obsolete code.
2018-07-21 13:29:22 +02:00
3791a3b216
Auto-updated descriptors.
2018-07-20 10:51:53 +02:00
d5b27ac6e2
Move sandbox solution to "solutions" folder.
2018-07-18 15:54:52 +02:00
061e75f3f5
Auto-updated files after switching to the latest plugin.
2018-07-18 15:54:51 +02:00
776ba9282b
Re-save everything after switching to the newest typechecking plugin.
2018-07-18 15:54:51 +02:00
b87b71f07c
Automatically migrated to the latest typechecking plugin.
2018-07-18 15:54:51 +02:00
124cc3cd93
Switch to the latest typechecking plugin. Drop auto-triggering of checkAll constraint, use query instead. Switch to single stage.
2018-07-18 15:54:51 +02:00
adfae88953
Fix imports and establish extends relation among handlers.
2018-07-18 15:54:51 +02:00
7107dce378
Applied the migration.
2018-07-18 15:54:51 +02:00
dc662b97b9
Convert to reporting expressions, drop obsolete constraints.
2018-07-18 15:54:51 +02:00
9f1632b018
Updated to latest MPS and typechecking plugin.
2018-07-18 15:54:51 +02:00
72b2f0d110
Fix the Equality Introduction rule.
2018-07-18 15:54:51 +02:00
f070e7a34b
Implementation of First Order logic.
2018-07-18 15:54:51 +02:00
25d0238155
Implementation of Herbrand logic, an example.
2018-07-18 15:54:51 +02:00
848df81dd4
Refactor out abstract proof, provide a mechanism to filter passing rules by the proof kind.
2018-07-18 15:54:51 +02:00
5a550836b6
A couple of renamings to straighten the nomenclature.
2018-07-18 15:54:51 +02:00
908e557d72
A language for Herbrand logic.
2018-07-18 15:54:51 +02:00
e3d2ac503b
Move inference rules to propositional logic language.
2018-07-18 15:54:51 +02:00
e2ceb9b500
Some refactorings and renamings in preparation for intruduction of Herbrand logic language.
2018-07-18 15:54:50 +02:00
aa3837cd72
Separate logic-related stuff from proof-related.
2018-07-18 15:54:50 +02:00
929a017704
Drop *_old stuff and the migration logs.
2018-07-18 15:54:50 +02:00
cd0e7cc1b1
Introduce a language for propositional logic. Move relevant stuff there.
2018-07-18 15:54:50 +02:00
Fedor Isakov