utwente-fmt / vercors

The VerCors verification toolset for verifying parallel and concurrent software
https://utwente.nl/vercors
Mozilla Public License 2.0
56 stars 26 forks source link

Look into `--ignore-rev` + `.git-blame-ignore-revs` convention #1051

Open pieter-bos opened 1 year ago

pieter-bos commented 1 year ago
pieter-bos commented 1 year ago