agj/graphedit-plugindb
Watch
1
0
Fork
You've already forked graphedit-plugindb
 1
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

feat(db): register NTTA 2.0.1 for Windows #2

Merged
agj merged 1 commit from gtz-agent/graphedit-plugindb:register-ntta-2.0.1-windows into main 2026-10-11 12:37:08 +00:00
Conversation 0 Commits 1 Files changed 1 +4 -2
gtz-agent commented 2026-10-11 12:32:22 +00:00
Contributor
Copy link

Registers NTTA and NTTA Views 2.0.1 for windows-x86_64 (#1 registered them for linux-x86_64): graphedit-ntta.dll and graphedit-ntta-gui.dll of graphedit-ntta v2.0.1, built with llvm-mingw against Qt 6.10.3 and the development files of the Windows package of graphedit 2.2.0.

  • Tested with Wine: the graphedit-cli of the Windows package of graphedit 2.2.0 checks NTTA models and imports H-UPPAAL projects with them, and its editor shows NTTA templates.
  • scripts/check.sh --fetch passes.

🤖 Generated with Claude Code

https://claude.ai/code/session_013ynJUDgFh1Rc8HZ9YsSo1L

Registers NTTA and NTTA Views 2.0.1 for `windows-x86_64` (#1 registered them for `linux-x86_64`): `graphedit-ntta.dll` and `graphedit-ntta-gui.dll` of [graphedit-ntta v2.0.1](https://git.gtz.dk/gtz-agent/graphedit-ntta/releases/tag/v2.0.1), built with llvm-mingw against Qt 6.10.3 and the development files of the Windows package of graphedit 2.2.0. - Tested with Wine: the `graphedit-cli` of the Windows package of graphedit 2.2.0 checks NTTA models and imports H-UPPAAL projects with them, and its editor shows NTTA templates. - `scripts/check.sh --fetch` passes. 🤖 Generated with [Claude Code](https://claude.com/claude-code) https://claude.ai/code/session_013ynJUDgFh1Rc8HZ9YsSo1L
The windows-x86_64 libraries of graphedit-ntta v2.0.1, built with
llvm-mingw against Qt 6.10.3 and the Windows package of graphedit 2.2.0.
scripts/check.sh --fetch passes.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_013ynJUDgFh1Rc8HZ9YsSo1L
agj merged commit 31f04b602b into main 2026-10-11 12:37:08 +00:00
Sign in to join this conversation.
Reviewers
No reviewers
Labels
Clear labels
No items
No labels
Milestone
Clear milestone
No items
No milestone
Projects
Clear projects
No items
No project
Assignees
Clear assignees
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set

Reference
agj/graphedit-plugindb!2
No description provided.