summaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAge
* chore: release v0.1.0v0.1.0Libravatar Kristóf Marussy2024-07-17
* chore(deps): bump dependenciesLibravatar Kristóf Marussy2024-07-17
* fix(language): disallow error predicate assertionsLibravatar Kristóf Marussy2024-07-17
* fix(docs): example codeLibravatar Kristóf Marussy2024-07-17
* fix(gradle): activate JUnit platformLibravatar Kristóf Marussy2024-07-17
* docs: add programming guideLibravatar Kristóf Marussy2024-07-17
* docs: website fixesLibravatar Kristóf Marussy2024-07-11
* test(web): try to make integration tests less flakyLibravatar Kristóf Marussy2024-07-10
* build: pin transitive dependenciesLibravatar Kristóf Marussy2024-07-10
* feat: generator facade timeout and non-existent objectsLibravatar Kristóf Marussy2024-07-10
* build: do not build shadow jarsLibravatar Kristóf Marussy2024-07-09
* build: add Gradle plugin for downstream usersLibravatar Kristóf Marussy2024-07-09
* build: add shadow plugin to version catalogLibravatar Kristóf Marussy2024-07-09
* build: do not publish applicationsLibravatar Kristóf Marussy2024-07-09
* build: publish version catalog and BOMLibravatar Kristóf Marussy2024-07-08
* chore(deps): bump dependenciesLibravatar Kristóf Marussy2024-07-07
* build(deps): drop Xtext BOM dependenceLibravatar Kristóf Marussy2024-07-07
* build: MWE2 loggingLibravatar Kristóf Marussy2024-07-07
* Merge pull request #61 from kris7t/computedLibravatar Kristóf Marussy2024-07-06
|\
| * test(web): increase test timeoutLibravatar Kristóf Marussy2024-07-06
| * feat(semantics): implicit rule preconditionsLibravatar Kristóf Marussy2024-07-06
| * refactor(frontend): fix React warningsLibravatar Kristóf Marussy2024-07-06
| * build: fix ESLint in VSCodeLibravatar Kristóf Marussy2024-07-05
| * chore(deps): bump dependenciesLibravatar Kristóf Marussy2024-07-05
| * feat(language): shadow predicate validation and content assistLibravatar Kristóf Marussy2024-07-05
| * refactor(reasoning): remove errors when possibleLibravatar Kristóf Marussy2024-07-03
| * refactor(reasoning): lower multiplicity propagatorLibravatar Kristóf Marussy2024-07-03
| * feat: container type propagationLibravatar Kristóf Marussy2024-07-03
| * fix(reasoning): do not propagate invalidated objectsLibravatar Kristóf Marussy2024-07-02
| * fix(semantics): traceability for internal rulesLibravatar Kristóf Marussy2024-07-02
| * feat(reasoning): lower bound propagationrulesLibravatar Kristóf Marussy2024-07-02
| * refactor(language): rename definition to computedLibravatar 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): change computed value symbolLibravatar Kristóf Marussy2024-06-30
| * feat(language): computed value validationLibravatar Kristóf Marussy2024-06-30
| * refactor(language): computed constraint symbolLibravatar Kristóf Marussy2024-06-30
| * 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
* refactor: improve propagation traceabilityLibravatar Kristóf Marussy2024-06-28
* refactor: show semantics even if propagation failsLibravatar Kristóf Marussy2024-06-28
* refactor(reasoning): fix Sonar warningsLibravatar Kristóf Marussy2024-06-28
* refactor(language): improve propagation rule validationLibravatar Kristóf Marussy2024-06-28
* refactor(generator): spellingLibravatar Kristóf Marussy2024-06-28
* chore(deps): bump dependenciesLibravatar Kristóf Marussy2024-06-28
* fix(semantics): configure StateCoderAdapterLibravatar Kristóf Marussy2024-06-28
* refactor(store): NeighborhoodCalculator APILibravatar Kristóf Marussy2024-06-28
* interpreter: Fix NPE in VQE wipe/dispose -> EVM -> MatchUpdateListener chainsLibravatar Kristóf Marussy2024-06-27
* docs: add links between JavadocsLibravatar Kristóf Marussy2024-06-25
generated by cgit v1.2.3-70-g09d2 (git 2.46.0) at 2024-09-14 20:02:28 +0000