PolynomialConeCpClosure: cone intersection with affine space

zkincaid / duet

Duet: static analysis for unbounded concurrency

http://duet.cs.toronto.edu

MIT License

23 stars 17 forks source link

Closed nclskoh closed 2 years ago

nclskoh commented 2 years ago

Fixed bug in cone intersection with affine subspace: positive generators should be obtained via polyhedral projection.