aboutsummaryrefslogtreecommitdiffstats
path: root/subprojects/language/src/main/resources/tools
Commit message (Expand)AuthorAge
* feat: container type propagationLibravatar Kristóf Marussy2024-07-03
* feat(language): type inferenceLibravatar Kristóf Marussy2024-04-07
* feat(language): datatype declarationsLibravatar Kristóf Marussy2024-04-07
* feat(language): automatic problem kind inferenceLibravatar Kristóf Marussy2024-02-06
* feat: filesystem-level import resolutionLibravatar Kristóf Marussy2024-02-04
* feat(language): import resolutionLibravatar Kristóf Marussy2024-02-03
* refactor: rename invalidNumberOfContainersLibravatar Kristóf Marussy2023-08-29
* refactor(language): invalid multiplicity traceLibravatar Kristóf Marussy2023-08-15
* chore: add copyright headersLibravatar Kristóf Marussy2023-04-15
* refactor: separate primitive types from nodesLibravatar Kristóf Marussy2022-11-22
* feat(language): numeric expressionsLibravatar Kristóf Marussy2022-11-22
* feat(language): problem desugaringLibravatar Kristóf Marussy2022-09-19
* refactor(language): clarify containment hierarchyLibravatar Kristóf Marussy2022-09-14
* refactor(language): simplify count notationLibravatar Kristóf Marussy2022-08-10
* refactor: simplify language projectLibravatar Kristóf Marussy2022-07-29
generated by cgit v1.2.3-70-g09d2 (git 2.46.0) at 2024-09-27 18:31:12 +0000