uwplse/ruler issues and pull requests

#227 - Multiple domains

Issue - State: open - Opened by boronhub 5 months ago - 1 comment

#226 - Cannot enumerate terms for larger depths

Issue - State: open - Opened by boronhub 10 months ago - 5 comments

#225 - Rename everything to fast-forwarding

Pull Request - State: closed - Opened by ajpal over 1 year ago - 1 comment

#224 - Add docs

Pull Request - State: closed - Opened by ajpal over 1 year ago

#223 - final recipe

Pull Request - State: closed - Opened by ajpal over 1 year ago

#222 - Herbie eval / artifact

Pull Request - State: open - Opened by bksaiki over 1 year ago

#221 - Halide nightly

Pull Request - State: closed - Opened by ajpal over 1 year ago

#220 - Add Szalinski artifact and start of `OOPSLA23.md`

Pull Request - State: open - Opened by rtjoa over 1 year ago

#219 - Dump log on nightly

Pull Request - State: closed - Opened by ajpal over 1 year ago

#218 - Guard against empty rules

Pull Request - State: closed - Opened by ajpal over 1 year ago

#217 - Trig recipe cleanup

Pull Request - State: open - Opened by ajpal over 1 year ago

#216 - Halide improvement

Pull Request - State: closed - Opened by ajpal over 1 year ago

#215 - 0 and 1 instead of true and false

Pull Request - State: closed - Opened by ajpal over 1 year ago

#214 - Add 0 and 1 to Bv

Pull Request - State: closed - Opened by ajpal over 1 year ago

#213 - Fix trig bug

Pull Request - State: closed - Opened by bksaiki almost 2 years ago

#212 - Another Workload Optimization

Pull Request - State: closed - Opened by ajpal almost 2 years ago

#211 - Parameterize base_lang and other cleanup

Pull Request - State: closed - Opened by ajpal almost 2 years ago

#210 - Table1

Pull Request - State: closed - Opened by ajpal almost 2 years ago

#209 - Restructure Nightlies JSON

Pull Request - State: closed - Opened by ajpal almost 2 years ago

#208 - Update rational_best for the herbie eval

Pull Request - State: closed - Opened by oflatt almost 2 years ago - 2 comments

#207 - Create scrape_halide_rules.py

Pull Request - State: closed - Opened by ajpal almost 2 years ago

#206 - remove one more test

Pull Request - State: closed - Opened by ajpal almost 2 years ago

#205 - unidirectional rules

Pull Request - State: closed - Opened by ajpal almost 2 years ago

#204 - dont let herbie break things

Pull Request - State: closed - Opened by ajpal almost 2 years ago

#203 - Parameterize match limits

Pull Request - State: closed - Opened by rtjoa almost 2 years ago

#202 - lhs and lhsrhs for bv

Pull Request - State: closed - Opened by ajpal almost 2 years ago - 1 comment

#201 - back to sound div

Pull Request - State: closed - Opened by ajpal almost 2 years ago

#200 - no div no implies

Pull Request - State: closed - Opened by ajpal almost 2 years ago

#199 - BV4 baseline reversion.

Pull Request - State: closed - Opened by vee-effekt almost 2 years ago - 1 comment

#198 - Update baselines from nightly

Pull Request - State: closed - Opened by ajpal almost 2 years ago

#197 - This is the 75% Halide recipe.

Pull Request - State: closed - Opened by vee-effekt almost 2 years ago

#196 - Update UI + latex tables

Pull Request - State: closed - Opened by ajpal almost 2 years ago

#195 - Herbie eval (defunct)

Pull Request - State: closed - Opened by bksaiki almost 2 years ago - 1 comment

#194 - simple scheduler for derive

Pull Request - State: closed - Opened by oflatt almost 2 years ago - 2 comments

#193 - Revert "Change derive to simple scheduler"

Pull Request - State: closed - Opened by oflatt almost 2 years ago

#192 - main broke cuz write_output takes a new parameter now & we just added…

Pull Request - State: closed - Opened by vee-effekt almost 2 years ago

#191 - Change derive to simple scheduler

Pull Request - State: closed - Opened by oflatt almost 2 years ago

#190 - Halide tweaks.

Pull Request - State: closed - Opened by vee-effekt almost 2 years ago

#189 - re-add test

Pull Request - State: closed - Opened by ajpal almost 2 years ago

#188 - Halide recipe that gets 64% derivability.

Pull Request - State: closed - Opened by vee-effekt almost 2 years ago

#187 - Add Szalinski eval; parameterize match limits

Pull Request - State: closed - Opened by rtjoa almost 2 years ago - 1 comment

#186 - Sat score

Pull Request - State: closed - Opened by ajpal almost 2 years ago

#185 - Bv Experiment

Pull Request - State: closed - Opened by ajpal almost 2 years ago

#184 - update latex gen for oopsla

Pull Request - State: closed - Opened by ajpal almost 2 years ago

#183 - Clean up how we add candidates from recexprs

Pull Request - State: closed - Opened by ajpal almost 2 years ago

#182 - Speed up derivability

Pull Request - State: closed - Opened by ajpal almost 2 years ago - 1 comment

#181 - Use i64 instead of Bigint

Pull Request - State: closed - Opened by ajpal almost 2 years ago - 1 comment

#180 - add timeout

Pull Request - State: closed - Opened by ajpal almost 2 years ago

#179 - Take Halide off.

Pull Request - State: closed - Opened by vee-effekt almost 2 years ago - 3 comments

#178 - Fix halide baseline rules

Pull Request - State: closed - Opened by ajpal almost 2 years ago - 3 comments

#177 - Simplify partition

Pull Request - State: closed - Opened by ajpal almost 2 years ago

#176 - fix everywhere

Pull Request - State: closed - Opened by ajpal almost 2 years ago

#175 - Learn conditional factoring rules in rational

Pull Request - State: closed - Opened by oflatt almost 2 years ago

#174 - Update bv baselines

Pull Request - State: closed - Opened by vee-effekt almost 2 years ago

#173 - Update bv baselines

Pull Request - State: closed - Opened by vee-effekt almost 2 years ago

#172 - Targeted fixed to address OOM issues on Nightly

Pull Request - State: closed - Opened by ajpal almost 2 years ago

#171 - Make sure cvecs are always initialized properly

Pull Request - State: closed - Opened by ajpal almost 2 years ago - 2 comments

#170 - Skip nightlies recipes on CI

Pull Request - State: closed - Opened by ajpal almost 2 years ago

#169 - Small tweaks to Nightlies UI

Pull Request - State: closed - Opened by ajpal almost 2 years ago

#168 - Cleanup recipes

Pull Request - State: closed - Opened by ajpal almost 2 years ago

#167 - Investigate Halide rule validation

Issue - State: open - Opened by ajpal almost 2 years ago

#166 - re-add short circuiting

Pull Request - State: closed - Opened by ajpal almost 2 years ago

#165 - Update limits baseline

Pull Request - State: closed - Opened by vee-effekt almost 2 years ago

#164 - Pushing halide

Pull Request - State: open - Opened by vee-effekt almost 2 years ago

#163 - Update oopsla halide baseline

Pull Request - State: closed - Opened by ajpal almost 2 years ago

#162 - preserve var order

Pull Request - State: closed - Opened by ajpal almost 2 years ago - 1 comment

#161 - optimize cvec matching

Pull Request - State: closed - Opened by oflatt almost 2 years ago

#160 - Add div to recipe

Pull Request - State: closed - Opened by ajpal almost 2 years ago - 3 comments

#159 - Make conditional workload more enumo-y

Pull Request - State: closed - Opened by ajpal almost 2 years ago - 3 comments

#158 - Misreporting best / replicate.

Pull Request - State: closed - Opened by vee-effekt almost 2 years ago

#157 - Fix latex

Pull Request - State: closed - Opened by vee-effekt almost 2 years ago

#156 - Consolidate Append

Pull Request - State: closed - Opened by ajpal almost 2 years ago

#155 - Fix write_output call

Pull Request - State: closed - Opened by ajpal almost 2 years ago

#154 - New baselines for trig, exponential.

Pull Request - State: closed - Opened by vee-effekt almost 2 years ago

#153 - Consolidate columns

Pull Request - State: closed - Opened by ajpal almost 2 years ago

#152 - add oopsla baseline to halide table

Pull Request - State: closed - Opened by ajpal almost 2 years ago

#151 - Refactor Nightly Scripts

Pull Request - State: closed - Opened by ajpal almost 2 years ago

#150 - Change rational rule semantics to preserve error, resulting in more rules

Pull Request - State: closed - Opened by oflatt almost 2 years ago

#149 - LOC, some reformatting.

Pull Request - State: closed - Opened by vee-effekt almost 2 years ago

#148 - Fix unit tests broken by WIP Szalinski merge

Pull Request - State: closed - Opened by rtjoa almost 2 years ago

#147 - Fix nightly, again

Pull Request - State: closed - Opened by bksaiki almost 2 years ago

#146 - Make minimize take Scheduler

Pull Request - State: closed - Opened by ajpal almost 2 years ago

#145 - [WIP] Szalinski rule inference

Pull Request - State: closed - Opened by rtjoa almost 2 years ago - 2 comments

#144 - Add is_valid as public function on Rule

Pull Request - State: closed - Opened by ajpal almost 2 years ago

#143 - Add conditional to learn guarded division

Pull Request - State: closed - Opened by ajpal almost 2 years ago

#142 - Add script to parse json data to latex table

Pull Request - State: closed - Opened by ajpal almost 2 years ago

#141 - New tables for baseline, Herbie, Halide results.

Pull Request - State: closed - Opened by vee-effekt almost 2 years ago - 1 comment

#140 - Script bugfix

Pull Request - State: closed - Opened by vee-effekt almost 2 years ago

#139 - Fix PR #132

Pull Request - State: closed - Opened by bksaiki almost 2 years ago - 1 comment

#138 - Fixed Python script bug.

Pull Request - State: closed - Opened by vee-effekt almost 2 years ago

#137 - Fix bad bug in minimize

Pull Request - State: closed - Opened by oflatt almost 2 years ago - 2 comments

#136 - convert nightly script to some python garbage

Pull Request - State: closed - Opened by oflatt almost 2 years ago

#135 - Simplify trig recipe

Pull Request - State: closed - Opened by bksaiki almost 2 years ago

#134 - Halide

Pull Request - State: closed - Opened by ajpal almost 2 years ago - 1 comment

#133 - Fix filter

Pull Request - State: closed - Opened by ajpal almost 2 years ago - 4 comments

#132 - Separate "best recipe" from "replicate ruler1 recipe"

Pull Request - State: closed - Opened by ajpal almost 2 years ago

#130 - Use different derivability modes during shrink

Pull Request - State: closed - Opened by oflatt almost 2 years ago - 3 comments

#127 - New rational recipe

Pull Request - State: closed - Opened by bksaiki almost 2 years ago - 1 comment

#124 - Different derivability metrics

Pull Request - State: closed - Opened by oflatt almost 2 years ago

#120 - Cleanup minimize

Pull Request - State: closed - Opened by ajpal almost 2 years ago - 2 comments

GitHub / uwplse/ruler issues and pull requests