aboutsummaryrefslogtreecommitdiffstats
path: root/subprojects/language/src/main/java/tools/refinery/language/utils/ProblemUtil.java
Commit message (Expand)AuthorAge
* 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
* feat(language): validate module isolationLibravatar Kristóf Marussy2024-01-31
* refactor(language): module and node declarationsLibravatar Kristóf Marussy2024-01-31
* feat(language): opposite reference validationLibravatar Kristóf Marussy2023-11-17
* feat(language-ide): content assist filteringLibravatar Kristóf Marussy2023-11-17
* refactor(frontent): improve graph drawingLibravatar Kristóf Marussy2023-08-26
* feat: basic semantics mapping and visualizationLibravatar Kristóf Marussy2023-08-17
* refactor(language): invalid multiplicity traceLibravatar Kristóf Marussy2023-08-15
* chore: add copyright headersLibravatar Kristóf Marussy2023-04-15
* feat(language): numeric expressionsLibravatar Kristóf Marussy2022-11-22
* feat(language): problem desugaringLibravatar Kristóf Marussy2022-09-19
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-06-17 10:43:50 +0000