Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | refactor(logic): abstract domain interface | Kristóf Marussy | 2024-04-07 |
| | | | | Require all abstract domain elements to implement the AbstractValue interface. | ||
* | refactor: move terms and DNF into logic subproject | Kristóf Marussy | 2024-04-07 |
| | |||
* | feat: state-based store for cross references | Kristóf Marussy | 2023-12-08 |
| | | | | | | | Efficiently store cross references even if default ref(*, *): false. Uses propagation rules instead of view queries to reason about type constraints and multiplicity. | ||
* | fix: upper and lower scopes | Kristóf Marussy | 2023-11-19 |
| | | | | | | | | | Make sure the scope bound guides the best-first search and is always obeyed even if it can't be fully represented using the scoped partial model abstraction. For representable bounds (classes and unary predicate that are always fully knwon to be false or true in the initial model) this leads to duplicated computations. | ||
* | fix: contains assertions | Kristóf Marussy | 2023-11-17 |
| | |||
* | fix: scope upper bounds | Kristóf Marussy | 2023-11-17 |
| | |||
* | chore: remove VIATRA branding | Kristóf Marussy | 2023-09-16 |
| | | | | | | | | Rename VIATRA subprojects to Refinery Interpreter to avoid interfering with Eclipse Foundation trademarks. Uses refering to a specific (historical) version of VIATRA were kept to avoid ambiguity. | ||
* | fix: avoid GLOP error message on stderr | Kristóf Marussy | 2023-09-11 |
| | |||
* | feat: cancellation token for ModelStore | Kristóf Marussy | 2023-09-11 |
| | |||
* | fix: build failures after integrating generation | Kristóf Marussy | 2023-09-11 |
| | |||
* | feat: integrate DSE with partial interpretation | Kristóf Marussy | 2023-09-09 |
| | |||
* | feat: declarative DSE rules and model refinement | Kristóf Marussy | 2023-09-07 |
| | |||
* | feat: scope propagator in language | Kristóf Marussy | 2023-09-03 |
| | |||
* | feat: type scope propagator | Kristóf Marussy | 2023-09-03 |