aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAge
* 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>
* 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
| |
| * build: fix DockerfileLibravatar Kristóf Marussy2023-09-13
| | | | | | | | | | | | | | * Automatically invoke the distTar Gradle task before building the container. * Avoid cache mounts for package managers, because they don't support ARG interpolation and may lead to locking conflicts when a cache is accidentally shared between containers.
| * refactor(frontend): generation appearance fixesLibravatar Kristóf Marussy2023-09-13
| | | | | | | | | | * Allow scrolling the tab bar. * Less prominent error text.
| * fix: multi-objects with lower bound of 1Libravatar Kristóf Marussy2023-09-13
| | | | | | | | | | If an object has a lower bound of 1, but it is still a multi-object, model generation can't be finished yet.
| * refactor(frontend): hide non-existent nodesLibravatar Kristóf Marussy2023-09-12
| |
| * fix: SVG clipping path in FirefoxLibravatar Kristóf Marussy2023-09-12
| | | | | | | | "#" should not appear in URI fragments, use "::" instead.
| * feat: connect model generator to UILibravatar Kristóf Marussy2023-09-12
| |
| * fix: avoid GLOP error message on stderrLibravatar Kristóf Marussy2023-09-11
| |
| * feat: cancellation token for ModelStoreLibravatar Kristóf Marussy2023-09-11
| |
| * fix: build failures after integrating generationLibravatar Kristóf Marussy2023-09-11
| |
| * fix: VIATRA projection indexer errorLibravatar Kristóf Marussy2023-09-10
| | | | | | | | | | | | | | | | | | | | | | When a projection indexer is constructed for a production node, the projection memory is only populated if changes are being propagated. The cache doesn't get populated even if changes are flushed afterwards. This not only returns invalid query results, but also a duplicate deletion exception will be thrown when the production node tries to delete a tuple from the index memory. To counteract this issue, we enable update propagation while a matcher (and its associated indexers) are being created.
| * feat: integrate DSE with partial interpretationLibravatar Kristóf Marussy2023-09-09
| |
| * refactor(store): neighborhood optimizationLibravatar Kristóf Marussy2023-09-07
| | | | | | | | | | * Use LinekdHashMap in delta-based stores to improve iteration performance * Avoid allocating ObjectCodeImpl
| * fix(dse): best-first strategyLibravatar Kristóf Marussy2023-09-07
| | | | | | | | The query engine must be flushed after firing a tranformation activation.
| * Merge remote-tracking branch 'nagilooh/datastructure' into ↵Libravatar Kristóf Marussy2023-09-07
| |\ | | | | | | | | | partial-interpretation
| | * Add missing copyright headersLibravatar nagilooh2023-09-07
| | |
| | * fix issues with DSE frameworkLibravatar nagilooh2023-09-07
| | |
| | * Merge remote-tracking branch 'oszkar/datastructure' into datastructureLibravatar nagilooh2023-09-07
| | |\
| | | * missing synchronized statements and flush addedLibravatar OszkarSemerath2023-09-07
| | | |
| | | * Sample tests for the dse adapterLibravatar OszkarSemerath2023-09-07
| | | |
| | | * Merge pull request #2 from nagilooh/datastructureLibravatar Oszkár Semeráth2023-09-06
| | | |\ | | | | | | | | | | Fix numerous issues with DSE
generated by cgit v1.2.3-54-g00ecf (git 2.45.1) at 2024-05-27 00:38:16 +0000