| Commit message (Collapse) | Author | Age |
| |
|
| |
|
|
|
|
|
| |
References marked as partial are not concretized during model generation. The
should be managed by the user manually using propagation rules instead.
|
|
|
|
| |
Make the rule syntax more similar to the predicate syntax.
|
| |
|
| |
|
|
|
|
| |
Make error edges more visible even in black&white printouts.
|
|
|
|
|
|
|
| |
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
|
|
|
|
| |
Also affected WebKitGTK
|
| |
|
| |
|
|
|
|
|
|
| |
* 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.
|
| |
|
| |
|
| |
|
| |
|
| |
|
|
|
|
|
|
|
| |
* 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.
|
|
|
|
|
| |
Only highlight the * character as a number when it is not used as a
multiplication operator.
|
|
|
|
|
|
| |
* Customizable operator overloads.
* Customizable aggregation operators.
* Simplify ProblemQualifiedNameProvider.
|
|
|
|
| |
Also reorganizes operator names for easier future extension.
|
|
|
|
|
| |
Also changes ReferenceDeclaration to declare attributes, since reference and
attributes can only be distinguished at linking time.
|
| |
|
| |
|
| |
|
|
|
|
| |
In-place saving is only supported in Chromium.
|
|
|
|
|
|
|
| |
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.
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
|
|
|
|
|
|
| |
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).
|
|
|
|
|
|
|
|
|
| |
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.
|
| |
|
| |
|
|
|
|
|
|
| |
* Use fully qualified names starting with :: (as in C++) to unambiguously refer
to an element.
* Name shadowing within modules.
|
| |
|
|
|
|
|
|
|
|
| |
* 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.
|
| |
|
| |
|
|
|
|
|
| |
We use a palette-based coloring strategy, where each class and enum gets a color
from
|
| |
|
|
|
|
|
|
|
| |
Make sure contains is parsed as a contextual keyword whenever possible.
The existing cut operator wasn't sufficient for this, so we also add dynamic
precedence to the grammar rule.
|
| |
|
| |
|
|
|
|
| |
Make sure we do not create conflicting transitions.
|
|
|
|
|
| |
Removes VIATRA sources from coverage anaylsis, since those files are maintained
by the VIATRA project.
|
| |
|