search

septract / starling-tool

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

Make travis test GRASShopper benchmarks #131

Closed septract closed 7 years ago