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/coderules/languages/jetbrains.mps.logic
History
Fedor Isakov 517838cbc1 Implement shortcut solution for occurrsCheck. 
Make use of MutableLogical's feature to track usages count.
A logical with 1 or less usages can't be contained in
another term, so it's safe to skip unification in this case.
 		2020-07-30 17:14:40 +02:00
..
generator/template Apply migrations. 2020-07-11 15:13:08 +02:00
languageModels Fix LogicalItemExpression contained in ExpressionItem issue, provide migration. 2020-07-11 14:47:53 +02:00
runtime Implement shortcut solution for occurrsCheck. 2020-07-30 17:14:40 +02:00
sandbox/classes_jchr Restructuring the project: consolidate code, moving samples away. 2018-07-14 17:22:07 +02:00
Logic.iml Restructuring the project: consolidate code, moving samples away. 2018-07-14 17:22:07 +02:00
jetbrains.mps.logic.mpl Apply migrations. 2020-07-11 15:13:08 +02:00