Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | fix(semantics): configure StateCoderAdapter | 2024-06-28 | |
| | |||
* | refactor(store): NeighborhoodCalculator API | 2024-06-28 | |
| | | | | | * Use US English spelling consistently * Avoid Eclipse Collections types on API | ||
* | refactor(dse): expose state coder parameters | 2024-06-20 | |
| | |||
* | feat: generate multiple solutions | 2024-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 subproject | 2024-04-07 | |
| | |||
* | feat: cancellation token for ModelStore | 2023-09-11 | |
| | |||
* | feat: integrate DSE with partial interpretation | 2023-09-09 | |
| | |||
* | refactor(store): neighborhood optimization | 2023-09-07 | |
| | | | | | * Use LinekdHashMap in delta-based stores to improve iteration performance * Avoid allocating ObjectCodeImpl | ||
* | Merge remote-tracking branch 'OszkarSemerath/datastructure' into ↵ | 2023-09-05 | |
|\ | | | | | | | partial-interpretation | ||
| * | restructured DSE framework, failing build | 2023-09-05 | |
| | | |||
| * | Added test for StateEquivalenceChecker Unknown outcome. | 2023-08-08 | |
| | | |||
| * | Unused condition simplified. | 2023-08-08 | |
| | | |||
| * | SuppressWarnings for using deterministic random in hash code generation. | 2023-08-08 | |
| | | |||
| * | ObjectCodeImpl.effectiveSize introduced to correctly handle models with ↵ | 2023-08-08 | |
| | | | | | | | | different indices. | ||
| * | Non-lazy NeighbourhoodCalculator for more accurate StateCoderBuilderImpl. | 2023-08-08 | |
| | | |||
| * | Tests + small changes for AbstractNeighbourhoodCalculator and ↵ | 2023-08-07 | |
| | | | | | | | | StateEquivalenceCheckerImpl | ||
| * | StateCoderBuilder improvement with individuals, and customizable calculators. | 2023-08-07 | |
| | | |||
| * | Performance++: ModelVersion.equals is fast and simple and ModelVersion.hash ↵ | 2023-08-05 | |
| | | | | | | | | cached. | ||
| * | Merge branch 'graphs4value:main' into datastructure | 2023-08-04 | |
| |\ | |||
| | * | Merge remote-tracking branch 'origin/main' into design-space-exploration | 2023-08-02 | |
| | |\ | |||
| | * | | Add visualization adapter | 2023-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 strategy | 2023-07-26 | |
| | | | | | | | | | | | | | | | | | | | | | | | | - Transformation rules - Design Space Exploration adapter - Depth First Strategy | ||
| * | | | Intermediate commit with Lazy NeighbourhoodCalculator and ↵ | 2023-08-03 | |
| | | | | | | | | | | | | | | | | StateEquivalenceChecker prototypes | ||
| * | | | Initial prototype of the StateCoderAdapter based on NeighbourhoodCalculator. | 2023-07-29 | |
| | |/ | |/| | | | | | | | No tests yet. | ||
| * | | Versioned.commit + Versioned.restore uses Version instead of long. | 2023-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 + ↵ | 2023-07-24 | |
| |/ | | | | | | | | | | | | | VersionedMapStoreStateImpl, update builder. - details of the maps goes to internal packages - ModelStoreBuilderImpl uses VersionedMapStoreFactoryBuilder | ||
| * | Added missing copyright headers. | 2023-07-24 | |
| | | |||
| * | Merge branch 'graphs4value:main' into datastructure | 2023-07-24 | |
| |\ | |||
| * | | Improved tuple hash calculation | 2023-07-21 | |
| | | | | | | | | | | | | | | | - by special handling of unary and binary relations - introducing murmur32Scramble | ||
| * | | VersionedMapStoreFactoryBuilder.java is introduced, all tests are updated. | 2023-07-21 | |
| | | | | | | | | | | | | VersionedMapStoreBuilder.java is removed. | ||
| * | | Fixing long-standing bug with state based diff cursor. | 2023-07-18 | |
| | | | | | | | | | | | | By implementing an InOrderMapCursor cursor, and a MapDiffCursor that synchronize two cursors. | ||
| * | | Initialization bugs with empty DeltaDiffCursor fixed | 2023-02-20 | |
| | | | |||
| * | | Nasty error fixed in VersionedMapStoreDeltaImpl.java | 2023-02-14 | |
| | | | | | | | | | | | | when setting the new parent state | ||
| * | | Potential synchronization issue fixed in VersionedMapStoreDeltaImpl.getStates | 2023-02-13 | |
| | | | |||
| * | | Multiple small updates and fixes to support all upcoming tests. | 2023-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. | 2023-02-13 | |
| | | | |||
| * | | VersionedMapStoreBuilder for delta and state based stores | 2023-02-10 | |
| | | | |||
| * | | Delta store commit | 2023-02-05 | |
| | | | |||
| * | | fixup! Performance improvements by replacing hash depth calculation with ↵ | 2023-02-05 | |
| | | | | | | | | | | | | shifting, improving code quality. + formatting | ||
| * | | Cursor comparison bugfix with empty cursors (and null values). | 2023-02-05 | |
| | | | |||
| * | | DiffCursor value comparison support for null values. | 2023-02-05 | |
| | | | | | | | | | | | | in case null != default | ||
| * | | Code quality improvements in cursors | 2023-02-05 | |
| | | | |||
| * | | Code quality improvements in nodes | 2023-02-05 | |
| | | | | | | | | | | | | printer appending + empty node stack checking | ||
| * | | Performance improvements by replacing hash depth calculation with shifting, ↵ | 2023-02-04 | |
| | | | | | | | | | | | | | | | | | | improving code quality. + formatting | ||
* | | | feat: scope propagator in language | 2023-09-03 | |
| | | | |||
* | | | feat: concrete count in partial models | 2023-07-25 | |
| | | | |||
* | | | feat: multi-object based EQUALS and EXISTS | 2023-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 infrastructure | 2023-07-20 | |
| | | | |||
* | | | feat: base indexer for store | 2023-07-15 | |
| | | | |||
* | | | feat: Dnf lifting | 2023-06-29 | |
| |/ |/| | | | | | Support for count and aggregation is still missing. |