| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | Reset relations when crossing backedges. | Aldy Hernandez | 2022-01-21 | 1 | -0/+1 |
| * | Only add equivalencies that are still valid. | Andrew MacLeod | 2022-01-20 | 1 | -0/+2 |
| * | Limit the number of relations registered per basic block. | Andrew MacLeod | 2022-01-18 | 1 | -0/+1 |
| * | Update copyright years. | Jakub Jelinek | 2022-01-03 | 1 | -1/+1 |
| * | path oracle: Do not look at root oracle for killed defs. | Aldy Hernandez | 2021-11-06 | 1 | -0/+1 |
| * | Disregard incoming equivalences to a path when defining a new one. | Aldy Hernandez | 2021-10-22 | 1 | -0/+1 |
| * | Make each def a new equivalency record. | Andrew MacLeod | 2021-09-20 | 1 | -1/+2 |
| * | Provide a relation oracle for paths. | Andrew MacLeod | 2021-09-17 | 1 | -2/+49 |
| * | Virtualize relation oracle and various cleanups. | Andrew MacLeod | 2021-09-17 | 1 | -18/+44 |
| * | Implement relation_oracle::debug. | Aldy Hernandez | 2021-09-03 | 1 | -0/+1 |
| * | Add transitive operations to the relation oracle. | Andrew MacLeod | 2021-08-24 | 1 | -2/+7 |
| * | Initial value-relation code. | Andrew MacLeod | 2021-06-22 | 1 | -0/+159 |
