natas_hw
/
mps-coderules
mirror of https://github.com/JetBrains/mps-coderules
0
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
mps-coderules/samples/mpscore/languages/jetbrains.mps.logicExt/models
History
Fedor Isakov 76991aabe7 Fix dependencies among rule tables. 
Observing the invariant: whenever a constraint is used in
rule's head, the rule table containing it must extend the
one that constraint.

Also drop unused constraint from the head in ConversionFunctionIFace.
 		2020-05-05 16:23:13 +02:00
..
jetbrains.mps.logicExt.behavior.mps Types for j.m.logic language. 2020-05-05 10:19:32 +02:00
jetbrains.mps.logicExt.constraints.mps Types for j.m.logic language. 2020-05-05 10:19:32 +02:00
jetbrains.mps.logicExt.editor.mps Types for j.m.logic language. 2020-05-05 10:19:32 +02:00
jetbrains.mps.logicExt.structure.mps Types for j.m.logic language. 2020-05-05 10:19:32 +02:00
jetbrains.mps.logicExt.types.mps Fix dependencies among rule tables. 2020-05-05 16:23:13 +02:00
jetbrains.mps.logicExt.typesystem.mps Types for j.m.logic language. 2020-05-05 10:19:32 +02:00