aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAge
...
| * | | Fix issue with storing trajectoryLibravatar nagilooh2023-07-26
| | | |
| * | | 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 best first strategyLibravatar nagilooh2023-07-26
| | | |
| * | | 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.
* | | Merge pull request #31 from OszkarSemerath/datastructureLibravatar Oszkár Semeráth2023-07-26
|\ \ \ | |/ / |/| | Datastructure versions
| * | 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.
| * | Merge branch 'graphs4value:main' into datastructureLibravatar Oszkár Semeráth2023-07-26
| |\ \ | |/ / |/| |
* | | Merge pull request #30 from OszkarSemerath/datastructureLibravatar Oszkár Semeráth2023-07-24
|\ \ \ | | | | | | | | Datastructure
| | * | Refactoring packages related to VersionedMapDeltaImpl + ↵Libravatar OszkarSemerath2023-07-24
| |/ / | | | | | | | | | | | | | | | | | | VersionedMapStoreStateImpl, update builder. - details of the maps goes to internal packages - ModelStoreBuilderImpl uses VersionedMapStoreFactoryBuilder
| * | Enabled QueryTransactionTestLibravatar OszkarSemerath2023-07-24
| | |
| * | Added missing copyright headers.Libravatar OszkarSemerath2023-07-24
| | |
| * | Merge branch 'graphs4value:main' into datastructureLibravatar Oszkár Semeráth2023-07-24
| |\ \ | |/ / |/| |
* | | Merge pull request #27 from kris7t/ordered-result-setLibravatar Kristóf Marussy2023-06-29
|\ \ \ | | | | | | | | feat: ordered query ResultSet
| | * | decreasing steps in fast fuzz testsLibravatar OszkarSemerath2023-07-21
| | | |
| | * | 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
| | | |
| | * | Additional tests for delta restorationLibravatar OszkarSemerath2023-02-16
| | | |
| | * | Fuzz test environment is parametrized by VersionedMapStoreBuilder configurationsLibravatar OszkarSemerath2023-02-14
| | | |
| | * | Test environment cannot rely upon the order of elements in a map since ↵Libravatar OszkarSemerath2023-02-14
| | | | | | | | | | | | | | | | VersionedMapDelta appeared.
| | * | 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
| | | |
| | * | Moved test parametrization to FuzzTestCollections.javaLibravatar OszkarSemerath2023-02-10
| | | |
| | * | VersionedMapStoreBuilder for delta and state based storesLibravatar OszkarSemerath2023-02-10
| | | |
| | * | Delta store commitLibravatar OszkarSemerath2023-02-05
| | | |
| | * | Fixing warning caused by an "unused parameter" which is used by an annotationLibravatar OszkarSemerath2023-02-05
| | | |
| | * | Formatting fuzz tests + improving code qualitzLibravatar OszkarSemerath2023-02-05
| | | |
| | * | Merge remote-tracking branch 'origin/datastructure' into datastructureLibravatar OszkarSemerath2023-02-05
| | |\ \
| | | * | Extending map tests with null as default value.Libravatar OszkarSemerath2023-02-05
| | | | |
| | * | | Extending map tests with null as default value.Libravatar 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(web): control server settings with env varsLibravatar Kristóf Marussy2023-09-05
| | | |
| | | * fix(frontend): GraphArea scrollLibravatar Kristóf Marussy2023-09-05
| | | | | | | | | | | | | | | | | | | | When the VisibilityDialog is not open, it should be unmounted to allow the VisibilityPanel to become small and not cover the GraphArea below.
| | | * refactor: disable all animations for large graphsLibravatar Kristóf Marussy2023-09-05
| | | |
| | | * build: remove unused Java modules from containerLibravatar Kristóf Marussy2023-09-05
| | | |
| | | * build: switch to Amazon CorrettoLibravatar Kristóf Marussy2023-09-05
| | | | | | | | | | | | | | | | Hopefully improved performance on AWS Graviton
| | | * refactor: server environemntal variablesLibravatar Kristóf Marussy2023-09-04
| | | | | | | | | | | | | | | | | | | | | | | | * Prefix each variable with REFINERY_ * If not public host is specified, allow all origings and compute the WebSocket address on the client from the origin.
| | | * refactor(frontend): graph visualizer performanceLibravatar Kristóf Marussy2023-09-04
| | | | | | | | | | | | | | | | Also show scopes unconditionally if enabled.
| | | * build: add DockerfileLibravatar Kristóf Marussy2023-09-03
| | | |
| | | * feat(frontend): hide object scopes by defaultLibravatar Kristóf Marussy2023-09-03
| | | |