llvm-project.git - Unnamed repository; edit this file 'description' to name the repository.

Age	Commit message (Expand)	Author
2025-05-12	[analyzer] Workaround for slowdown spikes (unintended scope increase) (#136720)	Donát Nagy
2025-01-02	[analyzer] Don't assume third iteration in loops (#119388)	Donát Nagy
2024-03-14	[clang][analyzer] Fix crash in loop unrolling (#82089)	huang-me
2021-07-12	[analyzer] LoopUnrolling: fix crash when a loop counter is captured in a lamb...	Abbas Sabra
2020-05-22	[analyzer] LoopUnrolling: fix crash when a parameter is a loop counter.	Artem Dergachev
2019-08-01	[analyzer] StackFrameContext: Add NodeBuilderContext::blockCount() to its pro...	Csaba Dabis
2018-06-06	[Analyzer][Z3] Test fixes for Z3 constraint manager	Vlad Tsyrklevich
2018-03-31	[analyzer] Unroll the loop when it has a unsigned counter.	Henry Wong
2018-03-27	[analyzer] LoopUnrolling: update the matched assignment operators	Peter Szecsi
2018-03-02	[analyzer] [tests] Again, make tests more resilient to changes in exploration...	George Karpenkov
2018-02-27	[analyzer] Switch the default exploration strategy to priority queue based on...	George Karpenkov
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