Fedor Isakov 4ea1d0cadd Feature: isGround and isNonground predicates, MPSCR-94		2021-07-22 13:59:19 +02:00
..
models/jetbrains/mps/logic/test	Feature: isGround and isNonground predicates, MPSCR-94	2021-07-22 13:59:19 +02:00
Logic.test.iml	Restructuring the project: consolidate code, moving samples away.	2018-07-14 17:22:07 +02:00
build.gradle	Drop mockito lib, replace with ad-hoc solution, fix the tests.	2020-10-25 00:17:25 +02:00
jetbrains.mps.logic.test.msd	Migrate to the latest MPS release, apply migrations	2021-06-18 18:41:01 +02:00