aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAge
* Add missing copyright headersLibravatar nagilooh2023-08-25
|
* Move equivalence checking to new methodLibravatar nagilooh2023-08-25
| | | | | | Also: - Rename Symbol to Variable - Make fire for InsertAction with low arity faster
* Add delete action and additional tests for equalsLibravatar nagilooh2023-08-25
|
* Add new transformation rule actionsLibravatar nagilooh2023-08-24
| | | | | - TransformationActions can be created after creating the model - equivalence of actions can be checked
* 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
| |\ | |/ |/|
* | Merge pull request #32 from nagilooh/design-space-explorationLibravatar Oszkár Semeráth2023-08-04
|\ \ | | | | | | Design-space exploration
| * | 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
| | |