aboutsummaryrefslogtreecommitdiffstats
path: root/subprojects/store/src/test
Commit message (Expand)AuthorAge
* Added test for StateEquivalenceChecker Unknown outcome.Libravatar OszkarSemerath2023-08-08
* Added two build tests for custom coding and equivalence checking algorithms.Libravatar OszkarSemerath2023-08-08
* Test cases for Equivalence accuracy measurementsLibravatar OszkarSemerath2023-08-08
* Tests + small changes for AbstractNeighbourhoodCalculator and StateEquivalenc...Libravatar OszkarSemerath2023-08-07
* StateCoderBuilder improvement with individuals, and customizable calculators.Libravatar OszkarSemerath2023-08-07
* Intermediate commit with Lazy NeighbourhoodCalculator and StateEquivalenceChe...Libravatar OszkarSemerath2023-08-03
* Versioned.commit + Versioned.restore uses Version instead of long.Libravatar OszkarSemerath2023-07-26
* Refactoring packages related to VersionedMapDeltaImpl + VersionedMapStoreStat...Libravatar OszkarSemerath2023-07-24
* Added missing copyright headers.Libravatar OszkarSemerath2023-07-24
* Merge branch 'graphs4value:main' into datastructureLibravatar Oszkár Semeráth2023-07-24
|\
| * refactor: clean up Symbol constructorLibravatar Kristóf Marussy2023-06-18
| * chore: add copyright headersLibravatar Kristóf Marussy2023-04-15
| * refactor: split query and partial from storeLibravatar Kristóf Marussy2023-02-20
| * feat: type inference for class hierarchiesLibravatar Kristóf Marussy2023-02-20
| * refactor: Atom -> Literal naming conventionLibravatar Kristóf Marussy2023-02-09
* | decreasing steps in fast fuzz testsLibravatar 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
* | 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
* | Moved test parametrization to FuzzTestCollections.javaLibravatar OszkarSemerath2023-02-10
* | 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
* | Extending map tests with null as default value.Libravatar OszkarSemerath2023-02-05
|/
* feat: track uncommitted Model changesLibravatar Kristóf Marussy2023-02-02
* refactor: Model store and query APILibravatar Kristóf Marussy2023-01-29
* refactor(store): compare VersionedMap instancesLibravatar Kristóf Marussy2022-12-21
* refactor(store): simplify return typesLibravatar Kristóf Marussy2022-12-13
* feat: add cardinality interval abstractionLibravatar Kristóf Marussy2022-12-09
* feat(language): numeric expressionsLibravatar Kristóf Marussy2022-11-22
* feat(store): DataRepresentation reflective typeLibravatar Kristóf Marussy2022-11-10
* refactor: DNF atomsLibravatar Kristóf Marussy2022-11-05
* refactor: tuples in QueryableModelLibravatar Kristóf Marussy2022-10-03
* refactor: move viatra into a separate subprojectLibravatar Kristóf Marussy2022-10-03
* build: move modules into subproject directoryLibravatar Kristóf Marussy2021-12-12
generated by cgit v1.2.3-70-g09d2 (git 2.46.0) at 2024-09-07 12:41:46 +0000