| 29196bc | Andrew Adams | 16 April 2020, 21:17:54 UTC | If a constant wildcard doesn't actually need to be constant, make it so. | 16 April 2020, 21:17:54 UTC |
| 97f71cd | Andrew Adams | 16 April 2020, 20:28:35 UTC | Constrain leaf counts instead of op counts in interpreter | 16 April 2020, 20:28:35 UTC |
| e148499 | Andrew Adams | 16 April 2020, 20:28:15 UTC | Don't do filtering in find_rules. Defer to filter_rewrite_rules. It was being too aggressive because it was neglecting predicates | 16 April 2020, 20:28:15 UTC |
| bcd2e8a | Andrew Adams | 16 April 2020, 20:27:52 UTC | Fix bug in expression commuter | 16 April 2020, 20:27:52 UTC |
| 7b60b36 | Andrew Adams | 16 April 2020, 18:17:33 UTC | Numerous improvements and bugfixes Lots of parser fixes Added support for bit-vectors and an 8-bit interpreter. Unused. | 16 April 2020, 18:17:33 UTC |
| 06a35e5 | Andrew Adams | 22 March 2020, 21:31:52 UTC | Clean up handling of type annotations | 22 March 2020, 21:31:52 UTC |
| c9fdf22 | Andrew Adams | 22 March 2020, 21:27:03 UTC | Change parser to not require parens | 22 March 2020, 21:27:03 UTC |
| 28c4a8f | Andrew Adams | 21 November 2019, 20:46:26 UTC | Fresh results | 21 November 2019, 20:46:26 UTC |
| 3e90955 | Andrew Adams | 21 November 2019, 04:42:49 UTC | Add test set expressions | 21 November 2019, 04:42:49 UTC |
| 1ad0a54 | Andrew Adams | 20 November 2019, 07:41:03 UTC | Add explicit cast | 20 November 2019, 07:41:03 UTC |
| c33ffbb | Andrew Adams | 20 November 2019, 03:41:19 UTC | Fresh results | 20 November 2019, 03:41:19 UTC |
| 6efb3d5 | Andrew Adams | 20 November 2019, 02:51:02 UTC | Normalize away NE rules | 20 November 2019, 02:51:02 UTC |
| 6a79c80 | Andrew Adams | 20 November 2019, 02:47:48 UTC | Merge branch 'super_simplify' of https://github.com/halide/Halide into super_simplify | 20 November 2019, 02:47:48 UTC |
| 1271ecf | Andrew Adams | 20 November 2019, 02:47:18 UTC | Add failed proofs | 20 November 2019, 02:47:18 UTC |
| 3b0ec36 | Andrew Adams | 20 November 2019, 01:54:48 UTC | Merge branch 'super_simplify' of https://github.com/halide/Halide into super_simplify | 20 November 2019, 01:54:48 UTC |
| d728630 | Andrew Adams | 20 November 2019, 01:54:38 UTC | Normalization of NE rules | 20 November 2019, 01:54:38 UTC |
| 1475c5e | Andrew Adams | 20 November 2019, 01:53:21 UTC | Handle abs in smt2 | 20 November 2019, 01:53:21 UTC |
| a7e8f0e | Andrew Adams | 20 November 2019, 01:53:04 UTC | Fix crash source | 20 November 2019, 01:53:04 UTC |
| 76630c2 | Andrew Adams | 20 November 2019, 01:52:51 UTC | Fresh results | 20 November 2019, 01:52:51 UTC |
| 046541a | Andrew Adams | 19 November 2019, 19:17:48 UTC | Fresh results | 19 November 2019, 19:17:48 UTC |
| 2b6c576 | Andrew Adams | 19 November 2019, 11:16:03 UTC | Restore random dropout | 19 November 2019, 11:16:03 UTC |
| 973c7f7 | Andrew Adams | 19 November 2019, 11:13:03 UTC | Restore random dropout | 19 November 2019, 11:13:03 UTC |
| 9e97f56 | Andrew Adams | 19 November 2019, 11:12:35 UTC | Three crash fixes | 19 November 2019, 11:12:35 UTC |
| 56074f2 | Andrew Adams | 19 November 2019, 11:12:06 UTC | Collect unrolling failures | 19 November 2019, 11:12:06 UTC |
| 368e85f | Andrew Adams | 19 November 2019, 04:24:01 UTC | Merge branch 'super_simplify' of https://github.com/halide/Halide into super_simplify | 19 November 2019, 04:24:01 UTC |
| 0ca9835 | Andrew Adams | 19 November 2019, 04:21:32 UTC | Remove likelies from extents when unrolling | 19 November 2019, 04:21:32 UTC |
| 3ef433d | Andrew Adams | 18 November 2019, 22:35:16 UTC | Fix three op sequence data set | 18 November 2019, 22:35:16 UTC |
| 098c90e | Andrew Adams | 18 November 2019, 19:49:21 UTC | Revert "Revert to an earlier set of rules that actually reduces compile time" The earlier set of rules looked better because it's worse at unrolling loops This reverts commit dcb09ac37e576651814275301be43789ec9ff6e0. | 18 November 2019, 19:49:21 UTC |
| dcb09ac | Andrew Adams | 18 November 2019, 19:05:27 UTC | Revert to an earlier set of rules that actually reduces compile time | 18 November 2019, 19:05:27 UTC |
| 3c02fbe | Andrew Adams | 18 November 2019, 05:59:24 UTC | No need for random dropout with a random schedule | 18 November 2019, 05:59:24 UTC |
| 347b3a5 | Andrew Adams | 18 November 2019, 05:59:05 UTC | Stick to 64 schedules per app | 18 November 2019, 05:59:05 UTC |
| 5b4dac0 | Andrew Adams | 18 November 2019, 05:58:53 UTC | Try a little harder to synthesize predicates | 18 November 2019, 05:58:53 UTC |
| bdc0863 | Andrew Adams | 18 November 2019, 05:58:35 UTC | Don't print the blacklist. Turn on parallel rule generation again | 18 November 2019, 05:58:35 UTC |
| e417abc | Andrew Adams | 18 November 2019, 05:58:16 UTC | Remove old interpolate entirely | 18 November 2019, 05:58:16 UTC |
| c0fc455 | Andrew Adams | 18 November 2019, 05:57:53 UTC | Remove duplicate rules | 18 November 2019, 05:57:53 UTC |
| cd5b387 | Andrew Adams | 18 November 2019, 05:57:32 UTC | Use genuinely random schedules | 18 November 2019, 05:57:32 UTC |
| a2fb77a | Andrew Adams | 18 November 2019, 05:56:30 UTC | Trim down random pipeline exprs | 18 November 2019, 05:56:30 UTC |
| 2984124 | Andrew Adams | 18 November 2019, 05:54:51 UTC | Revert "Match through lets. Trades compile time for runtime" This reverts commit e3c7336d1d75bd76d7b0da75c534581f8b996c70. | 18 November 2019, 05:54:51 UTC |
| e3c7336 | Andrew Adams | 17 November 2019, 23:39:03 UTC | Match through lets. Trades compile time for runtime | 17 November 2019, 23:39:03 UTC |
| e3726bb | Andrew Adams | 17 November 2019, 19:53:51 UTC | Remove source of duplicate rules | 17 November 2019, 19:53:51 UTC |
| f127ea9 | Andrew Adams | 17 November 2019, 19:33:16 UTC | Add beam size to header | 17 November 2019, 19:33:16 UTC |
| e36036d | Andrew Adams | 17 November 2019, 19:31:31 UTC | Merge branch 'super_simplify' of https://github.com/halide/Halide into super_simplify | 17 November 2019, 19:31:31 UTC |
| 282ef61 | Andrew Adams | 17 November 2019, 19:31:23 UTC | Add beam size arg to synthesize predicate | 17 November 2019, 19:31:23 UTC |
| 386a2ee | Andrew Adams | 17 November 2019, 19:25:59 UTC | Minor bugfix | 17 November 2019, 19:25:59 UTC |
| ae6cb2f | Andrew Adams | 17 November 2019, 02:09:28 UTC | Fold a constant | 17 November 2019, 02:09:28 UTC |
| 9b72840 | Andrew Adams | 17 November 2019, 02:09:06 UTC | Fix EQ rules | 17 November 2019, 02:09:06 UTC |
| 95e444a | Andrew Adams | 17 November 2019, 02:08:53 UTC | Better type construction for select rewrites | 17 November 2019, 02:08:53 UTC |
| 0708752 | Andrew Adams | 17 November 2019, 02:08:31 UTC | Add expr enumeration code | 17 November 2019, 02:08:31 UTC |
| b1f033d | Andrew Adams | 17 November 2019, 02:03:12 UTC | Try to fix EQ matching. Still broken | 17 November 2019, 02:03:12 UTC |
| 0350148 | Andrew Adams | 17 November 2019, 01:58:34 UTC | Enable OR rules | 17 November 2019, 01:58:34 UTC |
| 1c546b4 | Andrew Adams | 17 November 2019, 01:56:14 UTC | Fresh rules | 17 November 2019, 01:56:14 UTC |
| fcd5a2c | Andrew Adams | 17 November 2019, 01:36:01 UTC | Merge branch 'super_simplify' of https://github.com/halide/Halide into super_simplify | 17 November 2019, 01:36:01 UTC |
| 0a9c95b | Andrew Adams | 17 November 2019, 01:35:21 UTC | Update three op sequences to not use synthesized rules | 17 November 2019, 01:35:21 UTC |
| 6b6bd5f | Andrew Adams | 17 November 2019, 00:30:47 UTC | Small improvements | 17 November 2019, 00:30:47 UTC |
| d3e9406 | Andrew Adams | 16 November 2019, 22:04:55 UTC | Add all 3-op sequences on a small set of terminals | 16 November 2019, 22:04:55 UTC |
| 3a4a2f0 | Andrew Adams | 16 November 2019, 19:59:13 UTC | Fresh results, with CSE set to 2 | 16 November 2019, 19:59:13 UTC |
| 3fa4571 | Andrew Adams | 16 November 2019, 04:54:21 UTC | Fix bad simplify_mod again | 16 November 2019, 04:54:21 UTC |
| 48e429f | Andrew Adams | 16 November 2019, 04:51:59 UTC | Fresh rules | 16 November 2019, 04:51:59 UTC |
| 2470738 | Andrew Adams | 15 November 2019, 22:16:11 UTC | Add max filter app | 15 November 2019, 22:16:11 UTC |
| e4f1b07 | Andrew Adams | 15 November 2019, 19:13:11 UTC | Fresh results | 15 November 2019, 19:13:11 UTC |
| 660fc9a | Andrew Adams | 15 November 2019, 09:35:19 UTC | Fix bad includes | 15 November 2019, 09:35:19 UTC |
| 3396fc4 | Andrew Adams | 15 November 2019, 09:32:10 UTC | Fresh rules | 15 November 2019, 09:32:10 UTC |
| b42745a | Andrew Adams | 15 November 2019, 05:24:05 UTC | Merge branch 'super_simplify' of https://github.com/halide/Halide into super_simplify | 15 November 2019, 05:24:05 UTC |
| 8685600 | Andrew Adams | 15 November 2019, 05:23:45 UTC | Fix minor bug in reduction order | 15 November 2019, 05:23:45 UTC |
| b710e6f | Andrew Adams | 14 November 2019, 22:57:12 UTC | Permit longer lhs if they produce shorter rhs | 14 November 2019, 22:57:12 UTC |
| dee69f2 | Andrew Adams | 14 November 2019, 22:56:25 UTC | Update experiment scripts | 14 November 2019, 22:56:25 UTC |
| 2186748 | Andrew Adams | 14 November 2019, 22:55:01 UTC | Add more apps | 14 November 2019, 22:55:01 UTC |
| c04af7d | Andrew Adams | 14 November 2019, 22:44:49 UTC | parser fix | 14 November 2019, 22:44:49 UTC |
| 970471f | Andrew Adams | 14 November 2019, 22:36:28 UTC | Reduction order fixes | 14 November 2019, 22:36:28 UTC |
| 38dc75a | Andrew Adams | 14 November 2019, 20:24:59 UTC | Delete obvious broken distributive laws | 14 November 2019, 20:24:59 UTC |
| e86da40 | Andrew Adams | 13 November 2019, 23:55:28 UTC | Merge branch 'super_simplify' of https://github.com/halide/Halide into super_simplify | 13 November 2019, 23:55:28 UTC |
| 37696e9 | Andrew Adams | 13 November 2019, 23:55:19 UTC | Fix for case where rhs of mod is unknown sign | 13 November 2019, 23:55:19 UTC |
| c5abe7f | Andrew Adams | 13 November 2019, 22:14:15 UTC | Merge pull request #4392 from jn80842/super_simplify Refined reduction order in check on synthesized rules | 13 November 2019, 22:14:15 UTC |
| 1a11b05 | Andrew Adams | 13 November 2019, 21:44:26 UTC | Bucket rules by second-level node types | 13 November 2019, 21:44:26 UTC |
| b9b903e | Andrew Adams | 13 November 2019, 21:42:47 UTC | Make new rules cheaper to compare to | 13 November 2019, 21:42:47 UTC |
| fd245db | Julie Newcomb | 12 November 2019, 03:25:58 UTC | reduction order uses correct variable map datatype | 12 November 2019, 03:25:58 UTC |
| fa14217 | Julie Newcomb | 12 November 2019, 02:17:49 UTC | merge | 12 November 2019, 02:17:49 UTC |
| 1291731 | Julie Newcomb | 12 November 2019, 02:11:44 UTC | mark off rules that don't obey reduction order | 12 November 2019, 02:11:44 UTC |
| adad32e | Julie Newcomb | 11 November 2019, 05:52:45 UTC | refined reduction order checker for super_simplifier | 11 November 2019, 23:39:01 UTC |
| c833b12 | Julie Newcomb | 11 November 2019, 23:30:40 UTC | remove commented code | 11 November 2019, 23:30:40 UTC |
| e09043c | Julie Newcomb | 11 November 2019, 05:52:45 UTC | refined reduction order checker for super_simplifier | 11 November 2019, 23:27:25 UTC |
| 60485c5 | Andrew Adams | 11 November 2019, 06:27:48 UTC | New rules | 11 November 2019, 06:27:48 UTC |
| baed567 | Andrew Adams | 10 November 2019, 21:56:06 UTC | Merge branch 'super_simplify' of https://github.com/Halide/Halide into super_simplify | 10 November 2019, 21:56:06 UTC |
| b13e78e | Andrew Adams | 10 November 2019, 21:55:56 UTC | Add more expressions as fodder | 10 November 2019, 21:55:56 UTC |
| 03ad85e | Andrew Adams | 10 November 2019, 18:14:33 UTC | Div/Mul/Mod rules | 10 November 2019, 18:14:33 UTC |
| ba32f80 | Andrew Adams | 10 November 2019, 18:14:08 UTC | Minor predicate synthesis improvements | 10 November 2019, 18:14:08 UTC |
| 0c6b87c | Andrew Adams | 10 November 2019, 18:13:24 UTC | Include constant-folding rules in the search | 10 November 2019, 18:13:24 UTC |
| 089539d | Andrew Adams | 10 November 2019, 18:12:20 UTC | Parse not nodes | 10 November 2019, 18:12:20 UTC |
| ffd7b5f | Andrew Adams | 10 November 2019, 18:12:06 UTC | Don't try to reassociate folds | 10 November 2019, 18:12:06 UTC |
| c756bab | Andrew Adams | 10 November 2019, 06:49:33 UTC | Merge branch 'super_simplify' of https://github.com/halide/Halide into super_simplify | 10 November 2019, 06:49:33 UTC |
| 85ace5d | Andrew Adams | 10 November 2019, 06:48:17 UTC | Add exprs from autotuning random pipelines | 10 November 2019, 06:48:17 UTC |
| 504c32a | Andrew Adams | 10 November 2019, 01:27:46 UTC | Add the human-written rules | 10 November 2019, 01:27:46 UTC |
| 680d9b8 | Andrew Adams | 09 November 2019, 18:15:56 UTC | Fix script | 09 November 2019, 18:15:56 UTC |
| 8ebf432 | Andrew Adams | 09 November 2019, 18:14:45 UTC | Fix code size results again | 09 November 2019, 18:14:45 UTC |
| 29d70c5 | Andrew Adams | 09 November 2019, 18:11:34 UTC | Fix code size results | 09 November 2019, 18:11:34 UTC |
| 9a0bfb9 | Andrew Adams | 09 November 2019, 18:01:41 UTC | Add code size results | 09 November 2019, 18:01:41 UTC |
| 5bee07d | Andrew Adams | 09 November 2019, 17:24:36 UTC | Update results | 09 November 2019, 17:24:36 UTC |
| 137620d | Andrew Adams | 09 November 2019, 17:15:22 UTC | Add current results | 09 November 2019, 17:15:22 UTC |
| f7a9bb7 | Andrew Adams | 09 November 2019, 01:34:15 UTC | Add script that does benchmarking across a suite of apps | 09 November 2019, 01:34:15 UTC |
| 957b95c | Andrew Adams | 08 November 2019, 21:12:10 UTC | Add CEGIS early-out | 08 November 2019, 21:12:10 UTC |
