aboutsummaryrefslogtreecommitdiffstats
path: root/subprojects/store/src
Commit message (Collapse)AuthorAge
* fix(semantics): configure StateCoderAdapterLibravatar Kristóf Marussy6 days
|
* refactor(store): NeighborhoodCalculator APILibravatar Kristóf Marussy6 days
| | | | | * Use US English spelling consistently * Avoid Eclipse Collections types on API
* refactor(dse): expose state coder parametersLibravatar Kristóf Marussy13 days
|
* feat: generate multiple solutionsLibravatar Kristóf Marussy2024-06-01
| | | | | Switch to partial interpretation based neighborhood calculation when multiple models are request to avoid returning isomorphic models.
* refactor: move terms and DNF into logic subprojectLibravatar Kristóf Marussy2024-04-07
|
* chore: upgrade to Eclipse 2023-12Libravatar Kristóf Marussy2023-12-08
| | | | | | | Updates references to Eclipse in documentation (but IntelliJ is the preferred editor now). Also fixes incompatibilities with the Eclipse compiler.
* 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
| | | | | * Use LinekdHashMap in delta-based stores to improve iteration performance * Avoid allocating ObjectCodeImpl
* Merge remote-tracking branch 'OszkarSemerath/datastructure' into ↵Libravatar Kristóf Marussy2023-09-05
|\ | | | | | | partial-interpretation
| * 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 ↵Libravatar OszkarSemerath2023-08-08
| | | | | | | | different indices.
| * 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 ↵Libravatar OszkarSemerath2023-08-07
| | | | | | | | StateEquivalenceCheckerImpl
| * StateCoderBuilder improvement with individuals, and customizable calculators.Libravatar OszkarSemerath2023-08-07
| |
| * Performance++: ModelVersion.equals is fast and simple and ModelVersion.hash ↵Libravatar OszkarSemerath2023-08-05
| | | | | | | | cached.
| * 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
| | | | | | | | | | | | | | | | Uses Graphviz to create a visualization of the models and can save them to disk as an image or various textual representations
| | * | Add Design space exploration and DFS strategyLibravatar nagilooh2023-07-26
| | | | | | | | | | | | | | | | | | | | | | | | - Transformation rules - Design Space Exploration adapter - Depth First Strategy
| * | | Intermediate commit with Lazy NeighbourhoodCalculator and ↵Libravatar OszkarSemerath2023-08-03
| | | | | | | | | | | | | | | | StateEquivalenceChecker prototypes
| * | | Initial prototype of the StateCoderAdapter based on NeighbourhoodCalculator.Libravatar OszkarSemerath2023-07-29
| | |/ | |/| | | | | | | No tests yet.
| * | Versioned.commit + Versioned.restore uses Version instead of long.Libravatar OszkarSemerath2023-07-26
| | | | | | | | | | | | When a Version is collected by gc, the store lets the state get collected by gc as well.
| * | Refactoring packages related to VersionedMapDeltaImpl + ↵Libravatar OszkarSemerath2023-07-24
| |/ | | | | | | | | | | | | VersionedMapStoreStateImpl, update builder. - details of the maps goes to internal packages - ModelStoreBuilderImpl uses VersionedMapStoreFactoryBuilder
| * 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
| | | | | | | | | | | | | | | - by special handling of unary and binary relations - introducing murmur32Scramble
| * | VersionedMapStoreFactoryBuilder.java is introduced, all tests are updated.Libravatar OszkarSemerath2023-07-21
| | | | | | | | | | | | VersionedMapStoreBuilder.java is removed.
| * | Fixing long-standing bug with state based diff cursor.Libravatar OszkarSemerath2023-07-18
| | | | | | | | | | | | By implementing an InOrderMapCursor cursor, and a MapDiffCursor that synchronize two cursors.
| * | 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 ↵Libravatar OszkarSemerath2023-02-14
| | | | | | | | | | | | VersionedMapDelta appeared.
| * | Nasty error fixed in VersionedMapStoreDeltaImpl.javaLibravatar OszkarSemerath2023-02-14
| | | | | | | | | | | | when setting the new parent state
| * | Potential synchronization issue fixed in VersionedMapStoreDeltaImpl.getStatesLibravatar OszkarSemerath2023-02-13
| | |
| * | Multiple small updates and fixes to support all upcoming tests.Libravatar OszkarSemerath2023-02-13
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | - AnyVersionedMap.checkIntegrity added to the superclass - Default value of the map is gettable. - Errors fixed: - Delta store failed to update reference to the previous transaction in some cases. Fixed in VersionedMapStoreDeltaImpl.java import java.util.HashMap; - Null values caused issues in UncommittedDeltaMapStore.java as putIfAbsent does not work with null. - Small fixes in DeltaDiffCursor.java and IteratorAsCursor.java
| * | 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 ↵Libravatar OszkarSemerath2023-02-05
| | | | | | | | | | | | shifting, improving code quality. + formatting
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-07-03 20:35:11 +0000