Commit message (Collapse) | Author | Age | ||
---|---|---|---|---|
... | ||||
| * | 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 | ||
| | | ||||
| * | chore(z3): bump to z3 4.12.6 | 2024-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 libraries | 2024-04-07 | ||
|/ | ||||
* | fix(test): Windows line endings comparison | 2024-04-07 | ||
| | ||||
* | build: multi-platform build | 2024-04-07 | ||
| | ||||
* | chore(deps): bump dependencies | 2024-04-07 | ||
| | ||||
* | build: move Javascript config to top level | 2024-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.0 | 2024-04-05 | ||
| | ||||
* | chore(deps): bump dependencies | 2024-04-03 | ||
| | ||||
* | fix(build): missing option in Dockerfile | 2024-03-26 | ||
| | ||||
* | chore(deps): bump dependencies | 2024-03-26 | ||
| | ||||
* | Merge pull request #56 from kris7t/custom-colors | 2024-03-22 | ||
|\ | | | | | feat: custom identifier coloring | |||
| * | feat: custom identifier coloring | 2024-03-22 | ||
|/ | ||||
* | refactor(web): improve web app styling | 2024-02-25 | ||
| | ||||
* | fix(web): Sonar security issue | 2024-02-24 | ||
| | | | | | See https://sonarcloud.io/organizations/graphs4value/rules?open=java%3AS1989&rule_key=java%3AS1989 | |||
* | Merge pull request #55 from kris7t/svg-export | 2024-02-24 | ||
|\ | | | | | Frontend: file management and svg export | |||
| * | chore(deps); bump dependencies | 2024-02-24 | ||
| | | ||||
| * | feat(web): file open and save | 2024-02-24 | ||
| | | | | | | | | In-place saving is only supported in Chromium. | |||
| * | fix(web): CSP for SVG rasterization | 2024-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 label | 2024-02-24 | ||
| | | ||||
| * | build(web): remove extraneous console output | 2024-02-23 | ||
| | | ||||
| * | build(web): include embedded font assets in service worker | 2024-02-23 | ||
| | | ||||
| * | feat(web): pdf export | 2024-02-23 | ||
| | | ||||
| * | refactor(web): use filesystem access API when available | 2024-02-23 | ||
| | | ||||
| * | fix(frontend): top button styling | 2024-02-23 | ||
| | | ||||
| * | feat(frontend): graph export formal selector | 2024-02-23 | ||
| | | ||||
| * | feat(frontend): add top bar logo | 2024-02-23 | ||
| | | ||||
| * | chore(deps): bump frontend dependencies | 2024-02-23 | ||
| | |