Repository navigation

Write witnesses from the trace via witnesscreator - #58

Merged

nils-loose merged 8 commits into

devfrom

feat/witness-via-trace

Oct 20, 2026

Merged

Write witnesses from the trace via witnesscreator#58
nils-loose merged 8 commits into
devfrom
feat/witness-via-trace

Commits on Oct 15, 2026
- build: make SV-COMP archive run on Ubuntu 26.04 (SV-COMP 2027)
  
  nils-loose
  and
  claude
  committed
  e343ec1
- Emit YAML violation witnesses (format 2.3) for SV-COMP 2027
  
  nils-loose
  and
  claude
  committed
  737f96e
- Merge remote-tracking branch 'origin/feat/yaml-witnesses' into feat/witness-via-trace
  nils-loose
  committed
  b14fdaf
- Ship witness data in the trace instead of stdout markers
  
  nils-loose
  and
  claude
  committed
  7430bef
- Write SV-COMP violation witnesses from the trace via witnesscreator
  
  nils-loose
  and
  claude
  committed
  feaa359
- Package witnesscreator instead of the WitnessCreator jar
  
  nils-loose
  and
  claude
  committed
  39188f8
- Validate the explorer-written witnesses in the local harness
  
  nils-loose
  and
  claude
  committed
  be5ddca
- Record the calling method and send the trace on System.exit
  
  nils-loose
  and
  claude
  committed
  f18d36f