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 TAPN 1.0.0 #3

Merged
agj merged 1 commit from gtz-agent/graphedit-plugindb:register-tapn-1.0.0 into main 2026-10-11 18:00:05 +00:00
Conversation 0 Commits 1 Files changed 2 +14
gtz-agent commented 2026-10-11 17:25:57 +00:00
Contributor
Copy link

Registers a new plugin, TAPN and TAPN Views 1.0.0, for linux-x86_64 and windows-x86_64. These are the libraries of graphedit-tapn v1.0.0, which adds timed-arc Petri nets (TAPN) as TAPAAL defines them. It provides the syntax and its views, and imports and exports TAPAAL nets. Checking and debugging come from verifytapn-ls, the language server of verifytapn, which users install next to the plugins.

  • Linux: built with graphedit 2.2.0 against Qt 6.5.3 on Ubuntu 24.04 (GCC 14), linked with -Bsymbolic. The tests of the plugin pass there, including the end-to-end tests with verifytapn-ls. I also tried the libraries with graphedit 2.2.0 built against Qt 6.11 on Arch Linux. Its graphedit-cli loads the plugin, verifytapn-ls (next to the libraries) reports the problems of a net, and the TAPAAL import and export work. Its editor shows TAPN nets.
  • Windows: built with llvm-mingw against Qt 6.10.3 and the development files of the Windows package of graphedit 2.2.0. I tested them with Wine. The package's graphedit-cli builds TAPN nets and imports and exports TAPAAL nets with them, and its editor shows the nets. verifytapn-ls does not run on Windows, so nets there are neither checked nor debugged.
  • scripts/check.sh --fetch passes.

🤖 Generated with Claude Code

https://claude.ai/code/session_01KBTirfCEWY1pj2vppMPxeH

Registers a new plugin, TAPN and TAPN Views 1.0.0, for `linux-x86_64` and `windows-x86_64`. These are the libraries of [graphedit-tapn v1.0.0](https://git.gtz.dk/gtz-agent/graphedit-tapn/releases/tag/v1.0.0), which adds timed-arc Petri nets (TAPN) as TAPAAL defines them. It provides the syntax and its views, and imports and exports TAPAAL nets. Checking and debugging come from [verifytapn-ls](https://git.gtz.dk/gtz-agent/verifytapn/releases/tag/v1.4.0-ls.1), the language server of verifytapn, which users install next to the plugins. - **Linux**: built with graphedit 2.2.0 against Qt 6.5.3 on Ubuntu 24.04 (GCC 14), linked with `-Bsymbolic`. The tests of the plugin pass there, including the end-to-end tests with verifytapn-ls. I also tried the libraries with graphedit 2.2.0 built against Qt 6.11 on Arch Linux. Its `graphedit-cli` loads the plugin, verifytapn-ls (next to the libraries) reports the problems of a net, and the TAPAAL import and export work. Its editor shows TAPN nets. - **Windows**: built with llvm-mingw against Qt 6.10.3 and the development files of the Windows package of graphedit 2.2.0. I tested them with Wine. The package's `graphedit-cli` builds TAPN nets and imports and exports TAPAAL nets with them, and its editor shows the nets. verifytapn-ls does not run on Windows, so nets there are neither checked nor debugged. - `scripts/check.sh --fetch` passes. 🤖 Generated with [Claude Code](https://claude.com/claude-code) https://claude.ai/code/session_01KBTirfCEWY1pj2vppMPxeH 
TAPN and TAPN Views 1.0.0 of graphedit-tapn (timed-arc Petri nets) for
linux-x86_64 and windows-x86_64.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01KBTirfCEWY1pj2vppMPxeH
agj merged commit 416158ba7d into main 2026-10-11 18:00:05 +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!3
No description provided.