search

zkincaid / duet

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

Regularity assumption #45

Closed zkincaid closed 1 year ago

zkincaid commented 1 year ago

Some routines in PolynomialCone are correct only under the assumption that the cone contains 1 (e.g., polyhedra conversion functions). These should be generalized.