aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAge
* 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
| | |
| * | 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.
* | Merge pull request #31 from OszkarSemerath/datastructureLibravatar Oszkár Semeráth2023-07-26
|\ \ | |/ |/| Datastructure versions
| * 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.
| * Merge branch 'graphs4value:main' into datastructureLibravatar Oszkár Semeráth2023-07-26
| |\ | |/ |/|
* | Merge pull request #30 from OszkarSemerath/datastructureLibravatar Oszkár Semeráth2023-07-24
|\ \ | | | | | | Datastructure
| | * Refactoring packages related to VersionedMapDeltaImpl + ↵Libravatar OszkarSemerath2023-07-24
| |/ | | | | | | | | | | | | VersionedMapStoreStateImpl, update builder. - details of the maps goes to internal packages - ModelStoreBuilderImpl uses VersionedMapStoreFactoryBuilder
| * Enabled QueryTransactionTestLibravatar OszkarSemerath2023-07-24
| |
| * Added missing copyright headers.Libravatar OszkarSemerath2023-07-24
| |
| * Merge branch 'graphs4value:main' into datastructureLibravatar Oszkár Semeráth2023-07-24
| |\ | |/ |/|
* | Merge pull request #27 from kris7t/ordered-result-setLibravatar Kristóf Marussy2023-06-29
|\ \ | | | | | | feat: ordered query ResultSet
| * | feat: ordered query ResultSetLibravatar Kristóf Marussy2023-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 valueLibravatar Kristóf Marussy2023-06-22
| | | | | | | | | | The filer can't return true for the default value, because tuples with default value cannot be enumerated.
* | refactor: remove RuleLibravatar Kristóf Marussy2023-06-18
| | | | | | | | We will need to rework rule execution according to recent Dnf changes.
* | chore: .yarnrc.yml licenseLibravatar Kristóf Marussy2023-06-18
| |
* | Merge pull request #26 from kris7t/query-refactorLibravatar Kristóf Marussy2023-06-18
|\ \ | | | | | | Query refactor
| * | chore(deps): bump dependenciesLibravatar Kristóf Marussy2023-06-18
| | |
| * | refactor: prefer Query.of over Dnf.ofLibravatar Kristóf Marussy2023-06-18
| | |
| * | refactor: clean up Symbol constructorLibravatar Kristóf Marussy2023-06-18
| | | | | | | | | | | | Shorthad syntax for the most commonly used symbol types.
| * | fix: further Dnf tests and fixesLibravatar Kristóf Marussy2023-06-17
| | |
| * | refactor(query): structural equality matcherLibravatar Kristóf Marussy2023-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 directionsLibravatar Kristóf Marussy2023-05-26
| | |
| * | feat: count and aggregation literal reductionLibravatar Kristóf Marussy2023-05-03
| | |
| * | refactor: avoid unnecessary Literal substitutionsLibravatar Kristóf Marussy2023-05-01
| | |
| * | feat: query parameter binding validationLibravatar Kristóf Marussy2023-05-01
| | | | | | | | | | | | | | | | | | | | | * Introduce parameter directions for constraints and DNF * Introduce variable directions for literals * Infer and check variable directions in DNF and topologically sort literals by their input variables
| * | fix(web): editor cursor stylingLibravatar Kristóf Marussy2023-04-26
| | | | | | | | | | | | | | | Temporarily remove custom scrollbar and indentation styling, because they interferred with cursor visibility.
| * | chore(deps): bump dependenciesLibravatar Kristóf Marussy2023-04-26
| | |
| * | build: reduce ESLint performance costLibravatar Kristóf Marussy2023-04-26
| | | | | | | | | | | | Disable some rules that we don't use but require repeated file parsing.
| * | build: improve Xtext project isolationLibravatar Kristóf Marussy2023-04-26
| | | | | | | | | | | | | | | | | | * Avoid writing generated source files directly into sibling projects. * Full project isolation cannot be enabled yet, because the frontend plugin still requires cross-projects task dependencies for Node.js installation.
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-07-21 06:52:22 +0000