7bc33924fd
Add lost language to the project
2024-07-17 12:35:54 +02:00
94ef0e171f
Remove deleted module from project
2024-07-11 15:09:34 +02:00
5fb69cc86a
New language for j.m.baseLanguage.varVariable
2024-07-08 11:19:08 +02:00
4ce08f4b99
Refactor project structure and reduce the number of modules
2024-07-04 18:17:56 +02:00
f0a9ac3bab
Drop abandoned functionality: controlflow
2024-06-24 10:56:00 +02:00
9dc18462e4
Mysteriously disappeared module: methodReferencesExt
2023-11-08 16:46:16 +01:00
d2ca45aa02
Extract bootstrap code to idea plugin; CR options to become app-level
...
CR typechecking options are now application-level.
The solution j.m.c.ideaplugin contains the code responsible
for accessing and setting the options. This solution is loaded
as IDEA plugin on deploy and as regular module in source project.
Also merge code from two modules into j.m.c.typechecking.
2022-08-25 12:59:36 +02:00
d941435963
Restore language module smodel.queryExt in the project
2021-08-17 09:30:48 +02:00
6b0526ba31
Introduce language j.m.l.types to contain aspect-related generator mappings
2021-08-17 09:29:21 +02:00
74ceb5cbfb
Types aspect for j.m.lang.typechecking (in Ext language)
2021-08-04 13:24:59 +02:00
dd8c5ffb07
Introduce types aspect devkit and genplan
2021-06-29 14:51:10 +02:00
2ae85d4dae
Types for j.m.lang.pattern language
2021-05-13 15:54:43 +02:00
5a6db97aed
Types for j.m.lang.scopes language
2021-05-13 15:54:43 +02:00
2d98b4cf67
Fix types for j.m.l.behavior -- rename sidekick language
2021-04-28 08:55:00 +02:00
870966bd70
Types for j.m.lang.script language
2021-04-28 08:54:25 +02:00
3793b78efb
Types for j.m.baseLanguage.classifiers
2021-04-08 08:55:33 +02:00
27420433dc
Types for j.m.lang.behavior
2021-04-08 08:55:33 +02:00
693c760618
Add types for j.m.l.test language.
2021-03-23 12:48:07 +01:00
4755c0dfa0
Extract test helper classes into separate redistributable module
2021-02-14 15:12:58 +01:00
81831db86a
Move experimental controlflow aspect to a separate language
2021-02-06 15:28:03 +01:00
7ecad792e0
Types for generator.generationContext lang
2020-12-27 10:36:00 +01:00
4c0a06f904
Types for generator lang
2020-12-27 10:36:00 +01:00
cf85151dad
Types for constraints lang
2020-12-27 10:36:00 +01:00
b2abb1fda2
Types for quotation lang
2020-12-27 10:36:00 +01:00
c9e4ddccbf
Initial support for baseLanguageInternal types.
2020-08-17 17:19:34 +02:00
90e90540dc
Initial support for j.m.lang.typesystem lang's types.
2020-07-21 17:02:17 +02:00
a8907bedf2
Add types for blTypes lang. For the sake of PrimitiveType. Fix mpscore project.
2020-07-09 11:50:16 +02:00
ecb2569bad
Types for smodel lang.
2020-06-22 13:38:09 +02:00
ab99a0245c
Introduce runtime support module j.m.coderules.runtime.
2020-06-21 23:17:33 +02:00
1aa5608b34
Move files for wrongly placed coderulesExt lang.
2020-05-23 15:25:59 +02:00
f3b16186e6
Fix build scripts and regenerate.
2020-05-09 10:54:18 +02:00
5bac140e61
Drop unnecessary test languages.
2020-05-07 10:23:04 +02:00
cd3e56c16a
Handle case of language cycles in AspectClique, add simple test with lang cycle (MPSCR-60)
2020-05-07 02:21:26 +03:00
ea687efb21
Types for j.m.logic language.
2020-05-05 10:19:32 +02:00
f7a9c73199
Refactor out lang dependency on function type analogously to sequence type
...
As closures typesystem depends on collections due to sequence type,
so collections typesystem depends on closures due to function type.
E.g. consider typechecking of SequenceCreator.
2020-05-04 15:16:47 +03:00
b9fe7439bb
Add empty closuresExt files for lang and test solution, upd bulid script
2020-05-02 14:04:34 +03:00
451b892b9f
Add empty models for collectionsExt lang and tests
2020-05-02 13:43:03 +03:00
625ea8c049
Add j.m.bl.sequenceBase language with basic sequence typing rules
...
This lang doesn't depend on collections lang and extracts
common dependencies of closures and collections langs:
sequence term and its basic typing rules.
2020-05-02 13:43:03 +03:00
bd87873160
Move baseLanguage.tuplesExt lang to 'samples' and upd build script
2020-04-13 14:36:37 +03:00
8dfcff1844
Add typechecking for indexed tuples (new language .tuplesExt and tests)
2020-04-08 23:24:55 +03:00
7c781a7f87
Add javadocExt language to the build script.
...
Rename javadocExt language's location.
2019-12-08 21:36:51 +01:00
69bc34e8f9
Drop language j.m.l.smodel.types containing SNodeTypeOp that is no longer used.
2019-11-11 14:37:41 +01:00
ecd2594fed
Drop deprecated Reporting interface and all its usages.
...
Remove runtime solution that contained only Reporting.
2019-11-11 13:53:41 +01:00
fdd7c7fb19
New language j.m.bl.javadocExt to contain types aspect for javadoc.
2019-10-22 21:20:20 +02:00
57de11c3fe
Rename all modules/models having prefix j.m.typechecking to j.m.coderules.typechecking. The former is reserved.
2019-06-05 16:15:59 +02:00
dc1965fdc9
Introduce a test for running model checker on all models in the project as a part of CI.
2019-01-31 11:30:02 +01:00
1cb1472184
Name solutions and models consistently in samples (mpscore). Drop empty obsolete test solution.
2018-07-22 14:48:13 +02:00
7c1cb3b684
Name solutions and models consistently in samples (fitch)
2018-07-22 14:48:12 +02:00
a240f129c2
Name solutions and models consistently in samples (lambdacalc)
2018-07-22 11:26:12 +02:00
430b081085
Rename sandbox to demo solution in fitch sample.
2018-07-21 13:50:54 +02:00
Fedor Isakov