Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | refactor(logic): abstract domain interface | 2024-04-07 | |
| | | | | Require all abstract domain elements to implement the AbstractValue interface. | ||
* | refactor: move terms and DNF into logic subproject | 2024-04-07 | |
| | |||
* | fix: upper and lower scopes | 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: scope upper bounds | 2023-11-17 | |
| | |||
* | fix: avoid GLOP error message on stderr | 2023-09-11 | |
| | |||
* | feat: cancellation token for ModelStore | 2023-09-11 | |
| | |||
* | feat: integrate DSE with partial interpretation | 2023-09-09 | |
| | |||
* | feat: declarative DSE rules and model refinement | 2023-09-07 | |
| | |||
* | feat: scope propagator in language | 2023-09-03 | |
| | |||
* | feat: type scope propagator | 2023-09-03 | |