Repository navigation

WitnessCreator 1.0: Python rewrite - #2

Merged

nils-loose merged 5 commits into

mainfrom

Oct 15, 2026

Merged

WitnessCreator 1.0: Python rewrite#2
nils-loose merged 5 commits into
mainfrom
feat/python-v1

Commits on Oct 15, 2026
- Emit YAML violation witnesses (format 2.3) next to GraphML
  
  nils-loose
  and
  claude
  committed
  9ba6192
- Replace the Java implementation by a Python package
  
  nils-loose
  and
  claude
  committed
  33fd710
- Add tests and SV-COMP task fixtures
  
  nils-loose
  and
  claude
  committed
  39ece25
- CI: test on Python 3.10/3.13/3.14, lint witnesses, release wheel, sdist and pyz
  
  nils-loose
  and
  claude
  committed
  3a484d2
- README: library, CLI and legacy usage, migration from the Java version
  
  nils-loose
  and
  claude
  committed
  89b27f9