Age | Commit message (Expand) | Author |
---|---|---|
2017-10-28 | [analyzer] LoopUnrolling: check the bitwidth of the used numbers (pr34943) | Peter Szecsi |
2017-08-28 | [StaticAnalyzer] LoopUnrolling: Keep track the maximum number of steps for ea... | Peter Szecsi |
2017-08-28 | [StaticAnalyzer] LoopUnrolling: Excluding loops which splits the state | Peter Szecsi |
2017-08-28 | [StaticAnalyzer] LoopUnrolling fixes | Peter Szecsi |
2017-08-21 | [StaticAnalyzer] LoopUnrolling: Track a LoopStack in order to completely unro... | Peter Szecsi |
2017-08-19 | [StaticAnalyzer] LoopUnrolling: Exclude cases where the counter is escaped be... | Peter Szecsi |
2017-07-25 | [StaticAnalyzer] Completely unrolling specific loops with known bound option | Peter Szecsi |
2017-07-20 | Revert "[StaticAnalyzer] Completely unrolling specific loops with known bound... | Peter Szecsi |
2017-07-20 | [StaticAnalyzer] Completely unrolling specific loops with known bound option | Peter Szecsi |