Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | feat: generator facade timeout and non-existent objects | Kristóf Marussy | 2024-07-10 |
| | | | | Quality of life improvements for the semantics and generator facade APIs. | ||
* | refactor(frontend): fix React warnings | Kristóf Marussy | 2024-07-06 |
| | |||
* | feat(language): shadow predicate validation and content assist | Kristóf Marussy | 2024-07-05 |
| | |||
* | refactor: incomplete query lifting | Kristóf Marussy | 2024-07-01 |
| | | | | | | | | | | | | * Allow specifying only the modality or only the concreteness of constraints in the DNF representation. * Allow modal operators in the Refinery language that only specific modality or concreteness. * Allow modal operators in shadow predicates. * Allow non-modal literals in rule definitions. * Lift rule definitions to partial must automatically. * Disallow modal operators in parameter lists. * Change the symbols for parameter binding modes. | ||
* | refactor(language): shadow predicates instead of computed value operator | Kristóf Marussy | 2024-07-01 |
| | |||
* | refactor(language): change computed value symbol | Kristóf Marussy | 2024-06-30 |
| | |||
* | feat(language): computed value validation | Kristóf Marussy | 2024-06-30 |
| | |||
* | refactor(language): computed constraint symbol | Kristóf Marussy | 2024-06-30 |
| | |||
* | feat: access computed values of relations | Kristóf Marussy | 2024-06-30 |
| | |||
* | refactor: show semantics even if propagation fails | Kristóf Marussy | 2024-06-28 |
| | |||
* | chore(deps): bump dependencies | Kristóf Marussy | 2024-06-23 |
| | |||
* | feat: partial references | Kristóf Marussy | 2024-06-01 |
| | | | | | References marked as partial are not concretized during model generation. The should be managed by the user manually using propagation rules instead. | ||
* | refactor(language): rule syntax | Kristóf Marussy | 2024-05-30 |
| | | | | Make the rule syntax more similar to the predicate syntax. | ||
* | feat: rule parsing | Kristóf Marussy | 2024-05-26 |
| | |||
* | fix(frontend): broken zoom: property in Firefox | Kristóf Marussy | 2024-05-26 |
| | |||
* | feat(frontend): icon for error edges | Kristóf Marussy | 2024-04-28 |
| | | | | Make error edges more visible even in black&white printouts. | ||
* | refactor(frontend): crisper zoom in WebKitGTK | Kristóf Marussy | 2024-04-27 |
| | | | | | | | 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 Safari | Kristóf Marussy | 2024-04-27 |
| | | | | Also affected WebKitGTK | ||
* | rfactor(frontend): scroll to top on initialization | Kristóf Marussy | 2024-04-27 |
| | |||
* | refactor(fronted): add visibility checkbox tooltips | Kristóf Marussy | 2024-04-27 |
| | |||
* | refactor(frontend): improve key bindings | Kristóf Marussy | 2024-04-27 |
| | | | | | | * 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. | ||
* | feat(frontend): add homepage link | Kristóf Marussy | 2024-04-12 |
| | |||
* | feat(frontend): add tooltips to buttons | Kristóf Marussy | 2024-04-12 |
| | |||
* | refactor(frontend): friendlier table view messages | Kristóf Marussy | 2024-04-12 |
| | |||
* | refactor(frontend): remember export setting for auto theme | Kristóf Marussy | 2024-04-12 |
| | |||
* | refactor(frontend): improve SVG minification | Kristóf Marussy | 2024-04-12 |
| | |||
* | feat(web): embed SVG into HTML directly | Kristóf Marussy | 2024-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. | ||
* | fix(frontend): * operator highlighting | Kristóf Marussy | 2024-04-07 |
| | | | | | Only highlight the * character as a number when it is not used as a multiplication operator. | ||
* | feat(language): type inference | Kristóf Marussy | 2024-04-07 |
| | | | | | | * Customizable operator overloads. * Customizable aggregation operators. * Simplify ProblemQualifiedNameProvider. | ||
* | refactor(language): assignment and cast expression | Kristóf Marussy | 2024-04-07 |
| | | | | Also reorganizes operator names for easier future extension. | ||
* | feat(language): datatype declarations | Kristóf Marussy | 2024-04-07 |
| | | | | | Also changes ReferenceDeclaration to declare attributes, since reference and attributes can only be distinguished at linking time. | ||
* | chore(deps): bump dependencies | Kristóf Marussy | 2024-03-26 |
| | |||
* | feat: custom identifier coloring | Kristóf Marussy | 2024-03-22 |
| | |||
* | refactor(web): improve web app styling | Kristóf Marussy | 2024-02-25 |
| | |||
* | 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 |
| | |||
* | 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 |
| | |||
* | 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 |
| | |||
* | fix(frontend): module name highlighting | Kristóf Marussy | 2024-02-18 |
| | |||
* | 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. | ||
* | 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. | ||
* | feat(web): toggle identifier coloring | Kristóf Marussy | 2024-01-03 |
| |