aboutsummaryrefslogtreecommitdiffstats
path: root/subprojects/store/src/main/java/tools
Commit message (Collapse)AuthorAge
* 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.
| * 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
| |\
| * | 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
| | |
| * | 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
| | |
| * | VersionedMapStoreBuilder for delta and state based storesLibravatar OszkarSemerath2023-02-10
| | |
| * | Delta store commitLibravatar 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
| | |
* | | feat: base indexer for storeLibravatar Kristóf Marussy2023-07-15
| | |
* | | feat: Dnf liftingLibravatar Kristóf Marussy2023-06-29
| |/ |/| | | | | Support for count and aggregation is still missing.
* | feat: ordered query ResultSetLibravatar Kristóf Marussy2023-06-29
| | | | | | | | | | | | | | | | | | | | | | | | | | | | Enable deterministic state-space exploration by ordering activations in lexicographic order. This preliminary implementation adds oredering as a wrapper for ResultSet instances, but more sophisticated support could be built directly into query engine adapters if a query engine supports deterministic output by default. * Implements Comparable for tuples with loops unrolled for small tuples by hand. * Cleans up the contents of the (root of the) tools.refinery.query package. * Adds ResultSetListener to notify clients about ResultSet changes. * Adds OrderStatisticTree data structure for determinisitc ordering of keys.
* | refactor: clean up Symbol constructorLibravatar Kristóf Marussy2023-06-18
| | | | | | | | Shorthad syntax for the most commonly used symbol types.
* | refactor: simplify ModelAdapterLibravatar Kristóf Marussy2023-04-21
| | | | | | | | | | | | | | | | * Remove the reflection-based machinery around adapter types. * Adapter builders, store adapters, and model adapters are now only associated with each other based on static and runtime types. * Simplifies writing new adapters. * Hierarchical syntax for adding adapter builders to the store builder.
* | chore: add copyright headersLibravatar Kristóf Marussy2023-04-15
| | | | | | | | | | | | | | | | | | | | | | | | | | | | Make sure we obey the REUSE (https://reuse.software) specification and the origin, copyright owner, and license of all files are clearly marked. The whole project is under the EPL-2.0, except for trivial files where copyright is not applicable that are marked with the CC0-1.0 license. Moreover, code included from third parties is also available under the respective license. chore: add CONTRIBUTORS.md List all authors and supporting organizations in accordance with the REUSE specification.
* | refactor: remove TupleLikeLibravatar Kristóf Marussy2023-04-07
| | | | | | | | | | | | | | | | | | | | * Directly transform VIATRA tuples into Refinery tuples, since creating the additional wrapper object doesn't save any memory. * Adds static arity Tuple3 and Tuple4 implementations to be more aligned with VIATRA internals and save memory for queries with up to 4 parameters. * Makes sure no new objects are allocated (for varargs handling) when a static arity tuple is hashed.
generated by cgit v1.2.3-70-g09d2 (git 2.46.0) at 2024-08-21 14:55:38 +0000