aboutsummaryrefslogtreecommitdiffstats
path: root/gradle
Commit message (Expand)AuthorAge
* chore(deps): bump dependenciesHEADmainLibravatar Kristóf Marussy39 hours
* chore(deps): bump dependenciesLibravatar Kristóf Marussy9 days
* chore(deps): bump dependenciesLibravatar Kristóf Marussy2024-04-07
* feat: subproject for z3 integrationLibravatar Kristóf Marussy2024-04-07
* chore(deps): bump dependenciesLibravatar Kristóf Marussy2024-04-07
* chore(deps): upgrade to frontend-jdk17 8.0.0Libravatar Kristóf Marussy2024-04-05
* chore(deps): bump dependenciesLibravatar Kristóf Marussy2024-04-03
* chore(deps): bump dependenciesLibravatar Kristóf Marussy2024-03-26
* chore(deps); bump dependenciesLibravatar Kristóf Marussy2024-02-24
* chore(deps): bump dependenciesLibravatar Kristóf Marussy2024-02-19
* chore(deps): bump dependenciesLibravatar Kristóf Marussy2024-01-30
* chore(deps): bump dependenciesLibravatar Kristóf Marussy2024-01-07
* feat: command line model generatorLibravatar Kristóf Marussy2023-12-24
* chore(deps): bump dependenciesLibravatar Kristóf Marussy2023-12-24
* chore(deps): Java 21Libravatar Kristóf Marussy2023-12-03
* chore(deps): bump dependenciesLibravatar Kristóf Marussy2023-11-19
* chore(deps): bump dependenciesLibravatar Kristóf Marussy2023-10-19
* chore(deps): bump dependenciesLibravatar Kristóf Marussy2023-09-13
* feat: type scope propagatorLibravatar Kristóf Marussy2023-09-03
* chore(deps): bump dependenciesLibravatar Kristóf Marussy2023-08-31
* chore(deps): bump frontend dependenciesLibravatar Kristóf Marussy2023-08-28
* refactor(frontent): improve graph drawingLibravatar Kristóf Marussy2023-08-26
* refactor: remove unused VIATRA codeLibravatar Kristóf Marussy2023-08-19
* chore: import VIATRA sourceLibravatar Kristóf Marussy2023-08-19
* chore(deps): bump dependenciesLibravatar Kristóf Marussy2023-08-15
* chore(deps): bump dependenciesLibravatar Kristóf Marussy2023-06-18
* chore(deps): bump dependenciesLibravatar Kristóf Marussy2023-04-26
* chore(deps): bump dependenciesLibravatar Kristóf Marussy2023-04-25
* chore(deps): bump dependenciesLibravatar Kristóf Marussy2023-04-15
* chore: add copyright headersLibravatar Kristóf Marussy2023-04-15
* chore(deps): bump dependenciesLibravatar Kristóf Marussy2023-04-08
* chore(deps): bump dependenciesLibravatar Kristóf Marussy2023-03-31
* chore(deps): bump dependenciesLibravatar Kristóf Marussy2023-02-26
* build: downgrade to Gradle 7.6Libravatar Kristóf Marussy2023-02-02
* chore(deps): bump dependenciesLibravatar Kristóf Marussy2023-02-01
* chore(deps): bump dependenciesLibravatar Kristóf Marussy2023-01-28
* chore(deps): bump dependenciesLibravatar Kristóf Marussy2022-12-21
* chore(web): upgrade to Jetty 12.0.0.alpha3Libravatar Kristóf Marussy2022-12-12
* chore(web): fix lint errorLibravatar Kristóf Marussy2022-12-09
* chore(deps): bump dependenciesLibravatar Kristóf Marussy2022-12-08
* chore: upgrade to Java 19Libravatar Kristóf Marussy2022-11-22
* chore(deps): bump dependenciesLibravatar Kristóf Marussy2022-11-22
* refactor(frontend): improve HMR experienceLibravatar Kristóf Marussy2022-11-05
* feat: data structure for assertion mergingLibravatar Kristóf Marussy2022-10-03
* chore(deps): bump dependenciesLibravatar Kristóf Marussy2022-10-03
* chore(deps): bump dependenciesLibravatar Kristóf Marussy2022-09-11
* chore(deps): bump dependenciesLibravatar Kristóf Marussy2022-08-26
* chore(deps): bump dependenciesLibravatar Kristóf Marussy2022-08-12
* chore(deps): bump dependenciesLibravatar Kristóf Marussy2022-07-31
* refactor: simplify language projectLibravatar Kristóf Marussy2022-07-29
generated by cgit v1.2.3-54-g00ecf (git 2.45.0) at 2024-05-05 15:42:02 +0000