Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | refactor(reasoning): candidate view should always be a refinement of partial | Kristóf Marussy | 2024-06-01 |
| | | | | | | | | | | Merge the candidate may/must queries with the partial may/must queries so that reasoning in the candidate model uses "Gentzen-style" assumptions about the candidate values of partal symbols that would be computed as unknown. This should not lead to performance degradation, because the corresponding joins were already being computed in the stopping criterion. In many cases, the extra clauses are immediately optimized away by the query optimizer anyways. | ||
* | feat: partial references | Kristóf Marussy | 2024-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 rewriting | Kristóf Marussy | 2024-06-01 |
| | |||
* | feat: generate multiple solutions | Kristóf Marussy | 2024-06-01 |
| | | | | | Switch to partial interpretation based neighborhood calculation when multiple models are request to avoid returning isomorphic models. | ||
* | fix(reasoning): candidate rounding mode | Kristóf Marussy | 2024-05-31 |
| | |||
* | refactor(language): rule syntax | Kristóf Marussy | 2024-05-30 |
| | | | | Make the rule syntax more similar to the predicate syntax. | ||
* | fix(language): validate unique rule names | Kristóf Marussy | 2024-05-26 |
| | |||
* | fix(language): spurious exception in ProblemValidator | Kristóf Marussy | 2024-05-26 |
| | | | | | Make sure getNodeArgumentForMultiObjectAssertion runs correctly even for ASTs with parse errors. | ||
* | fix(semantics): negative quantification in rules | Kristóf Marussy | 2024-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 actions | Kristóf Marussy | 2024-05-26 |
| | |||
* | feat(dse): detect stuch propagation rules | Kristóf Marussy | 2024-05-26 |
| | |||
* | feat: rule translation | Kristóf Marussy | 2024-05-26 |
| | |||
* | feat(language): more extensive rule validation | Kristóf Marussy | 2024-05-26 |
| | |||
* | refactor(language): merge Assertion and AssertionAction | Kristóf Marussy | 2024-05-26 |
| | |||
* | feat(language): rule validation | Kristóf Marussy | 2024-05-26 |
| | |||
* | feat: type checking for rules | Kristóf Marussy | 2024-05-26 |
| | |||
* | feat: rule parsing | Kristóf Marussy | 2024-05-26 |
| | |||
* | chore(deps): bump dependencies | Kristóf Marussy | 2024-05-26 |
| | |||
* | fix(frontend): broken zoom: property in Firefox | Kristóf Marussy | 2024-05-26 |
| | |||
* | chore(deps): bump dependencies | Kristóf Marussy | 2024-05-26 |
| | |||
* | chore(deps): bump dependencies | Kristóf Marussy | 2024-05-04 |
| | |||
* | feat(frontend): icon for error edges | Kristóf Marussy | 2024-04-28 |
| | | | | Make error edges more visible even in black&white printouts. | ||
* | refactor(frontend): crisper zoom in WebKitGTK | Kristóf Marussy | 2024-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 Safari | Kristóf Marussy | 2024-04-27 |
| | | | | Also affected WebKitGTK | ||
* | rfactor(frontend): scroll to top on initialization | Kristóf Marussy | 2024-04-27 |
| | |||
* | refactor(fronted): add visibility checkbox tooltips | Kristóf Marussy | 2024-04-27 |
| | |||
* | refactor(frontend): improve key bindings | Kristóf Marussy | 2024-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 references | Kristóf Marussy | 2024-04-26 |
| | |||
* | chore(deps): bump dependencies | Kristóf Marussy | 2024-04-26 |
| | |||
* | fix(docs): non-linear time regex | Kristóf Marussy | 2024-04-26 |
| | |||
* | fix(docs): missing license files | Kristóf Marussy | 2024-04-26 |
| | |||
* | docs: language referencedocs | Kristóf Marussy | 2024-04-25 |
| | |||
* | docs: add use cases to landing page | Kristóf Marussy | 2024-04-18 |
| | |||
* | refactor(docs): update video cover | Kristóf Marussy | 2024-04-18 |
| | | | | Also adds responsive-loader support for images. | ||
* | docs: update landing page | Kristóf Marussy | 2024-04-18 |
| | |||
* | docs: contributing guide | Kristóf Marussy | 2024-04-16 |
| | |||
* | feat(docs): add Algolia DocSearch | Kristóf Marussy | 2024-04-16 |
| | |||
* | feat(frontend): add homepage link | Kristóf Marussy | 2024-04-12 |
| | |||
* | feat(frontend): add tooltips to buttons | Kristóf Marussy | 2024-04-12 |
| | |||
* | refactor(frontend): friendlier table view messages | Kristóf Marussy | 2024-04-12 |
| | |||
* | refactor(frontend): remember export setting for auto theme | Kristóf Marussy | 2024-04-12 |
| | |||
* | feat(docs): add edit link | Kristóf Marussy | 2024-04-12 |
| | |||
* | fix(docs): category selection card apperance | Kristóf Marussy | 2024-04-12 |
| | |||
* | refactor(frontend): improve SVG minification | Kristóf Marussy | 2024-04-12 |
| | |||
* | docs: add link to WASP | Kristóf Marussy | 2024-04-11 |
| | |||
* | feat(web): embed SVG into HTML directly | Kristóf Marussy | 2024-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 dependencies | Kristóf Marussy | 2024-04-11 |
| | |||
* | refactor(docs): simplify yarnw | Kristóf Marussy | 2024-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. | ||
* | docs: add webmanifest | Kristóf Marussy | 2024-04-10 |
| | |||
* | refactor(docs): URL structure | Kristóf Marussy | 2024-04-10 |
| |