Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2020-10-27 | analyzer: eliminate non-determinism in logs | David Malcolm | 1 | -0/+27 |
2020-09-23 | analyzer: add -fno-analyzer-feasibility | David Malcolm | 1 | -2/+6 |
2020-09-22 | analyzer: add -fdump-analyzer-json | David Malcolm | 1 | -0/+38 |
2020-09-16 | analyzer: add program_point::get_next | David Malcolm | 1 | -0/+29 |
2020-08-13 | analyzer: rewrite of region and value-handling | David Malcolm | 1 | -0/+61 |
2020-04-01 | analyzer: handle compound assignments [PR94378] | David Malcolm | 1 | -0/+1 |
2020-01-22 | analyzer: introduce namespace to avoid ODR clashes (PR 93307) | David Malcolm | 1 | -0/+4 |
2020-01-14 | Initial commit of analyzer | David Malcolm | 1 | -0/+554 |