aboutsummaryrefslogtreecommitdiffstats
path: root/subprojects/store
Commit message (Expand)AuthorAge
* Added test for StateEquivalenceChecker Unknown outcome.Libravatar OszkarSemerath2023-08-08
* Unused condition simplified.Libravatar OszkarSemerath2023-08-08
* SuppressWarnings for using deterministic random in hash code generation.Libravatar OszkarSemerath2023-08-08
* ObjectCodeImpl.effectiveSize introduced to correctly handle models with diffe...Libravatar OszkarSemerath2023-08-08
* Added two build tests for custom coding and equivalence checking algorithms.Libravatar OszkarSemerath2023-08-08
* Test cases for Equivalence accuracy measurementsLibravatar OszkarSemerath2023-08-08
* Non-lazy NeighbourhoodCalculator for more accurate StateCoderBuilderImpl.Libravatar OszkarSemerath2023-08-08
* Tests + small changes for AbstractNeighbourhoodCalculator and StateEquivalenc...Libravatar OszkarSemerath2023-08-07
* StateCoderBuilder improvement with individuals, and customizable calculators.Libravatar OszkarSemerath2023-08-07
* Performance++: ModelVersion.equals is fast and simple and ModelVersion.hash c...Libravatar OszkarSemerath2023-08-05
* 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
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-07-04 21:54:51 +0000