Commit message (Collapse) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | | refactor(store): neighborhood optimization | Kristóf Marussy | 2023-09-07 | |
| | | | | | | | | | | * Use LinekdHashMap in delta-based stores to improve iteration performance * Avoid allocating ObjectCodeImpl | |||
* | | fix(dse): best-first strategy | Kristóf Marussy | 2023-09-07 | |
| | | | | | | | | The query engine must be flushed after firing a tranformation activation. | |||
* | | Merge remote-tracking branch 'nagilooh/datastructure' into ↵ | Kristóf Marussy | 2023-09-07 | |
|\ \ | | | | | | | | | | partial-interpretation | |||
| * | | Add missing copyright headers | nagilooh | 2023-09-07 | |
| | | | ||||
| * | | fix issues with DSE framework | nagilooh | 2023-09-07 | |
| | | | ||||
| * | | Merge remote-tracking branch 'oszkar/datastructure' into datastructure | nagilooh | 2023-09-07 | |
| |\ \ | ||||
| | * | | missing synchronized statements and flush added | OszkarSemerath | 2023-09-07 | |
| | | | | ||||
| | * | | Sample tests for the dse adapter | OszkarSemerath | 2023-09-07 | |
| | | | | ||||
| * | | | Add visualization to restructured DSE | nagilooh | 2023-09-07 | |
| |/ / | ||||
| * | | Fix numerous issues with DSE | nagilooh | 2023-09-06 | |
| | | | ||||
| * | | Add minor improvements and fixes for explorer | nagilooh | 2023-09-05 | |
| | | | ||||
* | | | feat: declarative DSE rules and model refinement | Kristóf Marussy | 2023-09-07 | |
| | | | ||||
* | | | feat(dse): transformation rule builder | Kristóf Marussy | 2023-09-06 | |
| | | | ||||
* | | | Merge remote-tracking branch 'OszkarSemerath/datastructure' into ↵ | Kristóf Marussy | 2023-09-05 | |
|\| | | | | | | | | | | | partial-interpretation | |||
| * | | fixed numerous issues with activation coder | OszkarSemerath | 2023-09-05 | |
| | | | ||||
* | | | Merge remote-tracking branch 'OszkarSemerath/datastructure' into ↵ | Kristóf Marussy | 2023-09-05 | |
|\| | | | | | | | | | | | partial-interpretation | |||
| * | | restructured DSE framework, failing build | OszkarSemerath | 2023-09-05 | |
| | | | ||||
| * | | restructured DSE framework, failing build | OszkarSemerath | 2023-09-05 | |
| | | | ||||
| * | | restructured DSE framework, failing build | OszkarSemerath | 2023-09-05 | |
| |/ | ||||
| * | Add return value to fireRandomActivation | Attila Ficsor | 2023-08-08 | |
| | | ||||
| * | Improve BestFirstStrategy performance | Attila Ficsor | 2023-08-08 | |
| | | ||||
| * | Merge remote-tracking branch 'graphs4value/main' into design-space-exploration | Attila Ficsor | 2023-08-08 | |
| |\ | ||||
| | * | Added test for StateEquivalenceChecker Unknown outcome. | OszkarSemerath | 2023-08-08 | |
| | | | ||||
| | * | Unused condition simplified. | OszkarSemerath | 2023-08-08 | |
| | | | ||||
| | * | SuppressWarnings for using deterministic random in hash code generation. | OszkarSemerath | 2023-08-08 | |
| | | | ||||
| | * | ObjectCodeImpl.effectiveSize introduced to correctly handle models with ↵ | OszkarSemerath | 2023-08-08 | |
| | | | | | | | | | | | | different indices. | |||
| | * | Added two build tests for custom coding and equivalence checking algorithms. | OszkarSemerath | 2023-08-08 | |
| | | | ||||
| | * | Test cases for Equivalence accuracy measurements | OszkarSemerath | 2023-08-08 | |
| | | | ||||
| | * | Non-lazy NeighbourhoodCalculator for more accurate StateCoderBuilderImpl. | OszkarSemerath | 2023-08-08 | |
| | | | ||||
| | * | Tests + small changes for AbstractNeighbourhoodCalculator and ↵ | OszkarSemerath | 2023-08-07 | |
| | | | | | | | | | | | | StateEquivalenceCheckerImpl | |||
| | * | StateCoderBuilder improvement with individuals, and customizable calculators. | OszkarSemerath | 2023-08-07 | |
| | | | ||||
| * | | Merge remote-tracking branch 'graphs4value/main' into design-space-exploration | Attila Ficsor | 2023-08-08 | |
| |\| | ||||
| | * | Performance++: ModelVersion.equals is fast and simple and ModelVersion.hash ↵ | OszkarSemerath | 2023-08-05 | |
| | | | | | | | | | | | | cached. | |||
| * | | Refactor search strategy to improve readability | Attila Ficsor | 2023-08-08 | |
| | | | ||||
| * | | Improve performance of best first earch | Attila Ficsor | 2023-08-08 | |
| | | | ||||
| * | | Reduce complexity of Depth first search | Attila Ficsor | 2023-08-08 | |
| | | | ||||
| * | | Remove visualization from DSE tests | Attila Ficsor | 2023-08-07 | |
| | | | ||||
| * | | Disable tests | Attila Ficsor | 2023-08-07 | |
| | | | ||||
| * | | Add dummy objective with random fitness | Attila Ficsor | 2023-08-07 | |
| | | | ||||
| * | | Update visualizer builder | Attila Ficsor | 2023-08-07 | |
| | | | ||||
| * | | Clean up design space exploration | Attila Ficsor | 2023-08-07 | |
| | | | ||||
| * | | Update exploration strategies | Attila Ficsor | 2023-08-07 | |
| |/ | | | | | | | | | - Fix best first search algorithm - Improve efficiency of exploration adapter | |||
| * | Merge branch 'graphs4value:main' into datastructure | Oszkár Semeráth | 2023-08-04 | |
| |\ | ||||
| | * | Add missing copyright headers | nagilooh | 2023-08-04 | |
| | | | ||||
| | * | Update test cases for new Version implementation | nagilooh | 2023-08-03 | |
| | | | ||||
| | * | Improve visualization | nagilooh | 2023-08-03 | |
| | | | | | | | | | | | | | | | | | | | | | -Display values from all relevant interpretations -Support TruthValue -Add tabular formatting -Add colors | |||
| | * | Move DSE to new subproject | nagilooh | 2023-08-02 | |
| | | | ||||
| | * | Merge remote-tracking branch 'origin/main' into design-space-exploration | nagilooh | 2023-08-02 | |
| | |\ | ||||
| | * | | Update CRA test case | nagilooh | 2023-08-02 | |
| | | | | ||||
| | * | | Remove objective levels | nagilooh | 2023-08-02 | |
| | | | |