polynomial ranking functions, fixes for DTA, avoid certain operations when the theory of LIRR is specified - Githubissues

zkincaid / duet

Duet: static analysis for unbounded concurrency

http://duet.cs.toronto.edu

MIT License

23 stars 17 forks source link

polynomial ranking functions, fixes for DTA, avoid certain operations when the theory of LIRR is specified #64

Closed happypig95 closed 2 months ago