Revision 91b063dfb30d531bccd03a2e0958951c2c394436 authored by Volodymyr Kysenko on 09 January 2024, 04:57:15 UTC, committed by GitHub on 09 January 2024, 04:57:15 UTC
* Stronger chain detection in LoopCarry * Make sure that types are the same * Add a comment * Run CSE before calling can_prove * Test for loop carry * clang-tidy * Add missing override * Update comments
1 parent cdebeb8
| File | Mode | Size |
|---|---|---|
| CMakeLists.txt | -rw-r--r-- | 290 bytes |
| Halide-VS2017.natvis | -rw-r--r-- | 2.2 KB |
| Halide.natvis | -rw-r--r-- | 1.4 KB |
| HalideTraceDump.cpp | -rw-r--r-- | 11.5 KB |
| HalideTraceUtils.cpp | -rw-r--r-- | 1.4 KB |
| HalideTraceUtils.h | -rw-r--r-- | 2.7 KB |
| HalideTraceViz.cpp | -rw-r--r-- | 55.9 KB |
| inconsolata.h | -rw-r--r-- | 228.4 KB |
Computing file changes ...
