Sven Umbricht

Introduce entry type 'location_invariant' for YAML-based witnesses.

1

This PR introduces a new entry type for YAML-based witnesses that describes location invariants.

Create python package for linter

5

This PR intends to address #27. I have never distributed a package before, so feedback is welcome.

WIP: Proper handling of thread information in witness linter

1

Last year there were several threading-related issues with the linter which raised questions about the witness specification (cf. #30, #33, #36). This PR is to fix the handling of threading-related...