Commit message (Expand) | Author | Age | |
---|---|---|---|
* | refactor: move terms and DNF into logic subproject | Kristóf Marussy | 2024-04-07 |
* | chore: remove VIATRA branding | Kristóf Marussy | 2023-09-16 |
* | feat(dse): transformation rule builder | Kristóf Marussy | 2023-09-06 |
* | feat: basic partial interpretation infrastructure | Kristóf Marussy | 2023-07-20 |
* | feat: Dnf lifting | Kristóf Marussy | 2023-06-29 |
* | chore: add copyright headers | Kristóf Marussy | 2023-04-15 |
* | build: organize build scripts into packages | Kristóf Marussy | 2023-04-09 |
* | build: convert Gradle scripts to Kotlin | Kristóf Marussy | 2023-04-08 |