daisytuner / sdfglib / 15684631802

Builds Branch Commit Type Ran Committer Via Coverage
15684631802 cnf-fix Merge 27eda0f34 into 8711464f3 Pull #83 web-flow github
64.97
15682994108 capture-instrumentation Merge bcab3e6da into 8711464f3 Pull #72 web-flow github
64.43
15682840168 main Merge pull request #82 from daisytuner/assumptions2 parametrize extreme value analysis push web-flow github
64.97
15682370338 assumptions2 Merge 7ab4074df into 9816a9336 Pull #82 web-flow github
64.97
15680862811 main Merge pull request #80 from daisytuner/cnf-equality-folding Fix: fold equality-based inversions into CNF of boolean expressions push web-flow github
64.89
15680609871 cnf-equality-folding Merge 167dff6fd into 838eda599 Pull #80 web-flow github
64.89
15680526203 einsum-plugin Merge b4d2c1d98 into 838eda599 Pull #70 web-flow github
61.81
15675795638 capture-instrumentation Merge 5e8601532 into 838eda599 Pull #72 web-flow github
64.35
15662279447 main Merge pull request #79 from daisytuner/schedule-type updates getter and setter for map's schedule type push web-flow github
64.89
15662193654 schedule-type Merge ab14409bd into f12b783c6 Pull #79 web-flow github
64.89
15661746441 main Merge pull request #78 from daisytuner/lib-node-fixes removes check input types of library nodes push web-flow github
64.88
15661630075 lib-node-fixes Merge edcfe63e3 into 829d232ae Pull #78 web-flow github
64.88
15661322465 main Merge pull request #77 from daisytuner/symbol-propagation adds inversion to symbol propagation push web-flow github
64.8
15661316442 symbol-propagation Merge 57634b964 into ba2268600 Pull #77 web-flow github
64.8
15660402187 main Merge pull request #76 from daisytuner/is-disjoint New Loop Dependency Analysis push web-flow github
64.94