aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAge
* docs: fix typo in build commandsLibravatar Kristóf Marussy2024-08-30
|
* docs: File system tutorial refactorLibravatar Kristóf Marussy2024-08-30
|
* Merge pull request #63 from kris7t/base-predsLibravatar Kristóf Marussy2024-08-03
|\ | | | | Base predicates
| * feat(semantics): base predicate serializationLibravatar Kristóf Marussy2024-08-02
| |
| * refactor(semantics): remove shadow predicate interpretations during generationLibravatar Kristóf Marussy2024-08-02
| | | | | | | | | | | | | | | | | | | | | | While shadow predicate interpretations are useful for debugging model semantics, may match sets for some predicates can grow very large during model generation. Do not consturct interpretations for shadow predicates in ModelGeneratorFactory by default. Also fixes a bug where the candidate interpretation of a shadow predicate was forced to be a refinement of the partial interpretation.
| * chore(deps): bump dependenciesLibravatar Kristóf Marussy2024-08-02
| |
| * test(semantics): run both with and without non-existing objectsLibravatar Kristóf Marussy2024-08-02
| | | | | | | | Make sure we test both the ModelSemantics and ModelGenerator configurations.
| * fix(reasoning): undirected reference refinementLibravatar Kristóf Marussy2024-08-02
| |
| * fix(semantics): handle empty modelsLibravatar Kristóf Marussy2024-08-02
| |
| * fix(reasoning): default false base predicvate translationLibravatar Kristóf Marussy2024-08-01
| |
| * feat(language): base predicate validationLibravatar Kristóf Marussy2024-08-01
| |
| * feat: base predicatesLibravatar Kristóf Marussy2024-08-01
| |
| * refactor(reasoning): propagation in refinerLibravatar Kristóf Marussy2024-07-30
|/ | | | | Make sure the propagations from the model seed are applied in the same way as during value merging.
* Revert "refactor(docs): no logo in header on small screens"Libravatar Kristóf Marussy2024-07-29
| | | | This reverts commit 8ae860a12a320ce24ff7c6128115291f85c5aa69.
* Merge pull request #62 from kris7t/integration-testsLibravatar Kristóf Marussy2024-07-29
|\ | | | | Integration tests framework
| * chore(docs): fix versions licenseLibravatar Kristóf Marussy2024-07-29
| |
| * docs: @InjectWithRefineryLibravatar Kristóf Marussy2024-07-29
| |
| * refactor(docs): no logo in header on small screensLibravatar Kristóf Marussy2024-07-29
| | | | | | | | | | | | | | The logo visually clashes with the hamburger menu button. Now the logo only appears in the hamburger menu and in the landing page hero title.
| * docs: enable documentation versioningLibravatar Kristóf Marussy2024-07-29
| |
| * refactor(docs): use a single docs plugin instanceLibravatar Kristóf Marussy2024-07-26
| | | | | | | | Prepare for versioning documentations.
| * test(semantics): add integration testLibravatar Kristóf Marussy2024-07-26
| |
| * test(language): add @InjectWithRefinery annotationLibravatar Kristóf Marussy2024-07-26
| |
| * test: filesystem-based semantics test loadingLibravatar Kristóf Marussy2024-07-26
| |
| * test: ModelSemantics test frameworkLibravatar Kristóf Marussy2024-07-26
|/
* chore(deps): bump dependenciesLibravatar Kristóf Marussy2024-07-26
|
* docs: fix typoLibravatar Kristóf Marussy2024-07-26
|
* docs: add Gradle Plugins badgeLibravatar Kristóf Marussy2024-07-19
|
* build: make javadoc task less prone to spurious changesLibravatar Kristóf Marussy2024-07-19
|
* docs: Gradle plugin was approvedLibravatar Kristóf Marussy2024-07-19
|
* build: enable Gradle configuration cacheLibravatar Kristóf Marussy2024-07-19
|
* test: mark MultiThreadFuzzTest as slowLibravatar Kristóf Marussy2024-07-19
| | | | Do not start a large number of tests in CI environments.
* chore: upgrade to REUSE 3.2Libravatar Kristóf Marussy2024-07-19
|
* chore: update VSCode integrationsLibravatar Kristóf Marussy2024-07-19
|
* docs: update Docker tutorialLibravatar Kristóf Marussy2024-07-18
| | | | Add documentation for CLI container.
* docs: simplify plugin installation instructionsLibravatar Kristóf Marussy2024-07-18
| | | | | Gradle Plugin Portal mirrors Maven Central, so we only need to manually specify the artifact coordinates for the plugin but not the repository.
* fix(docs): develop base pathLibravatar Kristóf Marussy2024-07-18
|
* docs: tutorial on applying released Gradle pluginLibravatar Kristóf Marussy2024-07-18
|
* docs: update README.mdLibravatar Kristóf Marussy2024-07-17
|
* chore: bump version numberLibravatar Kristóf Marussy2024-07-17
|
* 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
| | | | | 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
|
generated by cgit v1.2.3-70-g09d2 (git 2.46.0) at 2024-09-20 02:53:08 +0000