aboutsummaryrefslogtreecommitdiffstats
path: root/subprojects/store/src/test/java/tools
Commit message (Expand)AuthorAge
* chore: upgrade to Eclipse 2023-12Libravatar Kristóf Marussy2023-12-08
* feat: cancellation token for ModelStoreLibravatar Kristóf Marussy2023-09-11
* Merge remote-tracking branch 'OszkarSemerath/datastructure' into partial-inte...Libravatar Kristóf Marussy2023-09-05
|\
| * 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
| |\
| * | 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: concrete count in partial modelsLibravatar Kristóf Marussy2023-07-25
| |/ |/|
* | 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
|/
* 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-54-g00ecf (git 2.45.2) at 2024-07-07 12:01:53 +0000