Loop nesting forest, LLRF, and dominant term analysis

zkincaid / duet

Duet: static analysis for unbounded concurrency

http://duet.cs.toronto.edu

MIT License

23 stars 17 forks source link

Loop nesting forest, LLRF, and dominant term analysis #18

Closed happypig95 closed 3 years ago

happypig95 commented 4 years ago

This commit contains implementation that constructs loop nesting forest from a weighted graph with label algebra, synthesizing linear ranking functions, synthesizing LLRF condition based on loop body formulas and dominant term analysis.