search

septract / starling-tool

An automatic verifier for concurrent algorithms.
MIT License
7 stars 4 forks source link

Added logical negation #77

Closed septract closed 8 years ago

MattWindsor91 commented 8 years ago

This seems fine (and is a tiny change), so I'll merge it!