zkincaid / duet

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

PolynomialConeCpClosure: cone intersection with affine space #39

Closed nclskoh closed 2 years ago

nclskoh commented 2 years ago

Use restrict instead.