aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAge
* feat(frontend): icon for error edgesHEADmainLibravatar Kristóf Marussy5 days
| | | | Make error edges more visible even in black&white printouts.
* refactor(frontend): crisper zoom in WebKitGTKLibravatar Kristóf Marussy5 days
| | | | | | | 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 Marussy5 days
| | | | Also affected WebKitGTK
* rfactor(frontend): scroll to top on initializationLibravatar Kristóf Marussy6 days
|
* refactor(fronted): add visibility checkbox tooltipsLibravatar Kristóf Marussy6 days
|
* refactor(frontend): improve key bindingsLibravatar Kristóf Marussy6 days
| | | | | | * 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 Marussy6 days
|
* Merge pull request #58 from graphs4value/docsLibravatar Kristóf Marussy6 days
|\ | | | | Add documentation site with Docusaurus
| * chore(deps): bump dependenciesLibravatar Kristóf Marussy6 days
| |
| * fix(docs): non-linear time regexLibravatar Kristóf Marussy6 days
| |
| * fix(docs): missing license filesLibravatar Kristóf Marussy6 days
| |
| * docs: language referencedocsLibravatar Kristóf Marussy8 days
| |
| * 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.
| * docs: add webmanifestLibravatar Kristóf Marussy2024-04-10
| |
| * refactor(docs): URL structureLibravatar Kristóf Marussy2024-04-10
| |
| * docs: add existing static assetsLibravatar Kristóf Marussy2024-04-10
| |
| * docs: under constructionLibravatar Kristóf Marussy2024-04-10
| |
| * fix(build): assembleFrontend task enableIfLibravatar Kristóf Marussy2024-04-09
| |
| * refactor(docs): landing pageLibravatar Kristóf Marussy2024-04-09
| |
| * docs: add JavadocLibravatar Kristóf Marussy2024-04-09
| |
| * docs: add embedded videoLibravatar Kristóf Marussy2024-04-09
| |
| * docs: add existing tutorialLibravatar Kristóf Marussy2024-04-09
| | | | | | | | Add tutorial from https://github.com/graphs4value/refinery-tutorials
| * docs: basic theme and structureLibravatar Kristóf Marussy2024-04-09
| |
| * docs: add Docusaurus websiteLibravatar Kristóf Marussy2024-04-08
|/ | | | Also refactor Yarn buildscripts.
* fix(language): Sonar lint issueLibravatar Kristóf Marussy2024-04-07
|
* Merge pull request #57 from kris7t/logic-extractLibravatar Kristóf Marussy2024-04-07
|\ | | | | Refactor logic expressions
| * refactor(logic): abstract domain interfaceLibravatar Kristóf Marussy2024-04-07
| | | | | | | | Require all abstract domain elements to implement the AbstractValue interface.
| * chore(deps): bump dependenciesLibravatar Kristóf Marussy2024-04-07
| |
| * refactor: move terms and DNF into logic subprojectLibravatar Kristóf Marussy2024-04-07
| |
| * fix(frontend): * operator highlightingLibravatar Kristóf Marussy2024-04-07
| | | | | | | | | | Only highlight the * character as a number when it is not used as a multiplication operator.
| * feat(language): type inferenceLibravatar Kristóf Marussy2024-04-07
| | | | | | | | | | | | * Customizable operator overloads. * Customizable aggregation operators. * Simplify ProblemQualifiedNameProvider.
| * feat(language): validate assignment expressionsLibravatar Kristóf Marussy2024-04-07
| |
| * refactor(language): assignment and cast expressionLibravatar Kristóf Marussy2024-04-07
| | | | | | | | Also reorganizes operator names for easier future extension.
| * feat(query): left join for data variablesLibravatar Kristóf Marussy2024-04-07
| |
generated by cgit v1.2.3-54-g00ecf (git 2.44.0) at 2024-05-03 01:30:16 +0000