aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAge
...
| | * | Add visualization adapterLibravatar nagilooh2023-07-26
| | * | Add best first strategyLibravatar nagilooh2023-07-26
| | * | Add Design space exploration and DFS strategyLibravatar nagilooh2023-07-26
| | | * Intermediate commit with Lazy NeighbourhoodCalculator and StateEquivalenceChe...Libravatar OszkarSemerath2023-08-03
| | | * Initial prototype of the StateCoderAdapter based on NeighbourhoodCalculator.Libravatar OszkarSemerath2023-07-29
| | |/ | |/|
| * | Merge pull request #31 from OszkarSemerath/datastructureLibravatar Oszkár Semeráth2023-07-26
| |\ \ | | |/ | |/|
| | * Versioned.commit + Versioned.restore uses Version instead of long.Libravatar OszkarSemerath2023-07-26
| | * 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
| |\ \
| | | * Refactoring packages related to VersionedMapDeltaImpl + VersionedMapStoreStat...Libravatar OszkarSemerath2023-07-24
| | |/
| | * 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
| |\ \
| | | * decreasing steps in fast fuzz testsLibravatar OszkarSemerath2023-07-21
| | | * Improved tuple hash calculationLibravatar OszkarSemerath2023-07-21
| | | * VersionedMapStoreFactoryBuilder.java is introduced, all tests are updated.Libravatar OszkarSemerath2023-07-21
| | | * Fixing long-standing bug with state based diff cursor.Libravatar OszkarSemerath2023-07-18
| | | * 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 Versio...Libravatar OszkarSemerath2023-02-14
| | | * Nasty error fixed in VersionedMapStoreDeltaImpl.javaLibravatar OszkarSemerath2023-02-14
| | | * Potential synchronization issue fixed in VersionedMapStoreDeltaImpl.getStatesLibravatar OszkarSemerath2023-02-13
| | | * Multiple small updates and fixes to support all upcoming tests.Libravatar OszkarSemerath2023-02-13
| | | * 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 shif...Libravatar OszkarSemerath2023-02-05
| | | * Cursor comparison bugfix with empty cursors (and null values).Libravatar OszkarSemerath2023-02-05
| | | * DiffCursor value comparison support for null values.Libravatar OszkarSemerath2023-02-05
| | | * Code quality improvements in cursorsLibravatar OszkarSemerath2023-02-05
| | | * Code quality improvements in nodesLibravatar OszkarSemerath2023-02-05
| | | * Performance improvements by replacing hash depth calculation with shifting, i...Libravatar OszkarSemerath2023-02-04
* | | | feat(web): control server settings with env varsLibravatar Kristóf Marussy2023-09-05
* | | | fix(frontend): GraphArea scrollLibravatar Kristóf Marussy2023-09-05
* | | | 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
* | | | refactor: server environemntal variablesLibravatar Kristóf Marussy2023-09-04
* | | | refactor(frontend): graph visualizer performanceLibravatar Kristóf Marussy2023-09-04
* | | | build: add DockerfileLibravatar Kristóf Marussy2023-09-03
* | | | feat(frontend): hide object scopes by defaultLibravatar Kristóf Marussy2023-09-03
* | | | chore: prefer Prolog-style commentsLibravatar Kristóf Marussy2023-09-03