Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | chore: add copyright headers | Kristóf Marussy | 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: Model store and query API | Kristóf Marussy | 2023-01-29 |
| | | | | Use Adapters to simplify API usage. | ||
* | refactor(store): simplify return types | Kristóf Marussy | 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). | ||
* | refactor(language): simplify syntax | Kristóf Marussy | 2022-11-22 |
| | |||
* | refactor: separate primitive types from nodes | Kristóf Marussy | 2022-11-22 |
| | |||
* | feat(store): DataRepresentation reflective type | Kristóf Marussy | 2022-11-10 |
| | |||
* | refactor: DNF atoms | Kristóf Marussy | 2022-11-05 |
| | | | | | | Restore count != capability. Still needs semantics and tests for count atoms over partial models. | ||
* | feat: data structure for default assertions | Kristóf Marussy | 2022-10-03 |
| | |||
* | refactor: tuples in QueryableModel | Kristóf Marussy | 2022-10-03 |
| | |||
* | feat: data structure for assertion merging | Kristóf Marussy | 2022-10-03 |