Commit message (Collapse) | Author | Age | ||
---|---|---|---|---|
... | ||||
| * | 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 node.js version | Kristóf Marussy | 2024-05-16 | |
| | ||||
* | 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 | |
| | ||||
* | Merge pull request #58 from graphs4value/docs | Kristóf Marussy | 2024-04-26 | |
|\ | | | | | Add documentation site with Docusaurus | |||
| * | 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 | |
| | | ||||
| * | chore(deps): fix for CVE-2024-28863 | 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 | |
| | | ||||
| * | docs: add existing static assets | Kristóf Marussy | 2024-04-10 | |
| | | ||||
| * | docs: under construction | Kristóf Marussy | 2024-04-10 | |
| | | ||||
| * | fix(build): assembleFrontend task enableIf | Kristóf Marussy | 2024-04-09 | |
| | | ||||
| * | refactor(docs): landing page | Kristóf Marussy | 2024-04-09 | |
| | | ||||
| * | docs: add Javadoc | Kristóf Marussy | 2024-04-09 | |
| | | ||||
| * | docs: add embedded video | Kristóf Marussy | 2024-04-09 | |
| | | ||||
| * | docs: add existing tutorial | Kristóf Marussy | 2024-04-09 | |
| | | | | | | | | Add tutorial from https://github.com/graphs4value/refinery-tutorials | |||
| * | docs: basic theme and structure | Kristóf Marussy | 2024-04-09 | |
| | | ||||
| * | docs: add Docusaurus website | Kristóf Marussy | 2024-04-08 | |
|/ | | | | Also refactor Yarn buildscripts. | |||
* | fix(language): Sonar lint issue | Kristóf Marussy | 2024-04-07 | |
| | ||||
* | Merge pull request #57 from kris7t/logic-extract | Kristóf Marussy | 2024-04-07 | |
|\ | | | | | Refactor logic expressions | |||
| * | refactor(logic): abstract domain interface | Kristóf Marussy | 2024-04-07 | |
| | | | | | | | | Require all abstract domain elements to implement the AbstractValue interface. |