aboutsummaryrefslogtreecommitdiffstats
path: root/subprojects/store/src
Commit message (Collapse)AuthorAge
* 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
| * | Cursor comparison bugfix with empty cursors (and null values).Libravatar OszkarSemerath2023-02-05
| | |
| * | DiffCursor value comparison support for null values.Libravatar OszkarSemerath2023-02-05
| | | | | | | | | | | | in case null != default
| * | Code quality improvements in cursorsLibravatar OszkarSemerath2023-02-05
| | |
| * | Code quality improvements in nodesLibravatar OszkarSemerath2023-02-05
| | | | | | | | | | | | printer appending + empty node stack checking
| * | Performance improvements by replacing hash depth calculation with shifting, ↵Libravatar OszkarSemerath2023-02-04
| | | | | | | | | | | | | | | | | | improving code quality. + formatting
* | | 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
| | | | | | | | | | | | | | | | | | | | | | | | | | | Adds translator for EQUALS and EXISTS symbols based on the multi-object formalism. Only diagonal equality links are supported (e.g., distinct nodes may not be EQUALS with each other). Also introduces initial model seeds to separate partial interpreter construction and graph initialization better.
* | | feat: basic partial interpretation infrastructureLibravatar Kristóf Marussy2023-07-20
| | |
generated by cgit v1.2.3-70-g09d2 (git 2.46.0) at 2024-09-06 17:40:08 +0000