search

zkincaid / duet

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

Vas #17

Closed JakeSilverman closed 4 years ago

JakeSilverman commented 4 years ago

ACLTS iter added. Still need to check equalityinv is sound/get some tests for VASS