daisytuner / sdfglib / 15966836043

Builds Branch Commit Type Ran Committer Via Coverage
15966836043 main Merge pull request #110 from daisytuner/auto-tuner Skip transformation if not applicable push web-flow github
64.81
15966153184 auto-tuner Merge e667066da into af4af1b1f Pull #110 web-flow github
64.81
15964928796 auto-tuner Merge e667066da into af4af1b1f Pull #110 web-flow github
64.81
15960137275 main Merge pull request #121 from daisytuner/tighter-bounds Adds Simplify to Improve Delinearization push web-flow github
64.8
15960047117 tighter-bounds Merge 5fed5055d into c9fa60bc5 Pull #121 web-flow github
64.8
15959912309 tighter-bounds Merge abe714651 into c9fa60bc5 Pull #121 web-flow github
64.79
15958066920 main Merge pull request #120 from daisytuner/integer-division enforce integer arithmetics in symbolic engine push web-flow github
64.69
15957920386 integer-division Merge c3c37ccd3 into a533e366e Pull #120 web-flow github
64.69
15957427384 integer-division Merge 29a2bc9c1 into a533e366e Pull #120 web-flow github
64.72
15957301765 main Merge pull request #119 from daisytuner/symbol-evolution2 extends check for non-nested updates in sym evolution push web-flow github
64.79
15956997483 symbol-evolution2 Merge 4e8043d66 into b7c221048 Pull #119 web-flow github
64.79
15956835160 symbol-evolution2 Merge 3052a1459 into b7c221048 Pull #119 web-flow github
64.79
15956279794 main Merge pull request #118 from daisytuner/symbol-promotion Improves symbolic analysis for loops push web-flow github
64.84
15955893866 symbol-promotion Merge ae3f32337 into 8db9f67bb Pull #118 web-flow github
64.84
15948486670 main Merge pull request #117 from daisytuner/while-loops Improves lifting of for loops push web-flow github
65.15