aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAge
...
* | | 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
|\ \ \
| * | | 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
| * | | 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 StateEquivalenc...Libravatar OszkarSemerath2023-08-07
| * | | 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 simple and ModelVersion.hash c...Libravatar OszkarSemerath2023-08-05
|/ / /
| * | 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
|/ /
* | Merge pull request #33 from OszkarSemerath/datastructureLibravatar Oszkár Semeráth2023-08-04
|\ \
| * \ Merge branch 'graphs4value:main' into datastructureLibravatar Oszkár Semeráth2023-08-04
| |\ \ | |/ / |/| |
* | | Merge pull request #32 from nagilooh/design-space-explorationLibravatar Oszkár Semeráth2023-08-04
|\ \ \
| * | | Add missing copyright headersLibravatar nagilooh2023-08-04
| * | | Update test cases for new Version implementationLibravatar nagilooh2023-08-03
| * | | Improve visualizationLibravatar nagilooh2023-08-03
| * | | Move DSE to new subprojectLibravatar nagilooh2023-08-02
| * | | Merge remote-tracking branch 'origin/main' into design-space-explorationLibravatar nagilooh2023-08-02
| |\ \ \ | |/ / / |/| | |
| * | | Update CRA test caseLibravatar nagilooh2023-08-02
| * | | Remove objective levelsLibravatar nagilooh2023-08-02
| * | | Change Set to LinkedHashSet, remove unused methodsLibravatar nagilooh2023-08-02
| * | | Update visualizationLibravatar nagilooh2023-08-02
| * | | Add trivial test cases for DSE StrategiesLibravatar nagilooh2023-08-02
| * | | Add seed option for randomLibravatar nagilooh2023-08-02
| * | | Add visualization using DOT languageLibravatar nagilooh2023-08-02
| * | | Add new test filesLibravatar nagilooh2023-08-02
| * | | Fix issue with storing trajectoryLibravatar nagilooh2023-07-26
| * | | Add visualization adapterLibravatar nagilooh2023-07-26
| * | | Add best first strategyLibravatar nagilooh2023-07-26
| * | | Add Design space exploration and DFS strategyLibravatar nagilooh2023-07-26
| | * | Intermediate commit with Lazy NeighbourhoodCalculator and StateEquivalenceChe...Libravatar OszkarSemerath2023-08-03
| | * | Initial prototype of the StateCoderAdapter based on NeighbourhoodCalculator.Libravatar OszkarSemerath2023-07-29
| |/ / |/| |
* | | Merge pull request #31 from OszkarSemerath/datastructureLibravatar Oszkár Semeráth2023-07-26
|\ \ \ | |/ / |/| |
| * | Versioned.commit + Versioned.restore uses Version instead of long.Libravatar OszkarSemerath2023-07-26
| * | Merge branch 'graphs4value:main' into datastructureLibravatar Oszkár Semeráth2023-07-26
| |\ \ | |/ / |/| |
* | | Merge pull request #30 from OszkarSemerath/datastructureLibravatar Oszkár Semeráth2023-07-24
|\ \ \
| | * | Refactoring packages related to VersionedMapDeltaImpl + VersionedMapStoreStat...Libravatar OszkarSemerath2023-07-24
| |/ /