search

septract / starling-tool

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

Re-target sugaring work to master. #110

Closed MattWindsor91 closed 7 years ago

MattWindsor91 commented 7 years ago

This is @septract's PRQ #77 and #78 but rebased onto current master. It should work fine.