| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | [analyzer][NFC] Prove that we only track the evaluated part of the condition | Kristof Umann | 2019-08-14 | 1 | -0/+35 |
| * | [analyzer][CFG] Don't track the condition of asserts | Kristof Umann | 2019-08-14 | 1 | -0/+239 |
| * | [analyzer] Note last writes to a condition only in a nested stackframe | Kristof Umann | 2019-08-14 | 1 | -24/+41 |
| * | [analyzer] Track the right hand side of the last store regardless of its value | Kristof Umann | 2019-08-13 | 1 | -0/+24 |
| * | [analyzer] Prune calls to functions with linear CFGs that return a non-zero c... | Kristof Umann | 2019-08-13 | 1 | -19/+122 |
| * | [analyzer] Add a debug analyzer config to place an event for each tracked con... | Kristof Umann | 2019-07-05 | 1 | -6/+37 |
| * | [analyzer] Track terminator conditions on which a tracked expression depends | Kristof Umann | 2019-07-05 | 1 | -0/+285 |
 |
index : bcm5719-llvm | |
| Project Ortega BCM5719 LLVM | Raptor Computing Systems |
| summaryrefslogtreecommitdiffstats |
|