Commit message (Collapse) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | | | Merge pull request #32 from nagilooh/design-space-exploration | 2023-08-04 | ||
|\ \ \ | | | | | | | | | Design-space exploration | |||
| * | | | Add missing copyright headers | 2023-08-04 | ||
| | | | | ||||
| * | | | Update test cases for new Version implementation | 2023-08-03 | ||
| | | | | ||||
| * | | | Improve visualization | 2023-08-03 | ||
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | -Display values from all relevant interpretations -Support TruthValue -Add tabular formatting -Add colors | |||
| * | | | Move DSE to new subproject | 2023-08-02 | ||
| | | | | ||||
| * | | | Merge remote-tracking branch 'origin/main' into design-space-exploration | 2023-08-02 | ||
| |\ \ \ | |/ / / |/| | | | ||||
| * | | | Update CRA test case | 2023-08-02 | ||
| | | | | ||||
| * | | | Remove objective levels | 2023-08-02 | ||
| | | | | ||||
| * | | | Change Set to LinkedHashSet, remove unused methods | 2023-08-02 | ||
| | | | | ||||
| * | | | Update visualization | 2023-08-02 | ||
| | | | | | | | | | | | | | | | | | | | | | | | | - Replace guru.nidi:graphviz-java with DOT based solution - Draws the design space as well as the model states - Design space nodes link to visualization of the sate | |||
| * | | | Add trivial test cases for DSE Strategies | 2023-08-02 | ||
| | | | | ||||
| * | | | Add seed option for random | 2023-08-02 | ||
| | | | | ||||
| * | | | Add visualization using DOT language | 2023-08-02 | ||
| | | | | ||||
| * | | | Add new test files | 2023-08-02 | ||
| | | | | ||||
| * | | | Fix issue with storing trajectory | 2023-07-26 | ||
| | | | | ||||
| * | | | 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 best first strategy | 2023-07-26 | ||
| | | | | ||||
| * | | | 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. | |||
* | | | Merge pull request #31 from OszkarSemerath/datastructure | 2023-07-26 | ||
|\ \ \ | |/ / |/| | | Datastructure versions | |||
| * | | 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. | |||
| * | | Merge branch 'graphs4value:main' into datastructure | 2023-07-26 | ||
| |\ \ | |/ / |/| | | ||||
* | | | Merge pull request #30 from OszkarSemerath/datastructure | 2023-07-24 | ||
|\ \ \ | | | | | | | | | Datastructure | |||
| | * | | Refactoring packages related to VersionedMapDeltaImpl + ↵ | 2023-07-24 | ||
| |/ / | | | | | | | | | | | | | | | | | | | VersionedMapStoreStateImpl, update builder. - details of the maps goes to internal packages - ModelStoreBuilderImpl uses VersionedMapStoreFactoryBuilder | |||
| * | | Enabled QueryTransactionTest | 2023-07-24 | ||
| | | | ||||
| * | | Added missing copyright headers. | 2023-07-24 | ||
| | | | ||||
| * | | Merge branch 'graphs4value:main' into datastructure | 2023-07-24 | ||
| |\ \ | |/ / |/| | | ||||
* | | | Merge pull request #27 from kris7t/ordered-result-set | 2023-06-29 | ||
|\ \ \ | | | | | | | | | feat: ordered query ResultSet | |||
| | * | | decreasing steps in fast fuzz tests | 2023-07-21 | ||
| | | | | ||||
| | * | | 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 | ||
| | | | | ||||
| | * | | Additional tests for delta restoration | 2023-02-16 | ||
| | | | | ||||
| | * | | Fuzz test environment is parametrized by VersionedMapStoreBuilder configurations | 2023-02-14 | ||
| | | | | ||||
| | * | | Test environment cannot rely upon the order of elements in a map since ↵ | 2023-02-14 | ||
| | | | | | | | | | | | | | | | | VersionedMapDelta appeared. | |||
| | * | | 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 | ||
| | | | | ||||
| | * | | Moved test parametrization to FuzzTestCollections.java | 2023-02-10 | ||
| | | | | ||||
| | * | | VersionedMapStoreBuilder for delta and state based stores | 2023-02-10 | ||
| | | | | ||||
| | * | | Delta store commit | 2023-02-05 | ||
| | | | | ||||
| | * | | Fixing warning caused by an "unused parameter" which is used by an annotation | 2023-02-05 | ||
| | | | | ||||
| | * | | Formatting fuzz tests + improving code qualitz | 2023-02-05 | ||
| | | | | ||||
| | * | | Merge remote-tracking branch 'origin/datastructure' into datastructure | 2023-02-05 | ||
| | |\ \ | ||||
| | | * | | Extending map tests with null as default value. | 2023-02-05 | ||
| | | | | | ||||
| | * | | | Extending map tests with null as default value. | 2023-02-05 | ||
| | |/ / | ||||
| | * | | fixup! Performance improvements by replacing hash depth calculation with ↵ | 2023-02-05 | ||
| | | | | | | | | | | | | | | | | shifting, improving code quality. + formatting |