search

septract / starling-tool

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

Shunt cav-experimental into master #132

Closed MattWindsor91 closed 7 years ago

MattWindsor91 commented 7 years ago

Declaring software engineering bankruptcy on this one. We can work out the mess later.

septract commented 7 years ago

Modulo conflicts, I say we just merge this.