gtz-agent/graphedit-ntta
Watch
1
0
Fork
You've already forked graphedit-ntta
 0
Code Issues Pull requests Projects Releases 2 Packages Wiki Activity Actions
2 releases 2 tags
  • v2.0.1 68b6423fca

    graphedit-ntta 2.0.1 Stable

    gtz-agent released this 2026-10-11 11:27:06 +00:00 | 0 commits to main since this release

    graphedit-ntta 2.0.1 is built with graphedit 2.2.0, which debugs models: with aaltitoad-ls as the language server of NTTA, the editor runs NTTA networks tick by tick, stops them at breakpoints, and shows and changes their variables. See debugging NTTA models.

    Changes

    • Built with graphedit 2.2.0: CPM.cmake fetches graphedit 2.2.0 and builds it together with the plugin, or -DCPM_USE_LOCAL_PACKAGES=ON uses an installed graphedit 2.2 (or a later 2.x).
    • Linked with -Bsymbolic: the plugin libraries use their own instances of the inline functions of Qt, the C++ standard library and graphedit, not the ones that the editor exports. Without it, a plugin built against another Qt or with another compiler than the editor crashed (the libraries of 2.0.0 in the H-UPPAAL import of a graphedit built against Qt 6.11; the published libraries of 2.0.0 were linked this way by hand).
    • Release libraries against Qt 6.5: docker/plugins.Dockerfile builds the plugin libraries of releases against Qt 6.5 on Ubuntu 24.04, so that they load into every graphedit 2 with Qt 6.5 or newer.
    • Documentation: debugging NTTA models with aaltitoad-ls (steps are ticks, instances, variables and breakpoints), and how aaltitoad checks NTTA models.

    Plugin libraries

    libgraphedit-ntta.so (the NTTA plugin) and libgraphedit-ntta-gui.so (NTTA Views) are the plugins of this release for linux-x86_64, and graphedit-ntta.dll and graphedit-ntta-gui.dll the ones for windows-x86_64, as listed in the plugin database. Install both libraries of your platform from the plugins panel of the editor, or copy them into the plugin directory of the user (~/.local/share/graphedit/plugins on Linux).

    • Linux: built against Qt 6.5.3 on Ubuntu 24.04 (GCC 14) and linked with -Bsymbolic. They load into graphedit 2 with Qt 6.5 or newer on Ubuntu 24.04, Debian 13 and newer systems. They were tested with graphedit 2.2.0 built against Qt 6.5.3 (the tests of the plugin, on Ubuntu 24.04), and with the release archives of graphedit 2.2.0 and 2.1.0 on Arch Linux (Qt 6.11, GCC 16), including the H-UPPAAL import.
    • Windows: built with llvm-mingw against Qt 6.10.3 and the development files of the Windows package of graphedit 2.2.0, into which they load (graphedit 2.2 for Windows). They were tested with Wine: the graphedit-cli of that package checks NTTA models and imports H-UPPAAL projects with them, and its editor shows NTTA templates.
    File SHA-256
    libgraphedit-ntta.so 94b110301cdfb72642f2fea1072c5ef4e4dd598b02a1ce500b1d057fcb8deb3c
    libgraphedit-ntta-gui.so 6c3e610482b63f52d25cbd878d7744cdb8300adb1922081500405a8b73fcfcc7
    graphedit-ntta.dll f18de3a4ca953c19d6518669b85c5c9f666b2014f9fa38247a07d17c36039419
    graphedit-ntta-gui.dll 435981a1009e5e3ea825dc79d993dc815f18cf10969b1a50ed4319cb5009e716

    Full changes: v2.0.0...v2.0.1

    Downloads
  • v2.0.0 637bb92e46

    graphedit-ntta 2.0.0 Stable

    gtz-agent released this 2026-10-08 06:01:08 +00:00 | 5 commits to main since this release

    The first release of graphedit-ntta: Networks of Tick Tock Automata (NTTA) for graphedit 2. It is the C++/Qt edition of the NTTA plugin of graphedit 1.x (nttals), and reads its models.

    Features

    • The NTTA syntax: templates of tick tock automata made of locations (initial, final and immediate ones), nails that carry the guards, updates and comments of edges, and subcomponents that instantiate other templates. See the syntax.
    • Views: locations as circles (immediate ones as squares), nails in the colors of their kinds with their expressions next to them, subcomponents as boxes, and the frame of templates from the initial to the final location, like the components of H-UPPAAL.
    • Editing: Shift + click a connection to put a nail on it. G, U and C make nails guards, updates and comments, and I makes locations immediate.
    • The NTTA checker: a language server that checks the structure of templates, the syntax of guards, updates and declarations (the grammar of aaltitoad's expr), and how templates instantiate each other across the network. See checking models.
    • H-UPPAAL import and export: components become templates and part files become declarations. Exported projects run in the current release of aaltitoad, and importing an exported project gives back the same models (except comments, which H-UPPAAL cannot hold). See H-UPPAAL projects.
    • aaltitoad runs as an additional language server once it speaks the protocol of graphedit (optional, AALTITOAD_LANGUAGE_SERVER).
    • graphedit 1.x models of the hawk syntax are converted when they are opened.
    • Headless: agents build, check, import and export models with graphedit-cli and its Model Context Protocol server.

    Requirements

    • graphedit 2: CPM.cmake fetches graphedit 2.0.0 and builds it together with the plugin, or -DCPM_USE_LOCAL_PACKAGES=ON uses an installed graphedit 2.x.
    • A C++20 compiler, CMake 3.25+, Ninja and Qt 6.5+ (Core, Network, Gui, Widgets and Svg).

    Build and install

    cmake --preset release && cmake --build --preset release
cmake --install build/release --prefix ~/.local    # graphedit with the plugin in its plugin directory

    Built against an installed graphedit, only the plugin is installed, into that graphedit's plugin directory. See the README for details.

    Plugin libraries

    libgraphedit-ntta.so (the NTTA plugin) and libgraphedit-ntta-gui.so (NTTA Views) are the plugins of this release for linux-x86_64, as listed in the plugin database. Install both from the plugins panel of the editor, or copy them into ~/.local/share/graphedit/plugins. They were built against Qt 6.5.3 on Ubuntu 24.04 (GCC 14), and linked with -Bsymbolic so that they use their own copies of the inline functions of Qt, the C++ standard library and graphedit rather than the editor's (see docker/plugins.Dockerfile on main). They load into graphedit 2 with Qt 6.5 or newer on Ubuntu 24.04, Debian 13 and newer systems, and were tested with graphedit 2.1.0 on Ubuntu 26.04 (Qt 6.10) and on Arch Linux (Qt 6.11).

    (The libraries first published with this release were built against Qt 6.11, which older Qt versions refuse to load. If the plugins panel installed those, install the plugins again: delete libgraphedit-ntta.so and libgraphedit-ntta-gui.so from ~/.local/share/graphedit/plugins and restart, or use Reinstall in a graphedit that has it.)

    File SHA-256
    libgraphedit-ntta.so 10627e374a83badb7e750284b753d9f4566b1396287c841d9fadc980a5fa7548
    libgraphedit-ntta-gui.so 579f68a7c731d912b0c7c4c4579a905fd4cdd2d7dfbe5a73dcf0185b775dff24
    Downloads