aboutsummaryrefslogtreecommitdiffstats
path: root/subprojects/store/src
Commit message (Expand)AuthorAge
...
| * | Cursor comparison bugfix with empty cursors (and null values).Libravatar OszkarSemerath2023-02-05
| * | DiffCursor value comparison support for null values.Libravatar OszkarSemerath2023-02-05
| * | Code quality improvements in cursorsLibravatar OszkarSemerath2023-02-05
| * | Code quality improvements in nodesLibravatar OszkarSemerath2023-02-05
| * | Performance improvements by replacing hash depth calculation with shifting, i...Libravatar OszkarSemerath2023-02-04
* | | feat: scope propagator in languageLibravatar Kristóf Marussy2023-09-03
* | | feat: concrete count in partial modelsLibravatar Kristóf Marussy2023-07-25
* | | feat: multi-object based EQUALS and EXISTSLibravatar Kristóf Marussy2023-07-20
* | | feat: basic partial interpretation infrastructureLibravatar Kristóf Marussy2023-07-20
* | | feat: base indexer for storeLibravatar Kristóf Marussy2023-07-15
* | | feat: Dnf liftingLibravatar Kristóf Marussy2023-06-29
| |/ |/|
* | feat: ordered query ResultSetLibravatar Kristóf Marussy2023-06-29
* | refactor: clean up Symbol constructorLibravatar Kristóf Marussy2023-06-18
* | refactor: simplify ModelAdapterLibravatar Kristóf Marussy2023-04-21
* | chore: add copyright headersLibravatar Kristóf Marussy2023-04-15
* | 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
* | feat: Dnf reduction and structural equalityLibravatar Kristóf Marussy2023-02-24
* | refactor: split query and partial from storeLibravatar Kristóf Marussy2023-02-20
* | feat: type inference for class hierarchiesLibravatar 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
|/
* refactor: PartialInterpretation adapter namingLibravatar Kristóf Marussy2023-02-03
* refactor: Symbol as recordLibravatar Kristóf Marussy2023-02-03
* fix: missing NoSuchElementExceptionLibravatar Kristóf Marussy2023-02-02
* refactor: do not allow Symbol in CallAtomLibravatar Kristóf Marussy2023-02-02
* feat: track uncommitted Model changesLibravatar Kristóf Marussy2023-02-02
* feat: track ModelQuery pending changesLibravatar Kristóf Marussy2023-02-02
* feat: model query functional dependenciesLibravatar Kristóf Marussy2023-02-02
* refactor: VIATRA adapter fixesLibravatar Kristóf Marussy2023-02-01
* feat: negative and transitive RelationViewAtomLibravatar Kristóf Marussy2023-01-29
* refactor: Model store and query APILibravatar Kristóf Marussy2023-01-29
* refactor(store): compare VersionedMap instancesLibravatar Kristóf Marussy2022-12-21
* refactor(store): simplify return typesLibravatar Kristóf Marussy2022-12-13
* chore(deps): upgrade to yarn canaryLibravatar Kristóf Marussy2022-12-13
* refactor(store): remove CountPolarityLibravatar Kristóf Marussy2022-12-09
* feat: add cardinality interval abstractionLibravatar Kristóf Marussy2022-12-09
* feat(language): numeric expressionsLibravatar Kristóf Marussy2022-11-22
* feat(store): DataRepresentation reflective typeLibravatar Kristóf Marussy2022-11-10
* refactor: rename CallKind to PolarityLibravatar Kristóf Marussy2022-11-05
* refactor: DNF atomsLibravatar Kristóf Marussy2022-11-05
* refactor: DNF query builderLibravatar Kristóf Marussy2022-11-05
* fix: make Tuple1 cache thread safeLibravatar Kristóf Marussy2022-10-03
* refactor: tuples in QueryableModelLibravatar Kristóf Marussy2022-10-03
* refactor: remove viatra dependency from storeLibravatar Kristóf Marussy2022-10-03
* refactor: move viatra into a separate subprojectLibravatar Kristóf Marussy2022-10-03
* feat: data structure for assertion mergingLibravatar Kristóf Marussy2022-10-03
* build: move modules into subproject directoryLibravatar Kristóf Marussy2021-12-12