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