Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | 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 pull request #34 from OszkarSemerath/datastructure | Oszkár Semeráth | 2023-08-06 |
|\ | | | | | Performance++: ModelVersion.equals is fast, and hash is cached | ||
| * | Performance++: ModelVersion.equals is fast and simple and ModelVersion.hash ↵ | OszkarSemerath | 2023-08-05 |
|/ | | | | cached. | ||
* | Merge pull request #33 from OszkarSemerath/datastructure | Oszkár Semeráth | 2023-08-04 |
|\ | | | | | Initial version of State Coder | ||
| * | Merge branch 'graphs4value:main' into datastructure | Oszkár Semeráth | 2023-08-04 |
| |\ | |/ |/| | |||
* | | Merge pull request #32 from nagilooh/design-space-exploration | Oszkár Semeráth | 2023-08-04 |
|\ \ | | | | | | | Design-space exploration | ||
| * | | 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 |
| | | | |||
| * | | Change Set to LinkedHashSet, remove unused methods | nagilooh | 2023-08-02 |
| | | | |||
| * | | Update visualization | nagilooh | 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 | nagilooh | 2023-08-02 |
| | | | |||
| * | | Add seed option for random | nagilooh | 2023-08-02 |
| | | | |||
| * | | Add visualization using DOT language | nagilooh | 2023-08-02 |
| | | | |||
| * | | Add new test files | nagilooh | 2023-08-02 |
| | | | |||
| * | | Fix issue with storing trajectory | nagilooh | 2023-07-26 |
| | | | |||
| * | | Add visualization adapter | nagilooh | 2023-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 strategy | nagilooh | 2023-07-26 |
| | | | |||
| * | | Add Design space exploration and DFS strategy | nagilooh | 2023-07-26 |
| | | | | | | | | | | | | | | | | | | - Transformation rules - Design Space Exploration adapter - Depth First Strategy | ||
| | * | Intermediate commit with Lazy NeighbourhoodCalculator and ↵ | OszkarSemerath | 2023-08-03 |
| | | | | | | | | | | | | StateEquivalenceChecker prototypes | ||
| | * | Initial prototype of the StateCoderAdapter based on NeighbourhoodCalculator. | OszkarSemerath | 2023-07-29 |
| |/ |/| | | | | | No tests yet. | ||
* | | Merge pull request #31 from OszkarSemerath/datastructure | Oszkár Semeráth | 2023-07-26 |
|\ \ | |/ |/| | Datastructure versions | ||
| * | Versioned.commit + Versioned.restore uses Version instead of long. | OszkarSemerath | 2023-07-26 |
| | | | | | | | | When a Version is collected by gc, the store lets the state get collected by gc as well. | ||
| * | Merge branch 'graphs4value:main' into datastructure | Oszkár Semeráth | 2023-07-26 |
| |\ | |/ |/| | |||
* | | Merge pull request #30 from OszkarSemerath/datastructure | Oszkár Semeráth | 2023-07-24 |
|\ \ | | | | | | | Datastructure | ||
| | * | Refactoring packages related to VersionedMapDeltaImpl + ↵ | OszkarSemerath | 2023-07-24 |
| |/ | | | | | | | | | | | | | VersionedMapStoreStateImpl, update builder. - details of the maps goes to internal packages - ModelStoreBuilderImpl uses VersionedMapStoreFactoryBuilder | ||
| * | Enabled QueryTransactionTest | OszkarSemerath | 2023-07-24 |
| | | |||
| * | Added missing copyright headers. | OszkarSemerath | 2023-07-24 |
| | | |||
| * | Merge branch 'graphs4value:main' into datastructure | Oszkár Semeráth | 2023-07-24 |
| |\ | |/ |/| | |||
* | | Merge pull request #27 from kris7t/ordered-result-set | Kristóf Marussy | 2023-06-29 |
|\ \ | | | | | | | feat: ordered query ResultSet | ||
| * | | feat: ordered query ResultSet | Kristóf Marussy | 2023-06-29 |
|/ / | | | | | | | | | | | | | | | | | | | | | | | | | | | Enable deterministic state-space exploration by ordering activations in lexicographic order. This preliminary implementation adds oredering as a wrapper for ResultSet instances, but more sophisticated support could be built directly into query engine adapters if a query engine supports deterministic output by default. * Implements Comparable for tuples with loops unrolled for small tuples by hand. * Cleans up the contents of the (root of the) tools.refinery.query package. * Adds ResultSetListener to notify clients about ResultSet changes. * Adds OrderStatisticTree data structure for determinisitc ordering of keys. | ||
* | | fix: FilteredView default value | Kristóf Marussy | 2023-06-22 |
| | | | | | | | | | | The filer can't return true for the default value, because tuples with default value cannot be enumerated. | ||
* | | refactor: remove Rule | Kristóf Marussy | 2023-06-18 |
| | | | | | | | | We will need to rework rule execution according to recent Dnf changes. | ||
* | | chore: .yarnrc.yml license | Kristóf Marussy | 2023-06-18 |
| | | |||
* | | Merge pull request #26 from kris7t/query-refactor | Kristóf Marussy | 2023-06-18 |
|\ \ | | | | | | | Query refactor | ||
| * | | chore(deps): bump dependencies | Kristóf Marussy | 2023-06-18 |
| | | | |||
| * | | refactor: prefer Query.of over Dnf.of | Kristóf Marussy | 2023-06-18 |
| | | | |||
| * | | refactor: clean up Symbol constructor | Kristóf Marussy | 2023-06-18 |
| | | | | | | | | | | | | Shorthad syntax for the most commonly used symbol types. | ||
| * | | fix: further Dnf tests and fixes | Kristóf Marussy | 2023-06-17 |
| | | | |||
| * | | refactor(query): structural equality matcher | Kristóf Marussy | 2023-06-15 |
| | | | | | | | | | | | | | | | Add the ability to create assertions without pre-processing Dnf clauses (raw matchin mode). Also fix tests broken by Dnf pre-processing. | ||
| * | | refactor: simplified Dnf parameter directions | Kristóf Marussy | 2023-05-26 |
| | | | |||
| * | | feat: count and aggregation literal reduction | Kristóf Marussy | 2023-05-03 |
| | | | |||
| * | | refactor: avoid unnecessary Literal substitutions | Kristóf Marussy | 2023-05-01 |
| | | |