aboutsummaryrefslogtreecommitdiffstats
path: root/settings.gradle.kts
Commit message (Expand)AuthorAge
* docs: add Docusaurus websiteLibravatar Kristóf Marussy2024-04-08
* refactor: move terms and DNF into logic subprojectLibravatar Kristóf Marussy2024-04-07
* feat: subproject for z3 integrationLibravatar Kristóf Marussy2024-04-07
* build: package Z3 solver native librariesLibravatar Kristóf Marussy2024-04-07
* feat: command line model generatorLibravatar Kristóf Marussy2023-12-24
* feat: model generator facadeLibravatar Kristóf Marussy2023-11-03
* chore: remove VIATRA brandingLibravatar Kristóf Marussy2023-09-16
* refactor: rename store-dse-visualizationLibravatar Kristóf Marussy2023-09-05
* Merge remote-tracking branch 'OszkarSemerath/datastructure' into partial-inte...Libravatar Kristóf Marussy2023-09-05
|\
| * Move DSE to new subprojectLibravatar nagilooh2023-08-02
| * Add visualization adapterLibravatar nagilooh2023-07-26
* | feat: type scope propagatorLibravatar Kristóf Marussy2023-09-03
* | refactor: merge VIATRA subprojectsLibravatar Kristóf Marussy2023-08-19
* | refactor: remove unused VIATRA codeLibravatar Kristóf Marussy2023-08-19
* | chore: import VIATRA sourceLibravatar Kristóf Marussy2023-08-19
|/
* chore: add copyright headersLibravatar Kristóf Marussy2023-04-15
* build: convert Gradle scripts to KotlinLibravatar Kristóf Marussy2023-04-08
generated by cgit v1.2.3-54-g00ecf (git 2.45.0) at 2024-05-05 17:54:51 +0000