aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAge
* build: prepare for Maven publicationLibravatar Kristóf Marussy2023-11-17
|
* Merge pull request #47 from kris7t/generator-facadeLibravatar Kristóf Marussy2023-11-03
|\ | | | | Generator facade
| * refactor: smenatics and facadesLibravatar Kristóf Marussy2023-11-03
| | | | | | | | | | Also moves model metadata into language-web, since we only use it on the frontent.
| * refactor(langauge-web): use generator facadesLibravatar Kristóf Marussy2023-11-03
| |
| * feat: model semantics facadeLibravatar Kristóf Marussy2023-11-03
| |
| * feat: model generator facadeLibravatar Kristóf Marussy2023-11-03
|/
* refactor(interpreter): aggreagator batchingLibravatar Kristóf Marussy2023-10-26
| | | | | | | | | | | | | Optimize calls to potentially costly aggregators by only extracting the value from a stateful aggregator when it is needed by subsequent RETE nodes. This optimization only works with timeless evaluation and delete-and-rederive evaluation disabled, i.e., only for queries without any recursion. Potentially, it could also be extended to other mailboxes if needed. We replace the BehaviorChangingMailbox of ColumnAggregatorNode with a DefaultMailbox to force update batching. Batched updates only extract the value from the aggregator when it has been already updated with all received tuples.
* chore(deps): dedupe Yarn dependenciesLibravatar Kristóf Marussy2023-10-20
|
* Merge pull request #46 from ↵Libravatar Kristóf Marussy2023-10-20
|\ | | | | | | | | graphs4value/dependabot/npm_and_yarn/babel/traverse-7.23.2 build(deps): bump @babel/traverse from 7.22.10 to 7.23.2
| * build(deps): bump @babel/traverse from 7.22.10 to 7.23.2Libravatar dependabot[bot]2023-10-19
| | | | | | | | | | | | | | | | | | | | | | | | | | | | Bumps [@babel/traverse](https://github.com/babel/babel/tree/HEAD/packages/babel-traverse) from 7.22.10 to 7.23.2. - [Release notes](https://github.com/babel/babel/releases) - [Changelog](https://github.com/babel/babel/blob/main/CHANGELOG.md) - [Commits](https://github.com/babel/babel/commits/v7.23.2/packages/babel-traverse) --- updated-dependencies: - dependency-name: "@babel/traverse" dependency-type: indirect ... Signed-off-by: dependabot[bot] <support@github.com>
* | Merge pull request #43 from graphs4value/dependabot/npm_and_yarn/postcss-8.4.31Libravatar Kristóf Marussy2023-10-20
|\ \ | |/ |/| build(deps): bump postcss from 8.4.27 to 8.4.31
| * build(deps): bump postcss from 8.4.27 to 8.4.31dependabot/npm_and_yarn/postcss-8.4.31Libravatar dependabot[bot]2023-10-08
| | | | | | | | | | | | | | | | | | | | | | | | | | | | Bumps [postcss](https://github.com/postcss/postcss) from 8.4.27 to 8.4.31. - [Release notes](https://github.com/postcss/postcss/releases) - [Changelog](https://github.com/postcss/postcss/blob/main/CHANGELOG.md) - [Commits](https://github.com/postcss/postcss/compare/8.4.27...8.4.31) --- updated-dependencies: - dependency-name: postcss dependency-type: indirect ... Signed-off-by: dependabot[bot] <support@github.com>
* | chore(deps): bump dependenciesLibravatar Kristóf Marussy2023-10-19
| |
* | fix(frontend): contains contextual keywordLibravatar Kristóf Marussy2023-10-16
| | | | | | | | | | | | | | Make sure contains is parsed as a contextual keyword whenever possible. The existing cut operator wasn't sufficient for this, so we also add dynamic precedence to the grammar rule.
* | Merge pull request #45 from kris7t/interpreter-communication-trackerLibravatar Kristóf Marussy2023-10-15
|\ \ | | | | | | Optimize Interpreter communication tracker
| * | refactor(interpreter): communication tracker algorithmLibravatar Kristóf Marussy2023-10-15
| | | | | | | | | | | | | | | | | | | | | Use a faster algorithm to detect cycles in the RETE network. Only if cycles are detected fall back to the transitive closure algorithm to construct the SCCs and the reduced graph.
| * | refactor(interpreter): generify RepresentativeElectionAlgorithmLibravatar Kristóf Marussy2023-10-15
|/ / | | | | | | | | Let representative election be used in places where IncSCCAlg was used with generic arguments other than Object.
* | Merge pull request #44 from kris7t/interpreter-performance-fixLibravatar Kristóf Marussy2023-10-15
|\ \ | |/ |/| Interpreter performance fix
| * refactor(semantics): simple name creationLibravatar Kristóf Marussy2023-10-15
| | | | | | | | Use a simpler data structure for constructing simple names.
| * refactor(interpreter-rete): recipe hashingLibravatar Kristóf Marussy2023-10-14
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Use isomorphism-aware hashing to speed up RecipeRecognizer. Due to possibly cyclic (recursive) recipes, we can't recursively turn recipes into a canonical form. Recipes referring to already canonical (non-recurisve, or recursive and entirely canonicalized) recipes can be hashed, while recursive recipes in the middle of caninicalization still have to be compared more slowly by their contents. To keep the list of recipes compared by contents small, recipes are assigned a hash code whenever possible. We keep the equivalence class IDs for recipes, as there might be hash code clashes, as well as recursive recipes that only later get assigned a hash code. Also fixes a concurrency problem with equivalence class IDs by using an AtomicLong. Also reworks recipe instantiation, as now recipes might be canonicalized before they are instantiated.
| * fix(query-interpreter): register Recipes packageLibravatar Kristóf Marussy2023-10-14
|/ | | | | Make sure we never fall back to reflective EObjectImpl instead of generated classes when comparing recipes, as the reflective version is much slower.
* fix: Docker image tagsLibravatar Kristóf Marussy2023-09-27
| | | | | | | Make sure to push to both the latest tag and the current version. See https://stackoverflow.com/a/60724547 Also fixes the tag for the Temurin JDK17 image.
* Merge pull request #42 from kris7t/save-in-urlLibravatar Kristóf Marussy2023-09-26
|\ | | | | feat(frontend): save in URL fragment
| * feat(frontend): save in URL fragmentLibravatar Kristóf Marussy2023-09-26
|/
* fix(query-interpreter): functional dependenciesLibravatar Kristóf Marussy2023-09-19
|
* fix(frontend): typo in EditorThemeLibravatar Kristóf Marussy2023-09-19
|
* Merge pull request #41 from kris7t/frontend-fixesLibravatar Kristóf Marussy2023-09-17
|\ | | | | Frontend fixes
| * fix(frontend): XState warningLibravatar Kristóf Marussy2023-09-17
| | | | | | | | Make sure we do not create conflicting transitions.
| * fix(frontend): compilation on WindowsLibravatar Kristóf Marussy2023-09-17
| |
| * chore(deps): bump frontend dependenciesLibravatar Kristóf Marussy2023-09-17
|/
* chore: remove VIATRA brandingLibravatar Kristóf Marussy2023-09-16
| | | | | | | | Rename VIATRA subprojects to Refinery Interpreter to avoid interfering with Eclipse Foundation trademarks. Uses refering to a specific (historical) version of VIATRA were kept to avoid ambiguity.
* build: fix Sonar quality gate issuesLibravatar Kristóf Marussy2023-09-16
| | | | | Removes VIATRA sources from coverage anaylsis, since those files are maintained by the VIATRA project.
* Merge pull request #40 from kris7t/update-readmeLibravatar Kristóf Marussy2023-09-14
|\ | | | | Update README.md
| * chore: update README.mdLibravatar Kristóf Marussy2023-09-14
|/
* Merge pull request #39 from kris7t/partial-interpretationLibravatar Kristóf Marussy2023-09-14
|\ | | | | Implement partial interpretation based model generation
| * Merge remote-tracking branch 'upstream/main' into partial-interpretationLibravatar Kristóf Marussy2023-09-14
| |\ | |/ |/|
* | Merge pull request #38 from nagilooh/design-space-explorationLibravatar Attila Ficsor2023-08-25
|\ \ | | | | | | Comparable transformation rule action
| * | SuppressWarnings for using pseudorandom number generator in non-security ↵Libravatar nagilooh2023-08-25
| | | | | | | | | | | | sensitive contexts
| * | Add missing copyright headersLibravatar nagilooh2023-08-25
| | |
| * | Move equivalence checking to new methodLibravatar nagilooh2023-08-25
| | | | | | | | | | | | | | | | | | Also: - Rename Symbol to Variable - Make fire for InsertAction with low arity faster
| * | Add delete action and additional tests for equalsLibravatar nagilooh2023-08-25
| | |
| * | Add new transformation rule actionsLibravatar nagilooh2023-08-24
|/ / | | | | | | | | - TransformationActions can be created after creating the model - equivalence of actions can be checked
| * build: also tag Docker image as 'latest'Libravatar Kristóf Marussy2023-09-14
| |
| * feat: specify random seed for generationLibravatar Kristóf Marussy2023-09-14
| |
| * fix(frontend): keep live while model generationLibravatar Kristóf Marussy2023-09-13
| | | | | | | | | | Do not close the connection in a background tab if the model generation is still running, because closing the connection will immediately cancel generation.
| * refactor: do not construct uneeded interpretationLibravatar Kristóf Marussy2023-09-13
| | | | | | | | | | | | Model generation only has to extract the candidate interpretaion, partial intepretation queries are only needed if they appear in a rule, constraint, or objective.
| * fix: hide new node names in generated modelsLibravatar Kristóf Marussy2023-09-13
| |
| * fix: multiplicity error for non-existing objectsLibravatar Kristóf Marussy2023-09-13
| |
| * fix: example Statechart specificationLibravatar Kristóf Marussy2023-09-13
| | | | | | | | The default multiplicity is [0..1].
| * chore(deps): bump dependenciesLibravatar Kristóf Marussy2023-09-13
| |