aboutsummaryrefslogtreecommitdiffstats
path: root/subprojects/store
Commit message (Expand)AuthorAge
* refactor: move terms and DNF into logic subprojectLibravatar Kristóf Marussy2024-04-07
* chore: upgrade to Eclipse 2023-12Libravatar Kristóf Marussy2023-12-08
* feat: cancellation token for ModelStoreLibravatar Kristóf Marussy2023-09-11
* feat: integrate DSE with partial interpretationLibravatar Kristóf Marussy2023-09-09
* refactor(store): neighborhood optimizationLibravatar Kristóf Marussy2023-09-07
* Merge remote-tracking branch 'OszkarSemerath/datastructure' into partial-inte...Libravatar Kristóf Marussy2023-09-05
|\
| * restructured DSE framework, failing buildLibravatar OszkarSemerath2023-09-05
| * 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
| |\
| * | 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
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-06-28 13:35:37 +0000