aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAge
...
| * 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
| * refactor: do not construct uneeded interpretationLibravatar Kristóf Marussy2023-09-13
| * 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
| * chore(deps): bump dependenciesLibravatar Kristóf Marussy2023-09-13
| * build: fix DockerfileLibravatar Kristóf Marussy2023-09-13
| * refactor(frontend): generation appearance fixesLibravatar Kristóf Marussy2023-09-13
| * fix: multi-objects with lower bound of 1Libravatar Kristóf Marussy2023-09-13
| * refactor(frontend): hide non-existent nodesLibravatar Kristóf Marussy2023-09-12
| * fix: SVG clipping path in FirefoxLibravatar Kristóf Marussy2023-09-12
| * 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
| * feat: integrate DSE with partial interpretationLibravatar Kristóf Marussy2023-09-09
| * refactor(store): neighborhood optimizationLibravatar Kristóf Marussy2023-09-07
| * fix(dse): best-first strategyLibravatar Kristóf Marussy2023-09-07
| * Merge remote-tracking branch 'nagilooh/datastructure' into partial-interpreta...Libravatar Kristóf Marussy2023-09-07
| |\
| | * 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
| | | |\
| | * | | Add visualization to restructured DSELibravatar nagilooh2023-09-07
| | | |/ | | |/|
| | * | Fix numerous issues with DSELibravatar nagilooh2023-09-06
| | |/
| | * Merge pull request #1 from nagilooh/datastructureLibravatar Oszkár Semeráth2023-09-05
| | |\
| | | * Add minor improvements and fixes for explorerLibravatar nagilooh2023-09-05
| | |/
| * | feat: declarative DSE rules and model refinementLibravatar Kristóf Marussy2023-09-07
| * | feat(dse): transformation rule builderLibravatar Kristóf Marussy2023-09-06
| * | refactor: rename store-dse-visualizationLibravatar Kristóf Marussy2023-09-05
| * | Merge remote-tracking branch 'OszkarSemerath/datastructure' into partial-inte...Libravatar Kristóf Marussy2023-09-05
| |\|
| | * fixed numerous issues with activation coderLibravatar OszkarSemerath2023-09-05
| * | Merge remote-tracking branch 'OszkarSemerath/datastructure' into partial-inte...Libravatar Kristóf Marussy2023-09-05
| |\|
| | * restructured DSE framework, failing buildLibravatar OszkarSemerath2023-09-05
| | * restructured DSE framework, failing buildLibravatar OszkarSemerath2023-09-05
| | * restructured DSE framework, failing buildLibravatar OszkarSemerath2023-09-05
| |/ |/|
* | Merge pull request #37 from nagilooh/design-space-explorationLibravatar Oszkár Semeráth2023-08-08
|\ \
| * | Add return value to fireRandomActivationLibravatar Attila Ficsor2023-08-08
| * | Improve BestFirstStrategy performanceLibravatar Attila Ficsor2023-08-08
| * | Merge remote-tracking branch 'graphs4value/main' into design-space-explorationLibravatar Attila Ficsor2023-08-08
| |\ \ | |/ / |/| |
* | | Merge pull request #36 from OszkarSemerath/datastructureLibravatar Oszkár Semeráth2023-08-08
|\ \ \
| * | | Added test for StateEquivalenceChecker Unknown outcome.Libravatar OszkarSemerath2023-08-08
| * | | Unused condition simplified.Libravatar OszkarSemerath2023-08-08
| * | | SuppressWarnings for using deterministic random in hash code generation.Libravatar OszkarSemerath2023-08-08
|/ / /
* | | Merge pull request #35 from OszkarSemerath/datastructureLibravatar Oszkár Semeráth2023-08-08
|\ \ \