b500bf5f8f
Fix broken plugin descriptor
2022-02-17 17:50:27 +01:00
9cb04439eb
Fix packaging of coderules and mpscore plugins
...
Fix the path mapping of lib files.
2022-02-17 16:44:14 +01:00
c44e4b2080
Update coderules plugin desc, fix release number
2022-02-16 12:23:38 +01:00
2b23c56283
Added coderules modules in plugin content
2022-02-08 12:21:28 +01:00
d7ffb963f7
Fix and rebuild build scripts
2022-02-08 10:44:48 +01:00
2e5d73b31e
Add icons for typechecking roots and the aspect
2021-11-25 18:09:22 +01:00
4e70300ea7
Update language imports
2021-11-24 16:22:17 +01:00
e95526ef33
Update build script
2021-11-18 10:59:58 +01:00
ebe463ece5
Fix dangling dependency
2021-10-26 17:46:40 +02:00
dd4eece1df
Refresh build project
2021-09-23 15:20:23 +02:00
f3c12ec4af
Fix missing dependency
2021-09-23 15:16:17 +02:00
1ed5fa4e4b
Update build project
2021-09-22 17:08:25 +02:00
a5105e666a
Update build scripts
2021-09-21 17:54:50 +02:00
a22d360c13
Add reexport on coderules.runtime in controlflow sample, fix build
2021-08-17 09:30:49 +02:00
f96211273c
Drop hack for finding refs in LateParameter, switch to internal var ref
2021-08-17 09:30:49 +02:00
6b0526ba31
Introduce language j.m.l.types to contain aspect-related generator mappings
2021-08-17 09:29:21 +02:00
b1fbf7265e
Update plugin version and platform compatibility
2021-07-29 15:17:18 +02:00
c4db4fcafe
Set generator options: strict=false in build scripts
2021-07-29 14:18:29 +02:00
617a7d77a5
Fix build script
2021-07-29 12:46:57 +02:00
c4811d7d74
Migration of types aspect
...
Add types aspect devkit, remove engaged in generation.
2021-06-29 14:51:10 +02:00
dd8c5ffb07
Introduce types aspect devkit and genplan
2021-06-29 14:51:10 +02:00
9ea7ae2067
Better naming scheme for downloadable artefacts
2021-06-21 18:35:48 +02:00
9826290f78
Fix building and packaging the plugins
2021-06-21 17:50:00 +02:00
a8b0b13513
Include build solution into coderules plugin; fix file name
2021-06-18 18:41:01 +02:00
1bb8763816
Refactor AspectLookup to depend on repository, cache results
2021-05-18 12:32:03 +02:00
4755c0dfa0
Extract test helper classes into separate redistributable module
2021-02-14 15:12:58 +01:00
d25158b39f
Change plugin packaging and versioning
...
All modules are to be located under languages/.
Version to be RELEASE-0.9-bBUILD
2021-02-13 10:20:09 +01:00
bd1753e2ef
Fix plugin version number, ensure compatibility with MPS starting from 211
2021-02-08 10:11:58 +01:00
54cadb200a
Repackage plugin
2021-02-06 15:28:03 +01:00
7fe5a5ad7a
Auto-updated files after migrating to MPS 2021.1 EAP
2021-02-04 12:26:59 +01:00
148223a842
Add incremental tests for lambda calc. Enable ignored tests for closures.
2021-01-29 13:39:35 +03:00
536e1aa1c2
Introduce helper methods to factor out creation of terms
2021-01-23 16:59:45 +01:00
b3c57465fc
Minor refactoring: extract constants for building terms
2021-01-23 16:59:45 +01:00
62e8e7d013
Switch to MPS 2020.3 release.
2021-01-08 11:00:02 +01:00
c44e3a7fd8
Upd buildscripts
2020-11-18 11:36:28 +03:00
bf7bad4b4a
Drop mockito lib, replace with ad-hoc solution, fix the tests.
2020-10-25 00:17:25 +02:00
32b11c0c7f
Introduce memo expression to enable memoization of values.
...
During template application memo can be used to store results
of a computation in the session. The memo will be automatically
cleared on an event that invalidates the caches.
2020-07-30 17:14:40 +02:00
a6d671fef8
Refactor TypecheckingService and cache. Enable to use cache w/o tracking.
...
TypecheckingService has become too overloaded with responsibilities, and
so Strategy class is introduced to extract strategies to.
Cache holder can also be non-tracking, which comes in handy when
implementing purely caching typechecking, not anticipating any change.
2020-07-16 10:33:44 +02:00
d5a259bbde
Re-apply all re-runnable migrations (one fix).
2020-07-11 15:59:51 +02:00
e2aa9fd53f
Fix LogicalItemExpression contained in ExpressionItem issue, provide migration.
...
It's possible to a cycle b/w the two concepts, which is totally unnecessary.
This provides the means for detecting and fixing this problem.
2020-07-11 14:47:53 +02:00
598d6c109d
Make incremental test launcher fail on errors during evaluation.
...
Also provide a method to check that a node has "error type" assigned,
which may come in handy.
2020-06-27 10:35:47 +02:00
d2d4578514
Ensure typechecking cache is cleared on reload classes.
2020-06-25 20:48:17 +02:00
f6154be66b
Refactor Effect to rely on Result for errors collecting.
...
Result class encapsulates errors collected during step execution.
Simplify CoderulesHelper and callback interface.
2020-06-25 14:30:31 +02:00
9c1d3aad92
Move Result class to commonly-used runtime solution.
2020-06-25 14:30:30 +02:00
44a25ada3a
Enable extracting term presentation via delegate.
...
Provide an instance of NodePresentable that ought
to serve as the delegate proxy for extracting node
presentation.
2020-06-21 23:17:33 +02:00
ab99a0245c
Introduce runtime support module j.m.coderules.runtime.
2020-06-21 23:17:33 +02:00
f3b16186e6
Fix build scripts and regenerate.
2020-05-09 10:54:18 +02:00
f2bcaffccc
Revert "Upd coderules buildscript, regen build.xml"
...
This reverts commit 6b826334
2020-05-07 10:18:16 +02:00
6b82633450
Upd coderules buildscript, regen build.xml
2020-05-07 02:37:35 +03:00
ea687efb21
Types for j.m.logic language.
2020-05-05 10:19:32 +02:00
Fedor Isakov