aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAge
* build: add Maven metadataLibravatar Kristóf Marussy2024-06-23
* refactor(dse): expose state coder parametersLibravatar Kristóf Marussy2024-06-20
* refactor(logic): fix Sonar errorLibravatar Kristóf Marussy2024-06-19
* refactor(logic): non-null aggregatorsLibravatar Kristóf Marussy2024-06-19
* Merge pull request #60 from kris7t/rulesLibravatar Kristóf Marussy2024-06-17
|\
| * chore(deps): bump dependenciesLibravatar Kristóf Marussy2024-06-17
| * fix: monomorphic matching for focus argumentsLibravatar Kristóf Marussy2024-06-17
| * fix: allow predicates in rule actionsLibravatar Kristóf Marussy2024-06-17
| * feat(language): warn about partial referencesLibravatar Kristóf Marussy2024-06-17
| * refactor(language): allow rules without preconditionsLibravatar Kristóf Marussy2024-06-17
| * feat(language): validate quantification in rulesLibravatar Kristóf Marussy2024-06-16
| * build: publish CLI as Docker containerLibravatar Kristóf Marussy2024-06-02
| * build: set Gradle JVM versionLibravatar Kristóf Marussy2024-06-01
| * chore(deps): bump dependenciesLibravatar Kristóf Marussy2024-06-01
| * refactor(reasoning): candidate view should always be a refinement of partialLibravatar Kristóf Marussy2024-06-01
| * feat: partial referencesLibravatar Kristóf Marussy2024-06-01
| * fix(reasoning): candidate count literal rewritingLibravatar Kristóf Marussy2024-06-01
| * feat: generate multiple solutionsLibravatar Kristóf Marussy2024-06-01
| * fix(reasoning): candidate rounding modeLibravatar Kristóf Marussy2024-05-31
| * refactor(language): rule syntaxLibravatar Kristóf Marussy2024-05-30
| * fix(language): validate unique rule namesLibravatar Kristóf Marussy2024-05-26
| * fix(language): spurious exception in ProblemValidatorLibravatar Kristóf Marussy2024-05-26
| * fix(semantics): negative quantification in rulesLibravatar Kristóf Marussy2024-05-26
| * feat(language): node constants in rule actionsLibravatar Kristóf Marussy2024-05-26
| * feat(dse): detect stuch propagation rulesLibravatar Kristóf Marussy2024-05-26
| * feat: rule translationLibravatar Kristóf Marussy2024-05-26
| * feat(language): more extensive rule validationLibravatar Kristóf Marussy2024-05-26
| * refactor(language): merge Assertion and AssertionActionLibravatar Kristóf Marussy2024-05-26
| * feat(language): rule validationLibravatar Kristóf Marussy2024-05-26
| * feat: type checking for rulesLibravatar Kristóf Marussy2024-05-26
| * feat: rule parsingLibravatar Kristóf Marussy2024-05-26
|/
* chore(deps): bump dependenciesLibravatar Kristóf Marussy2024-05-26
* fix(frontend): broken zoom: property in FirefoxLibravatar Kristóf Marussy2024-05-26
* chore(deps): bump dependenciesLibravatar Kristóf Marussy2024-05-26
* chore(deps): bump node.js versionLibravatar Kristóf Marussy2024-05-16
* chore(deps): bump dependenciesLibravatar Kristóf Marussy2024-05-04
* feat(frontend): icon for error edgesLibravatar Kristóf Marussy2024-04-28
* refactor(frontend): crisper zoom in WebKitGTKLibravatar Kristóf Marussy2024-04-27
* refactor(frontend): fix icon placement in SafariLibravatar Kristóf Marussy2024-04-27
* rfactor(frontend): scroll to top on initializationLibravatar Kristóf Marussy2024-04-27
* refactor(fronted): add visibility checkbox tooltipsLibravatar Kristóf Marussy2024-04-27
* refactor(frontend): improve key bindingsLibravatar Kristóf Marussy2024-04-27
* fix(reasoning): default assertions for containment referencesLibravatar Kristóf Marussy2024-04-26
* Merge pull request #58 from graphs4value/docsLibravatar Kristóf Marussy2024-04-26
|\
| * chore(deps): bump dependenciesLibravatar Kristóf Marussy2024-04-26
| * fix(docs): non-linear time regexLibravatar Kristóf Marussy2024-04-26
| * fix(docs): missing license filesLibravatar Kristóf Marussy2024-04-26
| * docs: language referencedocsLibravatar Kristóf Marussy2024-04-25
| * docs: add use cases to landing pageLibravatar Kristóf Marussy2024-04-18
| * refactor(docs): update video coverLibravatar Kristóf Marussy2024-04-18
generated by cgit v1.2.3-70-g09d2 (git 2.46.0) at 2024-09-07 12:53:31 +0000