aboutsummaryrefslogtreecommitdiffstats
path: root/subprojects/store-query-viatra
Commit message (Expand)AuthorAge
* feat: cancellation token for ModelStoreLibravatar Kristóf Marussy2023-09-11
* fix: VIATRA projection indexer errorLibravatar Kristóf Marussy2023-09-10
* Merge remote-tracking branch 'OszkarSemerath/datastructure' into partial-inte...Libravatar Kristóf Marussy2023-09-05
|\
| * 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
| * | Add trivial test cases for DSE StrategiesLibravatar nagilooh2023-08-02
| * | Add seed option for randomLibravatar nagilooh2023-08-02
| * | Add new test filesLibravatar nagilooh2023-08-02
| * | Fix issue with storing trajectoryLibravatar nagilooh2023-07-26
| * | Add best first strategyLibravatar nagilooh2023-07-26
| * | Add Design space exploration and DFS strategyLibravatar nagilooh2023-07-26
| |/
| * Enabled QueryTransactionTestLibravatar OszkarSemerath2023-07-24
* | fix: strong represenative election algorithmLibravatar Kristóf Marussy2023-08-27
* | feat: interruptible VIATRA engineLibravatar Kristóf Marussy2023-08-19
* | refactor: apply local search fixes to VIATRALibravatar Kristóf Marussy2023-08-19
* | chore: import VIATRA sourceLibravatar Kristóf Marussy2023-08-19
* | feat: custom connected component RETE nodeLibravatar Kristóf Marussy2023-07-23
* | feat: use base index for local searchLibravatar Kristóf Marussy2023-07-15
* | fix: ConstantLiteral to PConstraintLibravatar Kristóf Marussy2023-07-15
* | feat: query rewriters for ViatraLibravatar Kristóf Marussy2023-07-15
* | refactor: enable data variable unificationLibravatar Kristóf Marussy2023-07-09
* | feat: Dnf liftingLibravatar Kristóf Marussy2023-06-29
* | refactor: query equality and hash codeLibravatar Kristóf Marussy2023-06-29
|/
* feat: ordered query ResultSetLibravatar Kristóf Marussy2023-06-29
* fix: FilteredView default valueLibravatar Kristóf Marussy2023-06-22
* refactor: prefer Query.of over Dnf.ofLibravatar Kristóf Marussy2023-06-18
* refactor: clean up Symbol constructorLibravatar Kristóf Marussy2023-06-18
* refactor: simplified Dnf parameter directionsLibravatar Kristóf Marussy2023-05-26
* feat: query parameter binding validationLibravatar Kristóf Marussy2023-05-01
* refactor: query termsLibravatar Kristóf Marussy2023-04-23
* refactor: simplify ModelAdapterLibravatar Kristóf Marussy2023-04-21
* refactor: lambda-based Dnf and Query factoryLibravatar Kristóf Marussy2023-04-21
* refactor: rename RelationView to SymbolViewLibravatar Kristóf Marussy2023-04-15
* chore: add copyright headersLibravatar Kristóf Marussy2023-04-15
* build: organize build scripts into packagesLibravatar Kristóf Marussy2023-04-09
* build: always prefer slf4j instead of log4j 1.xLibravatar Kristóf Marussy2023-04-08
* build: convert Gradle scripts to KotlinLibravatar Kristóf Marussy2023-04-08
* refactor: remove TupleLikeLibravatar Kristóf Marussy2023-04-07
* feat: terms and improved query evaluationLibravatar Kristóf Marussy2023-03-31
* refactor: use Cursor in query result setsLibravatar Kristóf Marussy2023-03-01
* refactor: more direct access to VIATRA result setLibravatar Kristóf Marussy2023-03-01
* feat: Dnf reduction and structural equalityLibravatar Kristóf Marussy2023-02-24
* refactor: split query and partial from storeLibravatar Kristóf Marussy2023-02-20
* feat: PartialInterpretation representationsLibravatar Kristóf Marussy2023-02-17
* refactor: EDSL for DNF literalsLibravatar Kristóf Marussy2023-02-09
* refactor: Atom -> Literal naming conventionLibravatar Kristóf Marussy2023-02-09