Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | feat: declarative DSE rules and model refinement | 2023-09-07 | |
| | |||
* | feat(dse): transformation rule builder | 2023-09-06 | |
| | |||
* | refactor: rename store-dse-visualization | 2023-09-05 | |
| | |||
* | Merge remote-tracking branch 'OszkarSemerath/datastructure' into ↵ | 2023-09-05 | |
|\ | | | | | | | partial-interpretation | ||
| * | fixed numerous issues with activation coder | 2023-09-05 | |
| | | |||
* | | Merge remote-tracking branch 'OszkarSemerath/datastructure' into ↵ | 2023-09-05 | |
|\| | | | | | | | partial-interpretation | ||
| * | restructured DSE framework, failing build | 2023-09-05 | |
| | | |||
| * | restructured DSE framework, failing build | 2023-09-05 | |
| | | |||
| * | restructured DSE framework, failing build | 2023-09-05 | |
| | | |||
| * | Merge pull request #37 from nagilooh/design-space-exploration | 2023-08-08 | |
| |\ | | | | | | | Design-space exploration improvements | ||
| | * | Add return value to fireRandomActivation | 2023-08-08 | |
| | | | |||
| | * | Improve BestFirstStrategy performance | 2023-08-08 | |
| | | | |||
| | * | Merge remote-tracking branch 'graphs4value/main' into design-space-exploration | 2023-08-08 | |
| | |\ | | |/ | |/| | |||
| * | | Merge pull request #36 from OszkarSemerath/datastructure | 2023-08-08 | |
| |\ \ | | | | | | | | | SuppressWarnings for using deterministic random in hash code generation. | ||
| | * | | Added test for StateEquivalenceChecker Unknown outcome. | 2023-08-08 | |
| | | | | |||
| | * | | Unused condition simplified. | 2023-08-08 | |
| | | | | |||
| | * | | SuppressWarnings for using deterministic random in hash code generation. | 2023-08-08 | |
| |/ / | |||
| * | | Merge pull request #35 from OszkarSemerath/datastructure | 2023-08-08 | |
| |\ \ | | | | | | | | | New tests and improvements for state coding | ||
| | * | | ObjectCodeImpl.effectiveSize introduced to correctly handle models with ↵ | 2023-08-08 | |
| | | | | | | | | | | | | | | | | different indices. | ||
| | * | | Added two build tests for custom coding and equivalence checking algorithms. | 2023-08-08 | |
| | | | | |||
| | * | | Test cases for Equivalence accuracy measurements | 2023-08-08 | |
| | | | | |||
| | * | | Non-lazy NeighbourhoodCalculator for more accurate StateCoderBuilderImpl. | 2023-08-08 | |
| | | | | |||
| | * | | Tests + small changes for AbstractNeighbourhoodCalculator and ↵ | 2023-08-07 | |
| | | | | | | | | | | | | | | | | StateEquivalenceCheckerImpl | ||
| | * | | StateCoderBuilder improvement with individuals, and customizable calculators. | 2023-08-07 | |
| |/ / | |||
| | * | Merge remote-tracking branch 'graphs4value/main' into design-space-exploration | 2023-08-08 | |
| | |\ | | |/ | |/| | |||
| * | | Merge pull request #34 from OszkarSemerath/datastructure | 2023-08-06 | |
| |\ \ | | | | | | | | | Performance++: ModelVersion.equals is fast, and hash is cached | ||
| | * | | Performance++: ModelVersion.equals is fast and simple and ModelVersion.hash ↵ | 2023-08-05 | |
| |/ / | | | | | | | | | | cached. | ||
| | * | Refactor search strategy to improve readability | 2023-08-08 | |
| | | | |||
| | * | Improve performance of best first earch | 2023-08-08 | |
| | | | |||
| | * | Reduce complexity of Depth first search | 2023-08-08 | |
| | | | |||
| | * | Remove visualization from DSE tests | 2023-08-07 | |
| | | | |||
| | * | Disable tests | 2023-08-07 | |
| | | | |||
| | * | Add dummy objective with random fitness | 2023-08-07 | |
| | | | |||
| | * | Update visualizer builder | 2023-08-07 | |
| | | | |||
| | * | Clean up design space exploration | 2023-08-07 | |
| | | | |||
| | * | Update exploration strategies | 2023-08-07 | |
| |/ | | | | | | | | | - Fix best first search algorithm - Improve efficiency of exploration adapter | ||
| * | Merge pull request #33 from OszkarSemerath/datastructure | 2023-08-04 | |
| |\ | | | | | | | Initial version of State Coder | ||
| | * | Merge branch 'graphs4value:main' into datastructure | 2023-08-04 | |
| | |\ | | |/ | |/| | |||
| * | | Merge pull request #32 from nagilooh/design-space-exploration | 2023-08-04 | |
| |\ \ | | | | | | | | | Design-space exploration | ||
| | * | | Add missing copyright headers | 2023-08-04 | |
| | | | | |||
| | * | | Update test cases for new Version implementation | 2023-08-03 | |
| | | | | |||
| | * | | Improve visualization | 2023-08-03 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | -Display values from all relevant interpretations -Support TruthValue -Add tabular formatting -Add colors | ||
| | * | | Move DSE to new subproject | 2023-08-02 | |
| | | | | |||
| | * | | Merge remote-tracking branch 'origin/main' into design-space-exploration | 2023-08-02 | |
| | |\ \ | | |/ / | |/| | | |||
| | * | | Update CRA test case | 2023-08-02 | |
| | | | | |||
| | * | | Remove objective levels | 2023-08-02 | |
| | | | | |||
| | * | | Change Set to LinkedHashSet, remove unused methods | 2023-08-02 | |
| | | | | |||
| | * | | Update visualization | 2023-08-02 | |
| | | | | | | | | | | | | | | | | | | | | | | | | - Replace guru.nidi:graphviz-java with DOT based solution - Draws the design space as well as the model states - Design space nodes link to visualization of the sate | ||
| | * | | Add trivial test cases for DSE Strategies | 2023-08-02 | |
| | | | | |||
| | * | | Add seed option for random | 2023-08-02 | |
| | | | |