search

zkincaid / duet

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

Nonlinear #47

Closed nclskoh closed 1 year ago

nclskoh commented 1 year ago

Finalize changes for artifact. The main todo left is double densification.