aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAge
* 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
| * docs: update landing pageLibravatar Kristóf Marussy2024-04-18
| * docs: contributing guideLibravatar Kristóf Marussy2024-04-16
| * feat(docs): add Algolia DocSearchLibravatar Kristóf Marussy2024-04-16
| * feat(frontend): add homepage linkLibravatar Kristóf Marussy2024-04-12
| * feat(frontend): add tooltips to buttonsLibravatar Kristóf Marussy2024-04-12
| * refactor(frontend): friendlier table view messagesLibravatar Kristóf Marussy2024-04-12
| * refactor(frontend): remember export setting for auto themeLibravatar Kristóf Marussy2024-04-12
| * feat(docs): add edit linkLibravatar Kristóf Marussy2024-04-12
| * fix(docs): category selection card apperanceLibravatar Kristóf Marussy2024-04-12
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-07-19 22:55:21 +0000