Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | build: package Z3 solver native libraries | Kristóf Marussy | 2024-04-07 |
| | |||
* | fix(test): Windows line endings comparison | Kristóf Marussy | 2024-04-07 |
| | |||
* | build: multi-platform build | Kristóf Marussy | 2024-04-07 |
| | |||
* | chore(deps): bump dependencies | Kristóf Marussy | 2024-04-07 |
| | |||
* | build: move Javascript config to top level | Kristóf Marussy | 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 | Kristóf Marussy | 2024-04-05 |
| | |||
* | chore(deps): bump dependencies | Kristóf Marussy | 2024-04-03 |
| | |||
* | fix(build): missing option in Dockerfile | Kristóf Marussy | 2024-03-26 |
| | |||
* | chore(deps): bump dependencies | Kristóf Marussy | 2024-03-26 |
| | |||
* | Merge pull request #56 from kris7t/custom-colors | Kristóf Marussy | 2024-03-22 |
|\ | | | | | feat: custom identifier coloring | ||
| * | feat: custom identifier coloring | Kristóf Marussy | 2024-03-22 |
|/ | |||
* | refactor(web): improve web app styling | Kristóf Marussy | 2024-02-25 |
| | |||
* | fix(web): Sonar security issue | Kristóf Marussy | 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 | Kristóf Marussy | 2024-02-24 |
|\ | | | | | Frontend: file management and svg export | ||
| * | chore(deps); bump dependencies | Kristóf Marussy | 2024-02-24 |
| | | |||
| * | feat(web): file open and save | Kristóf Marussy | 2024-02-24 |
| | | | | | | | | In-place saving is only supported in Chromium. | ||
| * | fix(web): CSP for SVG rasterization | Kristóf Marussy | 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 | Kristóf Marussy | 2024-02-24 |
| | | |||
| * | build(web): remove extraneous console output | Kristóf Marussy | 2024-02-23 |
| | | |||
| * | build(web): include embedded font assets in service worker | Kristóf Marussy | 2024-02-23 |
| | | |||
| * | feat(web): pdf export | Kristóf Marussy | 2024-02-23 |
| | | |||
| * | refactor(web): use filesystem access API when available | Kristóf Marussy | 2024-02-23 |
| | | |||
| * | fix(frontend): top button styling | Kristóf Marussy | 2024-02-23 |
| | | |||
| * | feat(frontend): graph export formal selector | Kristóf Marussy | 2024-02-23 |
| | | |||
| * | feat(frontend): add top bar logo | Kristóf Marussy | 2024-02-23 |
| | | |||
| * | chore(deps): bump frontend dependencies | Kristóf Marussy | 2024-02-23 |
| | | |||
| * | feat(frontend): optional SVG font embedding | Kristóf Marussy | 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 | Kristóf Marussy | 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 | Kristóf Marussy | 2024-02-22 |
|/ | |||
* | Merge pull request #53 from kris7t/imports | Kristóf Marussy | 2024-02-19 |
|\ | | | | | Module and import resolution support | ||
| * | docs: update README | Kristóf Marussy | 2024-02-19 |
| | | |||
| * | chore(deps): bump dependencies | Kristóf Marussy | 2024-02-19 |
| | | |||
| * | refactor(language): classpath based library context | Kristóf Marussy | 2024-02-19 |
| | | |||
| * | fix(frontend): module name highlighting | Kristóf Marussy | 2024-02-18 |
| | | |||
| * | fix(language): type hash colors | Kristóf Marussy | 2024-02-18 |
| | | | | | | | | Make sure type hashes can be computed with the updated scoping rules. | ||
| * | feat(language): import validation | Kristóf Marussy | 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 | Kristóf Marussy | 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 | Kristóf Marussy | 2024-02-11 |
| | | |||
| * | refactor(language): scope shadowing | Kristóf Marussy | 2024-02-11 |
| | | |||
| * | refactor(language): simplify default module kinds | Kristóf Marussy | 2024-02-11 |
| | | | | | | | | Use a transient attribute instead of an adapter. | ||
| * | feat(language): automatic problem kind inference | Kristóf Marussy | 2024-02-06 |
| | | |||
| * | Revert "refactor: simplify module name inference" | Kristóf Marussy | 2024-02-05 |
| | | | | | | | | This reverts commit c6e70f5a01c877b560d4561f22a830c1ce1c6dbe. | ||
| * | refactor: simplify module name inference | Kristóf Marussy | 2024-02-04 |
| | | | | | | | | | | We never need to infer names for modules not added by import, because importing a problem (i.e., a Resource manually added into the ResourceSet) is not allowed. | ||
| * | feat: filesystem-level import resolution | Kristóf Marussy | 2024-02-04 |
| | | | | | | | | | | Modules without an explicitly declared name get a name automatically inferred from their path. | ||
| * | feat(language): import resolution | Kristóf Marussy | 2024-02-03 |
| | | |||
| * | refactor(language): name disambiguation | Kristóf Marussy | 2024-02-02 |
| | | | | | | | | | | | | * Use fully qualified names starting with :: (as in C++) to unambiguously refer to an element. * Name shadowing within modules. | ||
| * | refactor: serialize solutions as modules | Kristóf Marussy | 2024-01-31 |
| | | |||
| * | feat(language): validate module isolation | Kristóf Marussy | 2024-01-31 |
| | | |||
| * | refactor(language): module and node declarations | Kristóf Marussy | 2024-01-31 |
| | | | | | | | | | | | | | | | | * New default file extension: .refinery (.problem is also supported). * Add module keyword for self-contained modules. * Rename indiv declarations to atom declaration. * Add node and multi declarations for explicitly declared nodes and multi-objects, respectively. | ||
| * | fix(build): avoid cyclic dependency | Kristóf Marussy | 2024-01-31 |
|/ | | | | | | IntelliJ can handle dependencies between test configurations going in the reverse direction compared to dependencies between main configurations, but Eclipse can't. Manually copy some code over to break the reverse dependency. |