Commit message (Collapse) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | 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 | ||
| | ||||
* | refactor(logic): abstract domain interface | 2024-04-07 | ||
| | | | | Require all abstract domain elements to implement the AbstractValue interface. | |||
* | 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 | ||
| | ||||
* | fix(test): Windows line endings comparison | 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): bump dependencies | 2024-04-03 | ||
| | ||||
* | chore(deps): bump dependencies | 2024-03-26 | ||
| | ||||
* | 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 | |||
* | 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 | ||
| | ||||
* | feat(frontend): optional SVG font embedding | 2024-02-23 | ||
| | | | | | | | Unfortunately, Pango does not support user-defined fonts, so the embedded font won't work in Inkscape (see https://wiki.inkscape.org/wiki/@font-face_Support) but it can be used in <img> tags on the web (see https://vecta.io/blog/how-to-use-fonts-in-svg). | |||
* | refactor(frontend): cleaner SVG export | 2024-02-23 | ||
| | | | | | | | | | Make sure svg can process the resulting SVG without changing visuals. In particular, we must not use specific stroke/fill values as CSS selectors, because svgo may change them into hex codes. Instead, we annotate all diagram elements with class names. | |||
* | feat(web): SVG export | 2024-02-22 | ||
| | ||||
* | chore(deps): bump dependencies | 2024-02-19 | ||
| | ||||
* | refactor(language): classpath based library context | 2024-02-19 | ||
| | ||||
* | fix(frontend): module name highlighting | 2024-02-18 | ||
| | ||||
* | fix(language): type hash colors | 2024-02-18 | ||
| | | | | Make sure type hashes can be computed with the updated scoping rules. | |||
* | feat(language): import validation | 2024-02-18 | ||
| | | | | | | | Validate imports and imported resources. Also fixes a linking error in imported resources by ensuring that imported resources are always fully resolved with all of their derived state. | |||
* | refactor(language): no fully qualified self import | 2024-02-18 | ||
| | | | | | | | | Make sure it is impossible to create clashing fully qualified names when renaming a module by forbidding modules from referring to their own elements with fully qualified names. Therefore, serializing a solution will not create clashing fully qualified names (which would prevent serialization from succeeding). | |||
* | feat(language): filter content assist for imports | 2024-02-11 | ||
| | ||||
* | refactor(language): scope shadowing | 2024-02-11 | ||
| | ||||
* | refactor(language): simplify default module kinds | 2024-02-11 | ||
| | | | | Use a transient attribute instead of an adapter. |