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