Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | fix: example Statechart specification | 2023-09-13 | |
| | | | | The default multiplicity is [0..1]. | ||
* | chore(deps): bump dependencies | 2023-09-13 | |
| | |||
* | build: fix Dockerfile | 2023-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 fixes | 2023-09-13 | |
| | | | | | * Allow scrolling the tab bar. * Less prominent error text. | ||
* | fix: multi-objects with lower bound of 1 | 2023-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 nodes | 2023-09-12 | |
| | |||
* | fix: SVG clipping path in Firefox | 2023-09-12 | |
| | | | | "#" should not appear in URI fragments, use "::" instead. | ||
* | feat: connect model generator to UI | 2023-09-12 | |
| | |||
* | fix: avoid GLOP error message on stderr | 2023-09-11 | |
| | |||
* | feat: cancellation token for ModelStore | 2023-09-11 | |
| | |||
* | fix: build failures after integrating generation | 2023-09-11 | |
| | |||
* | fix: VIATRA projection indexer error | 2023-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 interpretation | 2023-09-09 | |
| | |||
* | refactor(store): neighborhood optimization | 2023-09-07 | |
| | | | | | * Use LinekdHashMap in delta-based stores to improve iteration performance * Avoid allocating ObjectCodeImpl | ||
* | fix(dse): best-first strategy | 2023-09-07 | |
| | | | | The query engine must be flushed after firing a tranformation activation. | ||
* | Merge remote-tracking branch 'nagilooh/datastructure' into ↵ | 2023-09-07 | |
|\ | | | | | | | partial-interpretation | ||
| * | Add missing copyright headers | 2023-09-07 | |
| | | |||
| * | fix issues with DSE framework | 2023-09-07 | |
| | | |||
| * | Merge remote-tracking branch 'oszkar/datastructure' into datastructure | 2023-09-07 | |
| |\ | |||
| | * | missing synchronized statements and flush added | 2023-09-07 | |
| | | | |||
| | * | Sample tests for the dse adapter | 2023-09-07 | |
| | | | |||
| | * | Merge pull request #2 from nagilooh/datastructure | 2023-09-06 | |
| | |\ | | | | | | | | | Fix numerous issues with DSE | ||
| * | | | Add visualization to restructured DSE | 2023-09-07 | |
| | |/ | |/| | |||
| * | | Fix numerous issues with DSE | 2023-09-06 | |
| |/ | |||
| * | Merge pull request #1 from nagilooh/datastructure | 2023-09-05 | |
| |\ | | | | | | | Add minor improvements and fixes for explorer | ||
| | * | Add minor improvements and fixes for explorer | 2023-09-05 | |
| |/ | |||
* | | feat: declarative DSE rules and model refinement | 2023-09-07 | |
| | | |||
* | | feat(dse): transformation rule builder | 2023-09-06 | |
| | | |||
* | | refactor: rename store-dse-visualization | 2023-09-05 | |
| | | |||
* | | Merge remote-tracking branch 'OszkarSemerath/datastructure' into ↵ | 2023-09-05 | |
|\| | | | | | | | partial-interpretation | ||
| * | fixed numerous issues with activation coder | 2023-09-05 | |
| | | |||
* | | Merge remote-tracking branch 'OszkarSemerath/datastructure' into ↵ | 2023-09-05 | |
|\| | | | | | | | partial-interpretation | ||
| * | restructured DSE framework, failing build | 2023-09-05 | |
| | | |||
| * | restructured DSE framework, failing build | 2023-09-05 | |
| | | |||
| * | restructured DSE framework, failing build | 2023-09-05 | |
| | | |||
| * | Merge pull request #37 from nagilooh/design-space-exploration | 2023-08-08 | |
| |\ | | | | | | | Design-space exploration improvements | ||
| | * | Add return value to fireRandomActivation | 2023-08-08 | |
| | | | |||
| | * | Improve BestFirstStrategy performance | 2023-08-08 | |
| | | | |||
| | * | Merge remote-tracking branch 'graphs4value/main' into design-space-exploration | 2023-08-08 | |
| | |\ | | |/ | |/| | |||
| * | | Merge pull request #36 from OszkarSemerath/datastructure | 2023-08-08 | |
| |\ \ | | | | | | | | | SuppressWarnings for using deterministic random in hash code generation. | ||
| | * | | Added test for StateEquivalenceChecker Unknown outcome. | 2023-08-08 | |
| | | | | |||
| | * | | Unused condition simplified. | 2023-08-08 | |
| | | | | |||
| | * | | SuppressWarnings for using deterministic random in hash code generation. | 2023-08-08 | |
| |/ / | |||
| * | | Merge pull request #35 from OszkarSemerath/datastructure | 2023-08-08 | |
| |\ \ | | | | | | | | | New tests and improvements for state coding | ||
| | * | | ObjectCodeImpl.effectiveSize introduced to correctly handle models with ↵ | 2023-08-08 | |
| | | | | | | | | | | | | | | | | different indices. | ||
| | * | | Added two build tests for custom coding and equivalence checking algorithms. | 2023-08-08 | |
| | | | | |||
| | * | | Test cases for Equivalence accuracy measurements | 2023-08-08 | |
| | | | | |||
| | * | | Non-lazy NeighbourhoodCalculator for more accurate StateCoderBuilderImpl. | 2023-08-08 | |
| | | | | |||
| | * | | Tests + small changes for AbstractNeighbourhoodCalculator and ↵ | 2023-08-07 | |
| | | | | | | | | | | | | | | | | StateEquivalenceCheckerImpl | ||
| | * | | StateCoderBuilder improvement with individuals, and customizable calculators. | 2023-08-07 | |
| |/ / |