aboutsummaryrefslogtreecommitdiffstats
path: root/subprojects
Commit message (Collapse)AuthorAge
* 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
| |
| * 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 ↵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
| |\|
| | * 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 branch 'graphs4value:main' into datastructureLibravatar 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
| | | | | | | | | | | | | | | | | | | | | -Display values from all relevant interpretations -Support TruthValue -Add tabular formatting -Add colors
| | * 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
| | | | | | | | | | | | | | | | | | | | | | | | - 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 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
| | | | | | | | | | | | | | | | Uses Graphviz to create a visualization of the models and can save them to disk as an image or various textual representations
| | * | Add best first strategyLibravatar nagilooh2023-07-26
| | | |
| | * | Add Design space exploration and DFS strategyLibravatar nagilooh2023-07-26
| | | | | | | | | | | | | | | | | | | | | | | | - Transformation rules - Design Space Exploration adapter - Depth First Strategy
| * | | Intermediate commit with Lazy NeighbourhoodCalculator and ↵Libravatar OszkarSemerath2023-08-03
| | | | | | | | | | | | | | | | StateEquivalenceChecker prototypes
| * | | Initial prototype of the StateCoderAdapter based on NeighbourhoodCalculator.Libravatar OszkarSemerath2023-07-29
| | |/ | |/| | | | | | | No tests yet.
| * | Versioned.commit + Versioned.restore uses Version instead of long.Libravatar OszkarSemerath2023-07-26
| | | | | | | | | | | | When a Version is collected by gc, the store lets the state get collected by gc as well.