search

zkincaid / duet

Duet: static analysis for unbounded concurrency
http://duet.cs.toronto.edu
MIT License
23 stars 17 forks source link

miniscoping #22

Open JakeSilverman opened 3 years ago

JakeSilverman commented 3 years ago

Cleaned up version of miniscoping.

For prev discussion see: https://github.com/zkincaid/duet/pull/20#discussion_r550508347 https://github.com/zkincaid/duet/pull/20#discussion_r550526782