Commit message (Expand) | Author | Age | |
---|---|---|---|
* | refactor: move terms and DNF into logic subproject | Kristóf Marussy | 2024-04-07 |
* | 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(dse): transformation rule builder | Kristóf Marussy | 2023-09-06 |
* | restructured DSE framework, failing build | OszkarSemerath | 2023-09-05 |