sosy-lab/sv-witnesses
An Exchange Format for Verification Witnesses (MOVED, please follow the link)
PythonApache-2.0
Issues
- 4
Let WitnessLint output the type of the witness
#55 opened by dbeyer - 3
- 0
- 6
Validation via the provided python-script (`witness_validation_web_cloud.py`) is broken
#15 opened by MartinSpiessl - 3
- 6
- 1
Linter crashes on seemingly valid witness
#49 opened by danieldietsch - 1
- 2
- 0
Migrate main branch name
#46 opened by MartinSpiessl - 0
Restructure the repository to cluster files referring to different witness formats
#45 opened by MartinSpiessl - 3
- 17
- 1
Make repository reuse compliant
#18 opened by MartinSpiessl - 0
- 6
- 3
Violation witness clarification
#38 opened by hernanponcedeleon - 3
- 2
WitnessLinter does not consider different paths in a witness when checking thread information
#33 opened by kfriedberger - 2
Clarification of keys `cycle-head` and `invariant` is needed for termination witnesses
#32 opened by MartinSpiessl - 0
Create CI tests for the witness linter
#28 opened by MartinSpiessl - 1
- 13
- 0
- 3
Attributes on graphml element
#21 opened by maul-esel - 2
Feature request: Python API
#19 opened by shaobo-he - 2
Missing semantics
#12 opened by tautschnig - 1
Examples do not match documentation
#13 opened by tautschnig - 1
- 2
Example of a concurrency witness
#9 opened by peterschrammel - 1
- 4
Output flag sensitive to trailing separator
#2 opened by joshuata - 1