aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAge
...
* fix(language): disallow error predicate assertionsLibravatar Kristóf Marussy2024-07-17
| | | | | We don't process error predicate assertions in ModelInitializer, so let's forbid them entirely.
* 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
| | | | Add refinery-gradle-plugins javadocs.
* test(web): try to make integration tests less flakyLibravatar Kristóf Marussy2024-07-10
|
* build: pin transitive dependenciesLibravatar Kristóf Marussy2024-07-10
| | | | | | | Make sure we don't duplicate dependency versions. org.ow2.asm:asm is still duplicated, because Xtext needs 9.7 but JaCoCo needs 9.6 instead. This only affects the jacocoAnt configuration of our Java projects.
* feat: generator facade timeout and non-existent objectsLibravatar Kristóf Marussy2024-07-10
| | | | Quality of life improvements for the semantics and generator facade APIs.
* 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
| | | | But enforce their platform BOMs.
* 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
| | | | | | | We already manage all dependencies by version number. Also be more conservative with dependencies and do not depend on milestone versions.
* build: MWE2 loggingLibravatar Kristóf Marussy2024-07-07
|
* Merge pull request #61 from kris7t/computedLibravatar Kristóf Marussy2024-07-06
|\ | | | | Rules refactor
| * test(web): increase test timeoutLibravatar Kristóf Marussy2024-07-06
| | | | | | | | Avoid spurious failures in CI.
| * 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
| | | | | | | | See https://github.com/microsoft/vscode-eslint/issues/1856
| * 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
| | | | | | | | | | | | | | | | | | | | | | | | * Allow specifying only the modality or only the concreteness of constraints in the DNF representation. * Allow modal operators in the Refinery language that only specific modality or concreteness. * Allow modal operators in shadow predicates. * Allow non-modal literals in rule definitions. * Lift rule definitions to partial must automatically. * Disallow modal operators in parameter lists. * Change the symbols for parameter binding modes.
| * 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
| | | | | * Use US English spelling consistently * Avoid Eclipse Collections types on API
* interpreter: Fix NPE in VQE wipe/dispose -> EVM -> MatchUpdateListener chainsLibravatar Kristóf Marussy2024-06-27
| | | | | | Port https://github.com/eclipse-viatra/org.eclipse.viatra/commit/a70e5e35f254079fbb0819731c81f64b3c79d1d7 from the VIATRA upstream repository
* docs: add links between JavadocsLibravatar Kristóf Marussy2024-06-25
|
* refactor(docs): improve website formattingLibravatar Kristóf Marussy2024-06-25
|
* chore(deps): move away from insecure ip.jsLibravatar Kristóf Marussy2024-06-24
| | | | | See https://github.com/indutny/node-ip/issues/150#issuecomment-2155251163
generated by cgit v1.2.3-70-g09d2 (git 2.46.0) at 2024-09-28 16:24:12 +0000