c068f0f7e7
Updated the git configuration
2015-12-28 10:36:45 +01:00
8e59fc5f97
Refactoring in the reactor API: separating abstract program representation and evaluation session; cleaning up the interfaces.
2015-12-27 16:41:49 +01:00
2f38f70f94
Updated the IDEA project.
2015-12-27 16:29:41 +01:00
3a6edc48e5
Reshuffling the models around a bit.
2015-12-25 23:54:48 +01:00
1e59499285
Better project structure
2015-12-25 21:22:52 +01:00
cd45be1140
LogicalPattern as a factory for Logical instances
2015-12-23 15:50:10 +01:00
edb2ceffc3
Introduce PredicateInvocation
2015-12-23 14:40:53 +01:00
ca3b790900
Generifying LogicalPattern interface
2015-12-22 19:37:20 +01:00
0b742ce9e2
Introduce LogicalContext, Constraint to be used to create occurrences
2015-12-21 10:46:16 +01:00
39b37ab5f4
Delete unused obsolete constructs
2015-12-17 16:58:08 +01:00
9fff72e15d
Updated the IDEA project in order to run test typechecking runner.
...
Copied ExpressionSolver to private src directory (WARNING!)
2015-12-17 16:58:07 +01:00
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
d64325d3fa
lightweight solver: fix small bug
2015-12-08 19:23:41 +03:00
6fcdd5370e
lightweight solver: handle new java constraints
2015-12-08 17:48:08 +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
dafbf0f03d
copy rule before each application attempt to avoid reusing same variables
2015-12-07 16:44:28 +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
5c0872b30f
enable guards
2015-12-06 15:01:51 +03: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
0f514060c7
fix magor algorithmical mistakes
2015-12-05 21:00:51 +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
Fedor Isakov