aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAge
* feat: partial referencesLibravatar Kristóf Marussy2024-06-01
| | | | | References marked as partial are not concretized during model generation. The should be managed by the user manually using propagation rules instead.
* fix(reasoning): candidate count literal rewritingLibravatar Kristóf Marussy2024-06-01
|
* feat: generate multiple solutionsLibravatar Kristóf Marussy2024-06-01
| | | | | Switch to partial interpretation based neighborhood calculation when multiple models are request to avoid returning isomorphic models.
* fix(reasoning): candidate rounding modeLibravatar Kristóf Marussy2024-05-31
|
* refactor(language): rule syntaxLibravatar Kristóf Marussy2024-05-30
| | | | Make the rule syntax more similar to the predicate syntax.
* fix(language): validate unique rule namesLibravatar Kristóf Marussy2024-05-26
|
* fix(language): spurious exception in ProblemValidatorLibravatar Kristóf Marussy2024-05-26
| | | | | Make sure getNodeArgumentForMultiObjectAssertion runs correctly even for ASTs with parse errors.
* fix(semantics): negative quantification in rulesLibravatar Kristóf Marussy2024-05-26
| | | | | Make sure we appropriate quantify over the existence of objects in negative and transitive calls in rule preconditions.
* 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
| | | | Make error edges more visible even in black&white printouts.
* refactor(frontend): crisper zoom in WebKitGTKLibravatar Kristóf Marussy2024-04-27
| | | | | | | Use the non-standard zoom: property whenever available, because it gives a crisper result than transform: scale() in WebKitGTK. See https://developer.mozilla.org/en-US/docs/Web/CSS/zoom
* refactor(frontend): fix icon placement in SafariLibravatar Kristóf Marussy2024-04-27
| | | | Also affected WebKitGTK
* 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
| | | | | | * Accept completions with both Enter or Tab. * Ctrl-d duplicates current line (use Ctrl-Shift-d to select next occurrence). * Suppress browser save dialog on Ctrl-s even if there are no changes.
* fix(reasoning): default assertions for containment referencesLibravatar Kristóf Marussy2024-04-26
|
* Merge pull request #58 from graphs4value/docsLibravatar Kristóf Marussy2024-04-26
|\ | | | | Add documentation site with Docusaurus
| * 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
| | | | | | | | Also adds responsive-loader support for images.
| * 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
| |
| * refactor(frontend): improve SVG minificationLibravatar Kristóf Marussy2024-04-12
| |
| * docs: add link to WASPLibravatar Kristóf Marussy2024-04-11
| |
| * chore(deps): fix for CVE-2024-28863Libravatar Kristóf Marussy2024-04-11
| |
| * feat(web): embed SVG into HTML directlyLibravatar Kristóf Marussy2024-04-11
| | | | | | | | | | | | | | * Makes sure element IDs and CSS do not interfere with other diagrams in the same HTML document. * Disables SVGO to allow embedding in Docusaurus with CSS intact. * Replaces PNG figures with SVG in documentation.
| * chore(deps): bump frontend dependenciesLibravatar Kristóf Marussy2024-04-11
| |
| * refactor(docs): simplify yarnwLibravatar Kristóf Marussy2024-04-11
| | | | | | | | | | | | | | | | To speed up build, assume that yarn was already installed, since the build will fail if it is not installed anyway. Also change devault docs port to 3000 so that it can run simultaneously with the editor frontend.
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-07-26 04:07:54 +0000