aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAge
* 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
|\
| * 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
| | |\ | | |/ | |/|
| | * Refactoring packages related to VersionedMapDeltaImpl + ↵Libravatar OszkarSemerath2023-07-24
| | | | | | | | | | | | | | | | | | | | | VersionedMapStoreStateImpl, update builder. - details of the maps goes to internal packages - ModelStoreBuilderImpl uses VersionedMapStoreFactoryBuilder
* | | 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
* | Merge pull request #30 from OszkarSemerath/datastructureLibravatar Oszkár Semeráth2023-07-24
|\| | | | | Datastructure
| * 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.
| * | build: enable parallel Gradle buildLibravatar Kristóf Marussy2023-04-25
| | | | | | | | | | | | | | | Also increases timeout in WebSocket integration test to avoid failures due to increased CPU usage during build.
| * | chore(deps): bump dependenciesLibravatar Kristóf Marussy2023-04-25
| | |
| * | refactor: query termsLibravatar Kristóf Marussy2023-04-23
| | | | | | | | | | | | | | | | | | | | | * Separate different operators into different classes to make it easier to add functionality (e.g., simplification) later. * Add UpperCardinality terms. * Move UpperCardinality aggregator and tests into refinery-store-query.
| * | refactor: simplify ModelAdapterLibravatar Kristóf Marussy2023-04-21
| | | | | | | | | | | | | | | | | | | | | | | | * Remove the reflection-based machinery around adapter types. * Adapter builders, store adapters, and model adapters are now only associated with each other based on static and runtime types. * Simplifies writing new adapters. * Hierarchical syntax for adding adapter builders to the store builder.
| * | fix: REAL_SUM input and result typeLibravatar Kristóf Marussy2023-04-21
| | |
| * | refactor: remove useless DataVariable overloadLibravatar Kristóf Marussy2023-04-21
| | |
| * | refactor: lambda-based Dnf and Query factoryLibravatar Kristóf Marussy2023-04-21
| | | | | | | | | | | | | | | | | | | | | * Helps keeping variable scoping clear by limiting variable scopes to the body of the corresponding lambda. * Overloads for convenience where variables are automatically created for lambda parameters.
| * | chore(deps): downgrade to Java 17Libravatar Kristóf Marussy2023-04-15
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Java 19 is out of support, but Gradle current does not run on Java 20: https://github.com/gradle/gradle/issues/23488 To avoid the complexity of running the build tool on a different JDK than the application, we temporarily remove code that depends on experimental Java 19 or Java 20 features. Revert once the build can run on Java 20.
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-07-21 07:05:08 +0000