aboutsummaryrefslogtreecommitdiffstats
path: root/subprojects/store
Commit message (Expand)AuthorAge
* Merge branch 'graphs4value:main' into datastructureLibravatar Oszkár Semeráth2023-08-04
|\
| * Merge remote-tracking branch 'origin/main' into design-space-explorationLibravatar nagilooh2023-08-02
| |\
| * | Add visualization adapterLibravatar nagilooh2023-07-26
| * | Add Design space exploration and DFS strategyLibravatar nagilooh2023-07-26
* | | Intermediate commit with Lazy NeighbourhoodCalculator and StateEquivalenceChe...Libravatar OszkarSemerath2023-08-03
* | | Initial prototype of the StateCoderAdapter based on NeighbourhoodCalculator.Libravatar OszkarSemerath2023-07-29
| |/ |/|
* | Versioned.commit + Versioned.restore uses Version instead of long.Libravatar OszkarSemerath2023-07-26
* | Refactoring packages related to VersionedMapDeltaImpl + VersionedMapStoreStat...Libravatar OszkarSemerath2023-07-24
|/
* Added missing copyright headers.Libravatar OszkarSemerath2023-07-24
* Merge branch 'graphs4value:main' into datastructureLibravatar Oszkár Semeráth2023-07-24
|\
| * 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
| * build: organize build scripts into packagesLibravatar Kristóf Marussy2023-04-09
| * 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
| * 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
* | decreasing steps in fast fuzz testsLibravatar OszkarSemerath2023-07-21
* | Improved tuple hash calculationLibravatar OszkarSemerath2023-07-21
* | VersionedMapStoreFactoryBuilder.java is introduced, all tests are updated.Libravatar OszkarSemerath2023-07-21
* | Fixing long-standing bug with state based diff cursor.Libravatar OszkarSemerath2023-07-18
* | Initialization bugs with empty DeltaDiffCursor fixedLibravatar OszkarSemerath2023-02-20
* | Additional tests for delta restorationLibravatar OszkarSemerath2023-02-16
* | Fuzz test environment is parametrized by VersionedMapStoreBuilder configurationsLibravatar OszkarSemerath2023-02-14
* | Test environment cannot rely upon the order of elements in a map since Versio...Libravatar OszkarSemerath2023-02-14
* | Nasty error fixed in VersionedMapStoreDeltaImpl.javaLibravatar OszkarSemerath2023-02-14
* | Potential synchronization issue fixed in VersionedMapStoreDeltaImpl.getStatesLibravatar OszkarSemerath2023-02-13
* | Multiple small updates and fixes to support all upcoming tests.Libravatar OszkarSemerath2023-02-13
* | VersionedMapStoreBuilder returns builder state.Libravatar OszkarSemerath2023-02-13
* | Moved test parametrization to FuzzTestCollections.javaLibravatar OszkarSemerath2023-02-10
* | VersionedMapStoreBuilder for delta and state based storesLibravatar OszkarSemerath2023-02-10
* | Delta store commitLibravatar OszkarSemerath2023-02-05
* | Fixing warning caused by an "unused parameter" which is used by an annotationLibravatar OszkarSemerath2023-02-05
* | Formatting fuzz tests + improving code qualitzLibravatar OszkarSemerath2023-02-05
* | Extending map tests with null as default value.Libravatar OszkarSemerath2023-02-05
* | fixup! Performance improvements by replacing hash depth calculation with shif...Libravatar OszkarSemerath2023-02-05
* | 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
|/
* refactor: PartialInterpretation adapter namingLibravatar Kristóf Marussy2023-02-03
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-07-08 23:54:30 +0000