aboutsummaryrefslogtreecommitdiffstats
path: root/subprojects/language-model/problem.aird
Commit message (Expand)AuthorAge
* refactor(language): simplify default module kindsLibravatar Kristóf Marussy2024-02-11
* feat: filesystem-level import resolutionLibravatar Kristóf Marussy2024-02-04
* refactor(language): name disambiguationLibravatar Kristóf Marussy2024-02-02
* refactor(language): module and node declarationsLibravatar Kristóf Marussy2024-01-31
* refactor(language): invalid multiplicity traceLibravatar Kristóf Marussy2023-08-15
* refactor(language): simplify syntaxLibravatar Kristóf Marussy2022-11-22
* refactor: separate primitive types from nodesLibravatar Kristóf Marussy2022-11-22
* feat(language): numeric expressionsLibravatar Kristóf Marussy2022-11-22
* refactor: DNF atomsLibravatar Kristóf Marussy2022-11-05
* feat(language): problem desugaringLibravatar Kristóf Marussy2022-09-19
* refactor(language): clarify containment hierarchyLibravatar Kristóf Marussy2022-09-14
* feat(language): modal parameter typesLibravatar Kristóf Marussy2022-08-11
* refactor(language): simplify count notationLibravatar Kristóf Marussy2022-08-10
* feat(language): add support for count operatorLibravatar Kristóf Marussy2022-08-10
* refactor: direct predicatesLibravatar Kristóf Marussy2022-08-01
* build: move modules into subproject directoryLibravatar Kristóf Marussy2021-12-12
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-06-30 18:02:32 +0000