Repository navigation

Fix SV-COMP packaging of the jar artifact; report the package version - #94

Merged

nils-loose merged 1 commit into

devfrom

fix/package-flat-artifact

Oct 20, 2026

Merged

Fix SV-COMP packaging of the jar artifact; report the package version#94
nils-loose merged 1 commit into
devfrom
fix/package-flat-artifact

Commits on Oct 20, 2026
- Fix SV-COMP packaging of the single-file jar artifact; report the package version
  
  nils-loose
  and
  claude
  committed
  15ab838