aboutsummaryrefslogtreecommitdiffstats
path: root/subprojects/store/src/main/java/tools
Commit message (Collapse)AuthorAge
* fix(semantics): configure StateCoderAdapterLibravatar Kristóf Marussy2024-06-28
|
* refactor(store): NeighborhoodCalculator APILibravatar Kristóf Marussy2024-06-28
| | | | | * Use US English spelling consistently * Avoid Eclipse Collections types on API
* refactor(dse): expose state coder parametersLibravatar Kristóf Marussy2024-06-20
|
* 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
|
* 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.
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-07-30 07:46:05 +0000