search

zkincaid / duet

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

Z3arr #20

Closed JakeSilverman closed 3 years ago

JakeSilverman commented 3 years ago

Still need to revise chc and arraycontent. Syntax and coordinate system need minor revisions as well. Arrays not working with simsat.