c246846704
Fix the test typechecking runner
2015-12-17 16:58:07 +01:00
625e2c5c0d
LogicalPattern to be used in rule definitions instead of Logical, the latter
...
reserved for the evaluation time.
Get rid of logical arrays, replace with multiLogical type and runtime class.
Adapt the constraints API to unification API (constraints to be terms).
Remove obsolete MITM interfaces.
2015-12-17 16:22:52 +01:00
df56d1e692
Cleaning up dependencies
2015-12-10 18:35:13 +01:00
9549745f75
Revert "allow mapper to return StemFunc for case where ground() is called and Alias points to a variable which was already resolved to a StemFunc object"
...
This reverts commit f9fb8db4c5feb20aff56453c12204bc02ef3a245.
2015-12-10 18:35:13 +01:00
0fbc427406
Revert: getting rid of naming conventions. Avoid bad dependencies.
2015-12-10 18:35:13 +01:00
664121d859
Fix the wrong dependency (reactor -> runtime). Some automagic changes on the latest MPS build.
2015-12-10 18:35:12 +01:00
ab52c177dc
allow mapper to return StemFunc for case where ground() is called and Alias points to a variable which was already resolved to a StemFunc object
2015-12-08 19:27:18 +03:00
07ae6c7a39
put session deactivation in finally block
2015-12-08 19:24:27 +03:00
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
4b5f7212f2
move all on-the-fly stuff to separate module
2015-12-07 17:40:19 +03:00
24ce21f980
add some more debug information
2015-12-07 16:42:34 +03:00
0ed44e5dee
Make evaluation session dependent on the program (planning session)
2015-12-07 12:43:38 +01:00
586b6fd2e6
Moved JavaPredicate to the reactor API
2015-12-07 12:12:08 +01:00
0e92e062d4
Support for generating and launching rules using expression solver
2015-12-07 11:40:44 +01:00
20faf679cc
Java expression solver introduced
2015-12-07 11:38:39 +01:00
e38ef803a1
Support for java expressions as calls to extracted static methods
2015-12-07 11:37:25 +01:00
1670f4abdb
correctly assing runtime variables
2015-12-06 14:02:02 +03:00
7f80dd5261
include built-in solvers
2015-12-06 01:21:41 +03:00
4392c15bbd
minor highlighter improvements
2015-12-05 22:27:35 +03:00
1dd9e08caa
on-the-fly solver: first attempt
2015-12-05 18:00:03 +03:00
3d8ef88bce
getting rid of naming conventions
2015-12-05 13:28:48 +03:00
8f0be292ef
WIP: Switch to solver class for java expression predicates
2015-12-04 17:05:18 +01:00
c20230780a
Reify logical type w/o parameters correctly as IAtomLogical
2015-12-04 17:04:28 +01:00
87b8ebcdbc
Switch to using abstract IAtomLogical for interfacing
2015-12-04 17:03:35 +01:00
8bc0ddb894
Refactorings and code cleanup in the API. Renamed BuiltinConstraint -> Predicate. SessionSolver to replace Symbols. Decouple Predicate and solverClass.
2015-12-03 19:50:27 +01:00
24daf3bd56
Better display resulting types as variable names
2015-12-03 10:09:48 +01:00
4b2f5bf81b
Fix Tuple5 (WtF?)
2015-11-30 11:50:47 +01:00
a3fcf64f79
Optimizing imports to avoid unwanted dependencies
2015-11-30 11:43:18 +01:00
368ff175cf
Refactoring out the abstract planning session API
2015-11-29 13:15:29 +01:00
0aa9e33c28
Typechecking templates: fixing bugs; experimentally treat TypeVarReference as unbound vars
2015-11-28 18:48:40 +01:00
fc65a26fbb
Better processing of failures during program evaluation.
2015-11-28 18:48:40 +01:00
fceb7bd0d5
Checking type of rule code block
2015-11-28 18:48:39 +01:00
a974be75af
Fixing the tests
2015-11-28 18:48:39 +01:00
7f20db92a6
Finishing refactoring the constraints API: extracted JCHR launcher
2015-11-28 18:48:17 +01:00
b81b875197
Renamed a model constraint -> predicate to satisfy JCHR
2015-11-28 18:47:00 +01:00
39f2084528
Added Tuple5
2015-11-28 18:47:00 +01:00
f50771f07a
Refactored the generator to work nicely with node attrs
2015-11-28 18:47:00 +01:00
78ca0b05fc
Refactoring in constraints API. Extracting the abstract evaluation interface
2015-11-28 18:45:42 +01:00
27b28e1732
Refactoring out constraint occurrences. Separating abstract rules processing API.
2015-11-22 15:36:10 +01:00
8fdbaf7d83
Renames in the reactor API. Get rid of an obsolete concept.
2015-11-22 13:26:45 +01:00
c1d776dc3c
Fix the rule template's let parameter scope
2015-11-21 16:05:33 +01:00
4ebe3c9cbf
Refactoring in logic lang rutime: moved the rules api to the reactor.
2015-11-21 16:05:01 +01:00
0d88f5da4b
Auto-magical update after moving to the latest build
2015-11-21 16:04:14 +01:00
6ee2899266
Refactor out the abstract part of the constraints API to reactor, move the parts dependent on Atom and JCHR back into logic runtime
2015-11-20 14:46:03 +01:00
af92fe309e
Refactor abstract part of the constraint solver to a separate solution
2015-11-20 11:28:09 +01:00
dd7483dbc9
Moved the rest of local logical declarations to the template clause's head
2015-11-19 19:16:36 +01:00
c1599e492b
Fixing model check errors
2015-11-19 19:15:44 +01:00
e33640a55e
Typechecking templates: getting rid of redundant templates, simplifying the code further
2015-11-19 16:36:16 +01:00
1640355c34
Typechecking templates: replaced two utility methods with one accepting more parameters
2015-11-18 19:44:29 +01:00
3a8a397299
Typechecking templates: simplifying the code, trying to unify the ways type variables are processed
2015-11-18 15:52:09 +01:00
Fedor Isakov