aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAge
* 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
| |
| * feat(language): datatype declarationsLibravatar Kristóf Marussy2024-04-07
| | | | | | | | | | Also changes ReferenceDeclaration to declare attributes, since reference and attributes can only be distinguished at linking time.
| * feat: subproject for z3 integrationLibravatar Kristóf Marussy2024-04-07
| |
| * chore(z3): bump to z3 4.12.6Libravatar Kristóf Marussy2024-04-07
| | | | | | | | | | | | | | | | | | | | | | | | | | We still have to build Z3 for linux-aarch64, because the official release requires glibc 2.35 (and the corresponding libstdc++), while Amazon Linux 2023 only supports glibc 2.34. Also enabled optimization flags from Amazon Linux 2023 for the aarch64 Z3 build. This tecnically excludes older armv8-a platforms (like Raspberry Pi 4), but most modern SBC (like Raspberry Pi 5) already support armv8.2-a+crypto. At any rate, the need to run Refinery on such paltforms in unlikely. At any rate, the build flags should be supported on Neoverse N1-based cloud providers (including Amazon and Hetzner), as well as Apple M devices (armv8.5-a).
| * build: package Z3 solver native librariesLibravatar Kristóf Marussy2024-04-07
|/
* fix(test): Windows line endings comparisonLibravatar Kristóf Marussy2024-04-07
|
* build: multi-platform buildLibravatar Kristóf Marussy2024-04-07
|
* chore(deps): bump dependenciesLibravatar Kristóf Marussy2024-04-07
|
* build: move Javascript config to top levelLibravatar Kristóf Marussy2024-04-07
| | | | | We need this to support multiple Javascript subprojects (e.g., a frontend and a documentation website).
* chore(deps): upgrade to frontend-jdk17 8.0.0Libravatar Kristóf Marussy2024-04-05
|
* chore(deps): bump dependenciesLibravatar Kristóf Marussy2024-04-03
|
* fix(build): missing option in DockerfileLibravatar Kristóf Marussy2024-03-26
|
* chore(deps): bump dependenciesLibravatar Kristóf Marussy2024-03-26
|
* Merge pull request #56 from kris7t/custom-colorsLibravatar Kristóf Marussy2024-03-22
|\ | | | | feat: custom identifier coloring
| * feat: custom identifier coloringLibravatar Kristóf Marussy2024-03-22
|/
* refactor(web): improve web app stylingLibravatar Kristóf Marussy2024-02-25
|
* fix(web): Sonar security issueLibravatar Kristóf Marussy2024-02-24
| | | | | See https://sonarcloud.io/organizations/graphs4value/rules?open=java%3AS1989&rule_key=java%3AS1989
* Merge pull request #55 from kris7t/svg-exportLibravatar Kristóf Marussy2024-02-24
|\ | | | | Frontend: file management and svg export
| * chore(deps); bump dependenciesLibravatar Kristóf Marussy2024-02-24
| |
| * feat(web): file open and saveLibravatar Kristóf Marussy2024-02-24
| | | | | | | | In-place saving is only supported in Chromium.
| * fix(web): CSP for SVG rasterizationLibravatar Kristóf Marussy2024-02-24
| | | | | | | | | | | | | | We have to allow img-src blob: to be able to rasterize SVG files by loading their blobs as object URLs into <img> objects. Also fixes font-style for PNG export.
| * refactor(frontend): improve save dialog labelLibravatar Kristóf Marussy2024-02-24
| |
| * build(web): remove extraneous console outputLibravatar Kristóf Marussy2024-02-23
| |
| * build(web): include embedded font assets in service workerLibravatar Kristóf Marussy2024-02-23
| |
| * feat(web): pdf exportLibravatar Kristóf Marussy2024-02-23
| |
| * refactor(web): use filesystem access API when availableLibravatar Kristóf Marussy2024-02-23
| |
| * fix(frontend): top button stylingLibravatar Kristóf Marussy2024-02-23
| |
| * feat(frontend): graph export formal selectorLibravatar Kristóf Marussy2024-02-23
| |
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-07-04 17:30:44 +0000