aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)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
|\
| * feat(semantics): base predicate serializationLibravatar Kristóf Marussy2024-08-02
| * refactor(semantics): remove shadow predicate interpretations during generationLibravatar Kristóf Marussy2024-08-02
| * chore(deps): bump dependenciesLibravatar Kristóf Marussy2024-08-02
| * test(semantics): run both with and without non-existing objectsLibravatar Kristóf Marussy2024-08-02
| * 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
|/
* Revert "refactor(docs): no logo in header on small screens"Libravatar Kristóf Marussy2024-07-29
* Merge pull request #62 from kris7t/integration-testsLibravatar Kristóf Marussy2024-07-29
|\
| * 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
| * docs: enable documentation versioningLibravatar Kristóf Marussy2024-07-29
| * refactor(docs): use a single docs plugin instanceLibravatar Kristóf Marussy2024-07-26
| * 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
* 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
* docs: simplify plugin installation instructionsLibravatar Kristóf Marussy2024-07-18
* 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
* 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
generated by cgit v1.2.3-70-g09d2 (git 2.46.0) at 2024-09-20 00:10:57 +0000