Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | refactor(frontend): fix icon placement in Safari | 2024-04-27 | |
| | | | | Also affected WebKitGTK | ||
* | rfactor(frontend): scroll to top on initialization | 2024-04-27 | |
| | |||
* | refactor(fronted): add visibility checkbox tooltips | 2024-04-27 | |
| | |||
* | refactor(frontend): improve key bindings | 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 | 2024-04-26 | |
| | |||
* | Merge pull request #58 from graphs4value/docs | 2024-04-26 | |
|\ | | | | | Add documentation site with Docusaurus | ||
| * | chore(deps): bump dependencies | 2024-04-26 | |
| | | |||
| * | fix(docs): non-linear time regex | 2024-04-26 | |
| | | |||
| * | fix(docs): missing license files | 2024-04-26 | |
| | | |||
| * | docs: language referencedocs | 2024-04-25 | |
| | | |||
| * | docs: add use cases to landing page | 2024-04-18 | |
| | | |||
| * | refactor(docs): update video cover | 2024-04-18 | |
| | | | | | | | | Also adds responsive-loader support for images. | ||
| * | docs: update landing page | 2024-04-18 | |
| | | |||
| * | docs: contributing guide | 2024-04-16 | |
| | | |||
| * | feat(docs): add Algolia DocSearch | 2024-04-16 | |
| | | |||
| * | feat(frontend): add homepage link | 2024-04-12 | |
| | | |||
| * | feat(frontend): add tooltips to buttons | 2024-04-12 | |
| | | |||
| * | refactor(frontend): friendlier table view messages | 2024-04-12 | |
| | | |||
| * | refactor(frontend): remember export setting for auto theme | 2024-04-12 | |
| | | |||
| * | feat(docs): add edit link | 2024-04-12 | |
| | | |||
| * | fix(docs): category selection card apperance | 2024-04-12 | |
| | | |||
| * | refactor(frontend): improve SVG minification | 2024-04-12 | |
| | | |||
| * | docs: add link to WASP | 2024-04-11 | |
| | | |||
| * | chore(deps): fix for CVE-2024-28863 | 2024-04-11 | |
| | | |||
| * | feat(web): embed SVG into HTML directly | 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 | 2024-04-11 | |
| | | |||
| * | refactor(docs): simplify yarnw | 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 | 2024-04-10 | |
| | | |||
| * | refactor(docs): URL structure | 2024-04-10 | |
| | | |||
| * | docs: add existing static assets | 2024-04-10 | |
| | | |||
| * | docs: under construction | 2024-04-10 | |
| | | |||
| * | fix(build): assembleFrontend task enableIf | 2024-04-09 | |
| | | |||
| * | refactor(docs): landing page | 2024-04-09 | |
| | | |||
| * | docs: add Javadoc | 2024-04-09 | |
| | | |||
| * | docs: add embedded video | 2024-04-09 | |
| | | |||
| * | docs: add existing tutorial | 2024-04-09 | |
| | | | | | | | | Add tutorial from https://github.com/graphs4value/refinery-tutorials | ||
| * | docs: basic theme and structure | 2024-04-09 | |
| | | |||
| * | docs: add Docusaurus website | 2024-04-08 | |
|/ | | | | Also refactor Yarn buildscripts. | ||
* | fix(language): Sonar lint issue | 2024-04-07 | |
| | |||
* | Merge pull request #57 from kris7t/logic-extract | 2024-04-07 | |
|\ | | | | | Refactor logic expressions | ||
| * | refactor(logic): abstract domain interface | 2024-04-07 | |
| | | | | | | | | Require all abstract domain elements to implement the AbstractValue interface. | ||
| * | chore(deps): bump dependencies | 2024-04-07 | |
| | | |||
| * | refactor: move terms and DNF into logic subproject | 2024-04-07 | |
| | | |||
| * | fix(frontend): * operator highlighting | 2024-04-07 | |
| | | | | | | | | | | Only highlight the * character as a number when it is not used as a multiplication operator. | ||
| * | feat(language): type inference | 2024-04-07 | |
| | | | | | | | | | | | | * Customizable operator overloads. * Customizable aggregation operators. * Simplify ProblemQualifiedNameProvider. | ||
| * | feat(language): validate assignment expressions | 2024-04-07 | |
| | | |||
| * | refactor(language): assignment and cast expression | 2024-04-07 | |
| | | | | | | | | Also reorganizes operator names for easier future extension. | ||
| * | feat(query): left join for data variables | 2024-04-07 | |
| | | |||
| * | feat(language): datatype declarations | 2024-04-07 | |
| | | | | | | | | | | Also changes ReferenceDeclaration to declare attributes, since reference and attributes can only be distinguished at linking time. | ||
| * | feat: subproject for z3 integration | 2024-04-07 | |
| | |