aboutsummaryrefslogtreecommitdiffstats
path: root/subprojects/language-semantics/src/main/java/tools/refinery/language/semantics
Commit message (Expand)AuthorAge
* fix: monomorphic matching for focus argumentsLibravatar Kristóf Marussy9 days
* fix: allow predicates in rule actionsLibravatar Kristóf Marussy9 days
* refactor(language): allow rules without preconditionsLibravatar Kristóf Marussy9 days
* 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
* fix: more precise new object typesLibravatar Kristóf Marussy2023-08-17
* feat: basic semantics mapping and visualizationLibravatar Kristóf Marussy2023-08-17
* refactor(language): invalid multiplicity traceLibravatar Kristóf Marussy2023-08-15
* refactor: clean up Symbol constructorLibravatar Kristóf Marussy2023-06-18
* chore: add copyright headersLibravatar Kristóf Marussy2023-04-15
* refactor: Model store and query APILibravatar Kristóf Marussy2023-01-29
* refactor(store): simplify return typesLibravatar Kristóf Marussy2022-12-13
* refactor(language): simplify syntaxLibravatar Kristóf Marussy2022-11-22
* refactor: separate primitive types from nodesLibravatar Kristóf Marussy2022-11-22
* feat(store): DataRepresentation reflective typeLibravatar Kristóf Marussy2022-11-10
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-06-26 10:21:50 +0000