aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAge
...
| * 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
| | * | | 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 explorer
| | | * 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 ↵Libravatar Kristóf Marussy2023-09-05
| |\| | | | | | | | | | partial-interpretation
| | * fixed numerous issues with activation coderLibravatar OszkarSemerath2023-09-05
| | |
| * | Merge remote-tracking branch 'OszkarSemerath/datastructure' into ↵Libravatar Kristóf Marussy2023-09-05
| |\| | | | | | | | | | partial-interpretation
| | * 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
|\ \ | | | | | | Design-space exploration improvements
| * | 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
|\ \ \ | | | | | | | | SuppressWarnings for using deterministic random in hash code generation.
| * | | 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
|\ \ \ | | | | | | | | New tests and improvements for state coding
| * | | ObjectCodeImpl.effectiveSize introduced to correctly handle models with ↵Libravatar OszkarSemerath2023-08-08
| | | | | | | | | | | | | | | | different indices.
| * | | Added two build tests for custom coding and equivalence checking algorithms.Libravatar OszkarSemerath2023-08-08
| | | |
| * | | Test cases for Equivalence accuracy measurementsLibravatar OszkarSemerath2023-08-08
| | | |
| * | | Non-lazy NeighbourhoodCalculator for more accurate StateCoderBuilderImpl.Libravatar OszkarSemerath2023-08-08
| | | |
| * | | Tests + small changes for AbstractNeighbourhoodCalculator and ↵Libravatar OszkarSemerath2023-08-07
| | | | | | | | | | | | | | | | StateEquivalenceCheckerImpl
| * | | StateCoderBuilder improvement with individuals, and customizable calculators.Libravatar OszkarSemerath2023-08-07
|/ / /
| * | Merge remote-tracking branch 'graphs4value/main' into design-space-explorationLibravatar Attila Ficsor2023-08-08
| |\ \ | |/ / |/| |
* | | Merge pull request #34 from OszkarSemerath/datastructureLibravatar Oszkár Semeráth2023-08-06
|\ \ \ | | | | | | | | Performance++: ModelVersion.equals is fast, and hash is cached
| * | | Performance++: ModelVersion.equals is fast and simple and ModelVersion.hash ↵Libravatar OszkarSemerath2023-08-05
|/ / / | | | | | | | | | cached.
| * | Refactor search strategy to improve readabilityLibravatar Attila Ficsor2023-08-08
| | |
| * | Improve performance of best first earchLibravatar Attila Ficsor2023-08-08
| | |
| * | Reduce complexity of Depth first searchLibravatar Attila Ficsor2023-08-08
| | |
| * | Remove visualization from DSE testsLibravatar Attila Ficsor2023-08-07
| | |
| * | Disable testsLibravatar Attila Ficsor2023-08-07
| | |
| * | Add dummy objective with random fitnessLibravatar Attila Ficsor2023-08-07
| | |
| * | Update visualizer builderLibravatar Attila Ficsor2023-08-07
| | |
| * | Clean up design space explorationLibravatar Attila Ficsor2023-08-07
| | |
| * | Update exploration strategiesLibravatar Attila Ficsor2023-08-07
|/ / | | | | | | | | - Fix best first search algorithm - Improve efficiency of exploration adapter
* | Merge pull request #33 from OszkarSemerath/datastructureLibravatar Oszkár Semeráth2023-08-04
|\ \ | | | | | | Initial version of State Coder
| * \ Merge branch 'graphs4value:main' into datastructureLibravatar Oszkár Semeráth2023-08-04
| |\ \ | |/ / |/| |