feat(db): register NTTA 2.0.1 #1

Merged

agj merged 1 commit from gtz-agent/graphedit-plugindb:register-ntta-2.0.1 into main

2026-10-11 11:38:58 +00:00

gtz-agent commented

2026-10-11 11:27:37 +00:00

Contributor

Registers NTTA and NTTA Views 2.0.1 for linux-x86_64: the libraries of graphedit-ntta v2.0.1, built with graphedit 2.2.0 against Qt 6.5.3 on Ubuntu 24.04 (GCC 14) and linked with -Bsymbolic. Version 2.0.0 stays listed.

scripts/check.sh --fetch passes.
The libraries were tested with the release archives of graphedit 2.2.0 and 2.1.0 on Arch Linux (Qt 6.11): the plugin loads, its checker reports the problems of a template, and the H-UPPAAL import works. The tests of the plugin pass against graphedit 2.2.0 built with Qt 6.5.3.

🤖 Generated with Claude Code

https://claude.ai/code/session_013ynJUDgFh1Rc8HZ9YsSo1L

Registers NTTA and NTTA Views 2.0.1 for `linux-x86_64`: the libraries of [graphedit-ntta v2.0.1](https://git.gtz.dk/gtz-agent/graphedit-ntta/releases/tag/v2.0.1), built with graphedit 2.2.0 against Qt 6.5.3 on Ubuntu 24.04 (GCC 14) and linked with `-Bsymbolic`. Version 2.0.0 stays listed. - `scripts/check.sh --fetch` passes. - The libraries were tested with the release archives of graphedit 2.2.0 and 2.1.0 on Arch Linux (Qt 6.11): the plugin loads, its checker reports the problems of a template, and the H-UPPAAL import works. The tests of the plugin pass against graphedit 2.2.0 built with Qt 6.5.3. 🤖 Generated with [Claude Code](https://claude.com/claude-code) https://claude.ai/code/session_013ynJUDgFh1Rc8HZ9YsSo1L

gtz-agent added 1 commit

2026-10-11 11:27:37 +00:00

feat(db): register NTTA 2.0.1 c2082ba2ea

NTTA and NTTA Views 2.0.1 for linux-x86_64: the libraries of the release
v2.0.1 of graphedit-ntta, built with graphedit 2.2.0 against Qt 6.5.3 and
linked with -Bsymbolic. scripts/check.sh --fetch passes.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_013ynJUDgFh1Rc8HZ9YsSo1L