Fedor Isakov
|
c60f92b7d8
|
Drop obsolete constructs.
|
2018-04-03 15:16:23 +02:00 |
|
Fedor Isakov
|
638333989b
|
Typechecking templates: migrate to assign type operation, drop typeNode/2 constraint.
|
2018-04-03 15:16:19 +02:00 |
|
Fedor Isakov
|
e30c5e268b
|
Extend typesystem2 lang with "assign type" operation. TypecheckingSessionSolver to be used for reporting the calculated type. Manual migration required.
|
2018-04-03 15:16:14 +02:00 |
|
Fedor Isakov
|
28d412997c
|
Ensure all program's predicate symbols and corresponding solvers are registered.
|
2018-04-03 12:16:48 +02:00 |
|
Fedor Isakov
|
5f842657b0
|
Typechecking templates: get rid of RecoverSolver hacks.
|
2018-04-03 12:16:48 +02:00 |
|
Fedor Isakov
|
9c832b73b3
|
Testing RuleTemplate with constraint rules in a sandbox.
|
2018-04-03 12:16:48 +02:00 |
|
Fedor Isakov
|
476b8ad2ee
|
Migration applied.
|
2018-04-03 12:16:47 +02:00 |
|
Fedor Isakov
|
ccb46e8ce1
|
Simplify constraint rules editor. Use "!" to mark kept constraints in the head.
|
2018-04-03 12:16:47 +02:00 |
|
Fedor Isakov
|
213f01f47d
|
Require statement to replace "required block".
|
2018-04-03 12:16:47 +02:00 |
|
Fedor Isakov
|
1112b940a1
|
Test language for the RuleTemplate.
|
2018-04-03 12:16:44 +02:00 |
|
Fedor Isakov
|
a6bd6dac9c
|
New structure of RuleTemplate, get rid of various "code blocks" in favour of regular control statements.
|
2018-04-03 12:16:38 +02:00 |
|
Fedor Isakov
|
b052790f8c
|
Switch to latest conreactor, update Kotlin runtime libs.
|
2018-03-05 15:31:39 +01:00 |
|
Fedor Isakov
|
6ac5af596f
|
Upgrade to the latest MPS release.
|
2018-01-23 12:29:46 +01:00 |
|
Fedor Isakov
|
bd81dfe749
|
Bump up the release version to 0.3. Default build number set to 9999.
|
2018-01-23 11:55:13 +01:00 |
|
Fedor Isakov
|
43a823a2b5
|
Refactorings in the API. Introducing RuleProcessingSession to facilitate all operations with the rule processing. Consolidating all low-level stuff in runtime solution. Preparing for multiple languages support.
|
2018-01-05 13:58:24 +01:00 |
|
Fedor Isakov
|
a74f4fb944
|
Dropping deprecated API, renaming obsolete API calls.
|
2017-12-14 14:46:04 +01:00 |
|
Fedor Isakov
|
c236981fb6
|
Correct version number of the plugin (0.2).
|
2017-12-06 18:10:02 +01:00 |
|
Fedor Isakov
|
fb7f249435
|
Fix project generation by implementing newly introduced abstract methods in MPS interfaces.
|
2017-12-06 17:44:07 +01:00 |
|
Fedor Isakov
|
d3a4e21ca9
|
Migrated to MPS2017.3.
|
2017-12-06 16:36:28 +01:00 |
|
Fedor Isakov
|
8c81df5fae
|
Automating updates file generation and upload using Travis CI.
|
2017-12-04 20:40:52 +01:00 |
|
Fedor Isakov
|
114f4b8079
|
Bumped up version in plugin.xml.
|
2017-12-04 13:34:57 +01:00 |
|
Fedor Isakov
|
ab8f4709ee
|
Make checking for garbage optional by default. Garbage is always reported though.
|
2017-12-04 12:30:21 +01:00 |
|
Fedor Isakov
|
2ba4ee5712
|
Correct plugin version. Create updatePlugins.xml to provide updates.
|
2017-11-15 14:11:38 +01:00 |
|
Fedor Isakov
|
323cfdf080
|
Introduce environment variable to control whether to report garbage constraints.
Fix NPE on missing rules for a stage during rules application.
|
2017-11-15 11:46:44 +01:00 |
|
Fedor Isakov
|
83b52e8b45
|
Drop usages of java expression solver, deprecate the API calls that require it.
|
2017-11-14 15:09:33 +01:00 |
|
Fedor Isakov
|
fe27d40d4b
|
Typechecking templates: drop "final" features, use the prototype term feature.
|
2017-11-12 16:45:32 +01:00 |
|
Fedor Isakov
|
724addd354
|
Typechecking templates: apply the migrations; cleanup code; remove ad-hoc default feature values dependent on internal API.
|
2017-11-10 12:13:39 +01:00 |
|
Fedor Isakov
|
c24b4d1044
|
Typechecking templates: move constraint declarations to handlers, remove the only solver root.
|
2017-11-09 14:07:27 +01:00 |
|
Fedor Isakov
|
291c0b58cd
|
Display baseline conventional typechecking time.
|
2017-11-03 12:09:13 +01:00 |
|
Fedor Isakov
|
1541244395
|
Typechecking templates: add a rule to discharge hasBound of a captureOf type.
|
2017-11-03 12:08:17 +01:00 |
|
Fedor Isakov
|
45aa42bfe3
|
Enable control of output of profiling data with a system property.
|
2017-11-01 12:12:29 +01:00 |
|
Fedor Isakov
|
aa8258c365
|
Typechecking templates: Applied migrations. Replace ad-hoc logical value access with valueOf expressions.
|
2017-11-01 10:52:15 +01:00 |
|
Fedor Isakov
|
51baea8b26
|
Typechecking plugin: drop read action from evaluation step.
|
2017-10-31 12:33:09 +01:00 |
|
Fedor Isakov
|
3ed8d2e375
|
Switch to latest release of constraints reactor lib. Update the dependency libs.
|
2017-10-30 19:51:42 +01:00 |
|
Fedor Isakov
|
c9c8ed39b4
|
Typechecking templates: Manual migrations and cleanup. Applied the migrations.
|
2017-10-27 16:30:28 +02:00 |
|
Fedor Isakov
|
7f1e07ebe7
|
Typesystem2 lang: Switch to using LateExpression for handling Java code in logical clauses; Introduce ExpressionItem, create a migration that replaces LogicalValue with ExpressionItem; Migration to replace LogicalValue; Drop generation of ExpressionSolver.
|
2017-10-27 16:30:28 +02:00 |
|
Fedor Isakov
|
0ead14f24b
|
Applied migration in Logic lang.
|
2017-10-25 16:33:09 +02:00 |
|
Fedor Isakov
|
b3b62d2cca
|
UI: Fix presentation of terms, values and lists.
|
2017-10-24 16:05:05 +02:00 |
|
Fedor Isakov
|
090bb22d9e
|
Typechecking templates: replace ad-hoc list expressions with ListExpression. Use latter instead of TermListExpr.
|
2017-10-23 13:58:02 +02:00 |
|
Fedor Isakov
|
5a5c7e6b77
|
Typechecking templates: replace ad-hoc list expressions with ListExpression.
|
2017-10-23 13:51:22 +02:00 |
|
Fedor Isakov
|
bc3ff79a9c
|
Migration applied: extract ListRole.
|
2017-10-23 12:08:50 +02:00 |
|
Fedor Isakov
|
f4a3f1fae5
|
Logic language runtime: refactor the TreeForm API for cleaner and more readable design, code cleanup, drop obsolete code.
|
2017-10-23 10:54:30 +02:00 |
|
Fedor Isakov
|
e9a35f4fae
|
Fix module dependencies
|
2017-10-23 10:23:12 +02:00 |
|
Fedor Isakov
|
643b5b67b3
|
Typechecking templates: ensure the term has default values.
|
2017-10-23 10:22:48 +02:00 |
|
Fedor Isakov
|
7c28db8854
|
UI: Drop string hacks, drop hardcoded term feature names. Code cleanup.
|
2017-10-19 17:55:09 +02:00 |
|
Fedor Isakov
|
f72dc69216
|
Typechecking templates: Drop string hacks in terms. Getting rid of hardcoded term features.
|
2017-10-19 17:55:08 +02:00 |
|
Fedor Isakov
|
7aef68dfc3
|
Typesystem2 language refactoring: Delete obsolete unused code. Rename the runtime model (type->macro).
|
2017-10-18 12:41:49 +02:00 |
|
Fedor Isakov
|
12afe4fa9c
|
Update the distribution zip file name to correspond to the package version (0.2).
|
2017-10-16 14:32:46 +02:00 |
|
Fedor Isakov
|
272c83ad3c
|
Typechecking templates: model updated in respect to the language changes, migration applied.
|
2017-10-16 13:55:32 +02:00 |
|
Fedor Isakov
|
19af096768
|
Typesystem2 language: new nomenclature, "Macro Table" instead of "Type Table", call/expand operations instead of newType/asType, specify applicable concept as MacroInputDeclaration's type, replace TypeNodeExpression with MacroInputParameter, migration.
|
2017-10-16 13:55:32 +02:00 |