Mihail Buryakov
|
6fcdd5370e
|
lightweight solver: handle new java constraints
|
2015-12-08 17:48:08 +03:00 |
|
Mihail Buryakov
|
12a599a521
|
merge branch 'lightweightsolver' into 'master'
Conflicts:
languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.sampleplugin/models/jetbrains/mps/lang/typesystem2/sampleplugin/plugin.mps
languages/jetbrains.mps.logic/jchr/jetbrains.mps.logic.jchr.msd
languages/jetbrains.mps.logic/reactor/models/jetbrains/mps/logic/reactor/constraint.mps
|
2015-12-08 12:00:11 +03:00 |
|
Mihail Buryakov
|
4b5f7212f2
|
move all on-the-fly stuff to separate module
|
2015-12-07 17:40:19 +03:00 |
|
Fedor Isakov
|
b3a04066f7
|
Removed obsolete solutions
|
2015-06-17 15:39:53 +02:00 |
|
Fedor Isakov
|
f380297ccb
|
Adopted the new unification solver API
|
2015-03-22 15:19:16 +01:00 |
|
Fedor Isakov
|
753d2da74a
|
Removing instances of obsolete code, cleaning up the model checker issues
|
2015-03-11 13:35:10 +01:00 |
|
Fedor Isakov
|
2489d817b0
|
Refactoring: replacing the obsolete constructs with logical substitution, runtime API changes, abstract logical, extracting equals constraint
|
2015-03-11 12:26:57 +01:00 |
|
Fedor Isakov
|
d19edc677e
|
Logical constraints introduced that are only applicable to logical vars; some refactoring in the runtime; rule tags
|
2015-02-17 17:34:22 +01:00 |
|
Fedor Isakov
|
91bf7a3d85
|
Migrated to MPS 3.2 EAP (build 139-987)
|
2014-12-15 13:57:15 +01:00 |
|
Fedor Isakov
|
64bb958fc8
|
Rename/refactoring in the jchr/logic/typechecking
|
2014-12-11 15:52:26 +01:00 |
|
Fedor Isakov
|
4e77631719
|
Renamed/refactored solutions/models for better packaging
|
2014-12-04 19:53:04 +01:00 |