GitHub · Where software is built

This repository was archived by the owner on Oct 14, 2022. It is now read-only.

Preview

Labels Milestones

YAML-based format: Rename `loop_invariant` entry?

#60

· michael-schwarz opened

on May 22, 2022

Restructure the repository to cluster files referring to different witness formats

#45

· MartinSpiessl opened

on Sep 25, 2021

Example witness files in the repo do not pass linter

#41

· RyanGlScott opened

on Sep 24, 2021

Witness linter rejects ISO 8601 times with decimal components

#40

· RyanGlScott opened

on Sep 21, 2021

Violation witness clarification

#38

· hernanponcedeleon opened

on Apr 14, 2021

WitnessLinter ignores threads when checking callstack validity.

non-breaking change

#36

· kfriedberger opened

on Dec 8, 2020

·

WitnessLinter does not consider different paths in a witness when checking thread information

non-breaking change

underspecification

#33

· kfriedberger opened

on Dec 7, 2020

Clarification of keys `cycle-head` and `invariant` is needed for termination witnesses

underspecification

#32

· MartinSpiessl opened

on Dec 2, 2020

Create CI tests for the witness linter

#28

· MartinSpiessl opened

on Dec 1, 2020

Create python package (pip?) for witness linter

#27

· MartinSpiessl opened

on Dec 1, 2020

Reconsider the `architecture` description in the witness graphml files

non-breaking change

#22

· MartinSpiessl opened

on Nov 26, 2020

Feature request: Python API

#19

· shaobo-he opened

on Nov 14, 2020