aboutsummaryrefslogtreecommitdiffstats
path: root/subprojects
Commit message (Expand)AuthorAge
* Merge remote-tracking branch 'upstream/main' into partial-interpretationLibravatar Kristóf Marussy2023-09-14
|\
| * SuppressWarnings for using pseudorandom number generator in non-security sens...Libravatar nagilooh2023-08-25
| * Add missing copyright headersLibravatar nagilooh2023-08-25
| * Move equivalence checking to new methodLibravatar nagilooh2023-08-25
| * Add delete action and additional tests for equalsLibravatar nagilooh2023-08-25
| * Add new transformation rule actionsLibravatar nagilooh2023-08-24
* | 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
* | 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
| * | | Add visualization to restructured DSELibravatar nagilooh2023-09-07
| |/ /
| * | Fix numerous issues with DSELibravatar nagilooh2023-09-06
| * | 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
* | | 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
| |/
| * 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
| |\
| | * 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
| | * ObjectCodeImpl.effectiveSize introduced to correctly handle models with diffe...Libravatar OszkarSemerath2023-08-08
| | * Added two build tests for custom coding and equivalence checking algorithms.Libravatar OszkarSemerath2023-08-08
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-06-30 21:38:03 +0000