Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | feat: cancellation token for ModelStore | Kristóf Marussy | 2023-09-11 |
| | |||
* | feat: integrate DSE with partial interpretation | Kristóf Marussy | 2023-09-09 |
| | |||
* | refactor(store): neighborhood optimization | Kristóf Marussy | 2023-09-07 |
| | | | | | * Use LinekdHashMap in delta-based stores to improve iteration performance * Avoid allocating ObjectCodeImpl | ||
* | Merge remote-tracking branch 'OszkarSemerath/datastructure' into ↵ | Kristóf Marussy | 2023-09-05 |
|\ | | | | | | | partial-interpretation | ||
| * | restructured DSE framework, failing build | OszkarSemerath | 2023-09-05 |
| | | |||
| * | Added test for StateEquivalenceChecker Unknown outcome. | OszkarSemerath | 2023-08-08 |
| | | |||
| * | Unused condition simplified. | OszkarSemerath | 2023-08-08 |
| | | |||
| * | SuppressWarnings for using deterministic random in hash code generation. | OszkarSemerath | 2023-08-08 |
| | | |||
| * | ObjectCodeImpl.effectiveSize introduced to correctly handle models with ↵ | OszkarSemerath | 2023-08-08 |
| | | | | | | | | different indices. | ||
| * | Added two build tests for custom coding and equivalence checking algorithms. | OszkarSemerath | 2023-08-08 |
| | | |||
| * | Test cases for Equivalence accuracy measurements | OszkarSemerath | 2023-08-08 |
| | | |||
| * | Non-lazy NeighbourhoodCalculator for more accurate StateCoderBuilderImpl. | OszkarSemerath | 2023-08-08 |
| | | |||
| * | Tests + small changes for AbstractNeighbourhoodCalculator and ↵ | OszkarSemerath | 2023-08-07 |
| | | | | | | | | StateEquivalenceCheckerImpl | ||
| * | StateCoderBuilder improvement with individuals, and customizable calculators. | OszkarSemerath | 2023-08-07 |
| | | |||
| * | Performance++: ModelVersion.equals is fast and simple and ModelVersion.hash ↵ | OszkarSemerath | 2023-08-05 |
| | | | | | | | | cached. | ||
| * | Merge branch 'graphs4value:main' into datastructure | Oszkár Semeráth | 2023-08-04 |
| |\ | |||
| | * | Merge remote-tracking branch 'origin/main' into design-space-exploration | nagilooh | 2023-08-02 |
| | |\ | |||
| | * | | Add visualization adapter | nagilooh | 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 | nagilooh | 2023-07-26 |
| | | | | | | | | | | | | | | | | | | | | | | | | - Transformation rules - Design Space Exploration adapter - Depth First Strategy | ||
| * | | | Intermediate commit with Lazy NeighbourhoodCalculator and ↵ | OszkarSemerath | 2023-08-03 |
| | | | | | | | | | | | | | | | | StateEquivalenceChecker prototypes | ||
| * | | | Initial prototype of the StateCoderAdapter based on NeighbourhoodCalculator. | OszkarSemerath | 2023-07-29 |
| | |/ | |/| | | | | | | | No tests yet. | ||
| * | | Versioned.commit + Versioned.restore uses Version instead of long. | OszkarSemerath | 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 + ↵ | OszkarSemerath | 2023-07-24 |
| |/ | | | | | | | | | | | | | VersionedMapStoreStateImpl, update builder. - details of the maps goes to internal packages - ModelStoreBuilderImpl uses VersionedMapStoreFactoryBuilder | ||
| * | Added missing copyright headers. | OszkarSemerath | 2023-07-24 |
| | | |||
| * | Merge branch 'graphs4value:main' into datastructure | Oszkár Semeráth | 2023-07-24 |
| |\ | |||
| * | | decreasing steps in fast fuzz tests | OszkarSemerath | 2023-07-21 |
| | | | |||
| * | | Improved tuple hash calculation | OszkarSemerath | 2023-07-21 |
| | | | | | | | | | | | | | | | - by special handling of unary and binary relations - introducing murmur32Scramble | ||
| * | | VersionedMapStoreFactoryBuilder.java is introduced, all tests are updated. | OszkarSemerath | 2023-07-21 |
| | | | | | | | | | | | | VersionedMapStoreBuilder.java is removed. | ||
| * | | Fixing long-standing bug with state based diff cursor. | OszkarSemerath | 2023-07-18 |
| | | | | | | | | | | | | By implementing an InOrderMapCursor cursor, and a MapDiffCursor that synchronize two cursors. | ||
| * | | Initialization bugs with empty DeltaDiffCursor fixed | OszkarSemerath | 2023-02-20 |
| | | | |||
| * | | Additional tests for delta restoration | OszkarSemerath | 2023-02-16 |
| | | | |||
| * | | Fuzz test environment is parametrized by VersionedMapStoreBuilder configurations | OszkarSemerath | 2023-02-14 |
| | | | |||
| * | | Test environment cannot rely upon the order of elements in a map since ↵ | OszkarSemerath | 2023-02-14 |
| | | | | | | | | | | | | VersionedMapDelta appeared. | ||
| * | | Nasty error fixed in VersionedMapStoreDeltaImpl.java | OszkarSemerath | 2023-02-14 |
| | | | | | | | | | | | | when setting the new parent state | ||
| * | | Potential synchronization issue fixed in VersionedMapStoreDeltaImpl.getStates | OszkarSemerath | 2023-02-13 |
| | | | |||
| * | | Multiple small updates and fixes to support all upcoming tests. | OszkarSemerath | 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. | OszkarSemerath | 2023-02-13 |
| | | | |||
| * | | Moved test parametrization to FuzzTestCollections.java | OszkarSemerath | 2023-02-10 |
| | | | |||
| * | | VersionedMapStoreBuilder for delta and state based stores | OszkarSemerath | 2023-02-10 |
| | | | |||
| * | | Delta store commit | OszkarSemerath | 2023-02-05 |
| | | | |||
| * | | Fixing warning caused by an "unused parameter" which is used by an annotation | OszkarSemerath | 2023-02-05 |
| | | | |||
| * | | Formatting fuzz tests + improving code qualitz | OszkarSemerath | 2023-02-05 |
| | | | |||
| * | | Extending map tests with null as default value. | OszkarSemerath | 2023-02-05 |
| | | | |||
| * | | fixup! Performance improvements by replacing hash depth calculation with ↵ | OszkarSemerath | 2023-02-05 |
| | | | | | | | | | | | | shifting, improving code quality. + formatting | ||
| * | | Cursor comparison bugfix with empty cursors (and null values). | OszkarSemerath | 2023-02-05 |
| | | | |||
| * | | DiffCursor value comparison support for null values. | OszkarSemerath | 2023-02-05 |
| | | | | | | | | | | | | in case null != default | ||
| * | | Code quality improvements in cursors | OszkarSemerath | 2023-02-05 |
| | | | |||
| * | | Code quality improvements in nodes | OszkarSemerath | 2023-02-05 |
| | | | | | | | | | | | | printer appending + empty node stack checking | ||
| * | | Performance improvements by replacing hash depth calculation with shifting, ↵ | OszkarSemerath | 2023-02-04 |
| | | | | | | | | | | | | | | | | | | improving code quality. + formatting | ||
* | | | feat: scope propagator in language | Kristóf Marussy | 2023-09-03 |
| | | |