Fedor Isakov e5d36f069e Filter ask and tell events separately		2016-02-24 11:31:20 +01:00
..
jetbrains.mps.lang.typesystem.sample	Typechecking templates: special case for LUB(X,Y) when X == Y	2016-01-27 14:04:17 +01:00
jetbrains.mps.lang.typesystem2.samplechecker	Switch to using SNodeReference instead of SNodeID in anchors. Minor refactoring in utils. Fix type checking of logical values.	2016-02-18 11:46:24 +01:00
jetbrains.mps.lang.typesystem2.samplechecker.handler	Fix typechecking using JCHR	2016-01-29 16:18:32 +01:00
jetbrains.mps.lang.typesystem2.samplechecker.handler.test	Introducing ProgramBuilder: a factory of programs/constraints/predicates.	2016-01-06 19:18:01 +01:00
jetbrains.mps.lang.typesystem2.samplechecker.handler.util	Display predicate invocation events (ask/tell) in the activation trace	2016-02-19 15:45:54 +01:00
jetbrains.mps.lang.typesystem2.samplechecker.runner	Make snapshots of occurrences/invocations and its arguments at avaluation time to track variables assignment.	2016-02-23 15:47:08 +01:00
jetbrains.mps.lang.typesystem2.samplechecker.test	Migrate to MPS 3.3.1. Fix missing import.	2016-01-26 12:48:11 +01:00
jetbrains.mps.lang.typesystem2.sampleplugin	Filter ask and tell events separately	2016-02-24 11:31:20 +01:00