Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | refactor: move terms and DNF into logic subproject | 2024-04-07 | |
| | |||
* | chore: upgrade to Eclipse 2023-12 | 2023-12-08 | |
| | | | | | | | Updates references to Eclipse in documentation (but IntelliJ is the preferred editor now). Also fixes incompatibilities with the Eclipse compiler. | ||
* | feat: cancellation token for ModelStore | 2023-09-11 | |
| | |||
* | Merge remote-tracking branch 'OszkarSemerath/datastructure' into ↵ | 2023-09-05 | |
|\ | | | | | | | partial-interpretation | ||
| * | Added test for StateEquivalenceChecker Unknown outcome. | 2023-08-08 | |
| | | |||
| * | Added two build tests for custom coding and equivalence checking algorithms. | 2023-08-08 | |
| | | |||
| * | Test cases for Equivalence accuracy measurements | 2023-08-08 | |
| | | |||
| * | Tests + small changes for AbstractNeighbourhoodCalculator and ↵ | 2023-08-07 | |
| | | | | | | | | StateEquivalenceCheckerImpl | ||
| * | StateCoderBuilder improvement with individuals, and customizable calculators. | 2023-08-07 | |
| | | |||
| * | Intermediate commit with Lazy NeighbourhoodCalculator and ↵ | 2023-08-03 | |
| | | | | | | | | StateEquivalenceChecker prototypes | ||
| * | 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. | ||
| * | Refactoring packages related to VersionedMapDeltaImpl + ↵ | 2023-07-24 | |
| | | | | | | | | | | | | | | VersionedMapStoreStateImpl, update builder. - details of the maps goes to internal packages - ModelStoreBuilderImpl uses VersionedMapStoreFactoryBuilder | ||
| * | Added missing copyright headers. | 2023-07-24 | |
| | | |||
| * | Merge branch 'graphs4value:main' into datastructure | 2023-07-24 | |
| |\ | |||
| * | | decreasing steps in fast fuzz tests | 2023-07-21 | |
| | | | |||
| * | | 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. | ||
| * | | 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. | ||
| * | | Moved test parametrization to FuzzTestCollections.java | 2023-02-10 | |
| | | | |||
| * | | 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 | |
| | | | |||
| * | | Extending map tests with null as default value. | 2023-02-05 | |
| | | | |||
* | | | feat: concrete count in partial models | 2023-07-25 | |
| |/ |/| | |||
* | | refactor: clean up Symbol constructor | 2023-06-18 | |
| | | | | | | | | Shorthad syntax for the most commonly used symbol types. | ||
* | | chore: add copyright headers | 2023-04-15 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | Make sure we obey the REUSE (https://reuse.software) specification and the origin, copyright owner, and license of all files are clearly marked. The whole project is under the EPL-2.0, except for trivial files where copyright is not applicable that are marked with the CC0-1.0 license. Moreover, code included from third parties is also available under the respective license. chore: add CONTRIBUTORS.md List all authors and supporting organizations in accordance with the REUSE specification. | ||
* | | refactor: split query and partial from store | 2023-02-20 | |
| | | | | | | | | | | | | Allows more complicated dependency hiearchies (e.g., use store-query-viatra for testing store-partial) and better separation of test fixtures. | ||
* | | feat: type inference for class hierarchies | 2023-02-20 | |
| | | |||
* | | refactor: Atom -> Literal naming convention | 2023-02-09 | |
|/ | |||
* | feat: track uncommitted Model changes | 2023-02-02 | |
| | |||
* | refactor: Model store and query API | 2023-01-29 | |
| | | | | Use Adapters to simplify API usage. | ||
* | refactor(store): compare VersionedMap instances | 2022-12-21 | |
| | | | | | | | The Java hashCode and equals API is inappropriate here, because an AnyVersionedMap is mutable. Added new methods to hash and compare AnyVersionedMap instances by their contents and marked the built-in Java methods as deprecated. | ||
* | refactor(store): simplify return types | 2022-12-13 | |
| | | | | | | Prefers sealed non-generic interfaces over wildcard types to avoid confusion about method return types, especially in collections (see SonarQube rule java:S1452). | ||
* | feat: add cardinality interval abstraction | 2022-12-09 | |
| | |||
* | feat(language): numeric expressions | 2022-11-22 | |
| | |||
* | feat(store): DataRepresentation reflective type | 2022-11-10 | |
| | |||
* | refactor: DNF atoms | 2022-11-05 | |
| | | | | | | Restore count != capability. Still needs semantics and tests for count atoms over partial models. | ||
* | refactor: tuples in QueryableModel | 2022-10-03 | |
| | |||
* | refactor: move viatra into a separate subproject | 2022-10-03 | |
| | |||
* | build: move modules into subproject directory | 2021-12-12 | |