summaryrefslogtreecommitdiffstats
path: root/subprojects/language-semantics/src/main/java/tools
Commit message (Expand)AuthorAge
* feat: generator facade timeout and non-existent objectsLibravatar Kristóf Marussy2024-07-10
* feat(semantics): implicit rule preconditionsLibravatar Kristóf Marussy2024-07-06
* feat: container type propagationLibravatar Kristóf Marussy2024-07-03
* fix(semantics): traceability for internal rulesLibravatar Kristóf Marussy2024-07-02
* refactor: incomplete query liftingLibravatar Kristóf Marussy2024-07-01
* refactor(language): shadow predicates instead of computed value operatorLibravatar Kristóf Marussy2024-07-01
* refactor(language): move computed to AtomLibravatar Kristóf Marussy2024-06-30
* feat: access computed values of relationsLibravatar Kristóf Marussy2024-06-30
* refactor: improve propagation rule diagnosticsLibravatar Kristóf Marussy2024-06-28
* fix(semantics): configure StateCoderAdapterLibravatar Kristóf Marussy2024-06-28
* fix: monomorphic matching for focus argumentsLibravatar Kristóf Marussy2024-06-17
* fix: allow predicates in rule actionsLibravatar Kristóf Marussy2024-06-17
* refactor(language): allow rules without preconditionsLibravatar Kristóf Marussy2024-06-17
* feat: partial referencesLibravatar Kristóf Marussy2024-06-01
* fix(semantics): negative quantification in rulesLibravatar Kristóf Marussy2024-05-26
* feat(language): node constants in rule actionsLibravatar Kristóf Marussy2024-05-26
* feat: rule translationLibravatar Kristóf Marussy2024-05-26
* refactor(language): merge Assertion and AssertionActionLibravatar Kristóf Marussy2024-05-26
* feat: rule parsingLibravatar Kristóf Marussy2024-05-26
* refactor(logic): abstract domain interfaceLibravatar Kristóf Marussy2024-04-07
* refactor: move terms and DNF into logic subprojectLibravatar Kristóf Marussy2024-04-07
* feat(language): type inferenceLibravatar Kristóf Marussy2024-04-07
* feat(language): datatype declarationsLibravatar Kristóf Marussy2024-04-07
* refactor(language): no fully qualified self importLibravatar Kristóf Marussy2024-02-18
* 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(language): name disambiguationLibravatar Kristóf Marussy2024-02-02
* refactor: serialize solutions as modulesLibravatar Kristóf Marussy2024-01-31
* refactor(language): module and node declarationsLibravatar Kristóf Marussy2024-01-31
* refactor: matching node names in CLI and webLibravatar Kristóf Marussy2024-01-01
* feat: solution serializerLibravatar Kristóf Marussy2023-12-24
* feat: state-based store for cross referencesLibravatar Kristóf Marussy2023-12-08
* feat: predicates as reference typesLibravatar Kristóf Marussy2023-11-17
* refactor: smenatics and facadesLibravatar Kristóf Marussy2023-11-03
* refactor(langauge-web): use generator facadesLibravatar Kristóf Marussy2023-11-03
* feat: model generator facadeLibravatar Kristóf Marussy2023-11-03
* refactor(semantics): simple name creationLibravatar Kristóf Marussy2023-10-15
* fix: hide new node names in generated modelsLibravatar Kristóf Marussy2023-09-13
* fix: SVG clipping path in FirefoxLibravatar Kristóf Marussy2023-09-12
* feat: connect model generator to UILibravatar Kristóf Marussy2023-09-12
* feat: integrate DSE with partial interpretationLibravatar Kristóf Marussy2023-09-09
* feat: scope propagator in languageLibravatar Kristóf Marussy2023-09-03
* refactor: rename invalidNumberOfContainersLibravatar Kristóf Marussy2023-08-29
* refactor(frontent): improve graph drawingLibravatar Kristóf Marussy2023-08-26
* feat(frontend): automatic fit zoomLibravatar Kristóf Marussy2023-08-24
* fix: predicate value translationLibravatar Kristóf Marussy2023-08-21
* feat: improve semantics error reportingLibravatar Kristóf Marussy2023-08-20
* fix: nullary model initializationLibravatar Kristóf Marussy2023-08-19
* feat: predicate semanticsLibravatar Kristóf Marussy2023-08-18
generated by cgit v1.2.3-70-g09d2 (git 2.46.0) at 2024-09-24 08:32:04 +0000