| Age | Commit message (Expand) | Author | Files | Lines |
|---|
| 2025-01-02 | Update copyright years. | Jakub Jelinek | 1 | -1/+1 |
| 2024-06-24 | Make transitive relations an oracle option | Andrew MacLeod | 1 | -1/+2 |
| 2024-05-23 | Rename relation oracle and API. | Andrew MacLeod | 1 | -22/+17 |
| 2024-05-23 | Move to an always available relation oracle. | Andrew MacLeod | 1 | -16/+16 |
| 2024-05-23 | Move all relation queries into relation_oracle. | Andrew MacLeod | 1 | -1/+3 |
| 2024-01-03 | Update copyright years. | Jakub Jelinek | 1 | -1/+1 |
| 2023-10-09 | Ensure float equivalences include + and - zero. | Andrew MacLeod | 1 | -0/+3 |
| 2023-10-09 | Remove unused get_identity_relation. | Andrew MacLeod | 1 | -3/+0 |
| 2023-08-03 | Provide a routine for NAME == NAME relation. | Andrew MacLeod | 1 | -0/+3 |
| 2023-04-26 | Quicker relation check. | Andrew MacLeod | 1 | -0/+1 |
| 2023-03-28 | Fix compute_operand when op1 == op2 symbolically. | Andrew MacLeod | 1 | -7/+0 |
| 2023-03-23 | ranger: Ranger meets aspell | Jakub Jelinek | 1 | -9/+9 |
| 2023-03-21 | Terminate GORI calculations if a relation is not relevant. | Andrew MacLeod | 1 | -1/+1 |
| 2023-01-31 | Properly set GORI relation trios. | Andrew MacLeod | 1 | -0/+1 |
| 2023-01-02 | Update copyright years. | Jakub Jelinek | 1 | -1/+1 |
| 2022-10-17 | Add relation_trio class for range-ops. | Andrew MacLeod | 1 | -12/+107 |
| 2022-10-17 | Don't set useless relations. | Andrew MacLeod | 1 | -0/+7 |
| 2022-10-13 | Add equivalence iterator to relation oracle. | Andrew MacLeod | 1 | -3/+38 |
| 2022-10-13 | Add partial equivalence support to the relation oracle. | Andrew MacLeod | 1 | -2/+76 |
| 2022-09-29 | Process unsigned overflow relations for plus and minus is range-ops. | Andrew MacLeod | 1 | -0/+2 |
| 2022-09-29 | Move class value_relation the header file. | Andrew MacLeod | 1 | -0/+57 |
| 2022-08-17 | Reset root oracle from path_oracle::reset_path. | Aldy Hernandez | 1 | -1/+1 |
| 2022-07-05 | Provide a relation verification mechanism. | Andrew MacLeod | 1 | -3/+7 |
| 2022-06-15 | value-relation.h: add 'final' and 'override' to relation_oracle vfunc impls | David Malcolm | 1 | -17/+21 |
| 2022-05-13 | Move VREL values to their own enumerated type. | Andrew MacLeod | 1 | -10/+16 |
| 2022-03-07 | Fix up duplicated duplicated words in comments | Jakub Jelinek | 1 | -1/+1 |
| 2022-01-21 | Reset relations when crossing backedges. | Aldy Hernandez | 1 | -0/+1 |
| 2022-01-20 | Only add equivalencies that are still valid. | Andrew MacLeod | 1 | -0/+2 |
| 2022-01-18 | Limit the number of relations registered per basic block. | Andrew MacLeod | 1 | -0/+1 |
| 2022-01-03 | Update copyright years. | Jakub Jelinek | 1 | -1/+1 |
| 2021-11-06 | path oracle: Do not look at root oracle for killed defs. | Aldy Hernandez | 1 | -0/+1 |
| 2021-10-22 | Disregard incoming equivalences to a path when defining a new one. | Aldy Hernandez | 1 | -0/+1 |
| 2021-09-20 | Make each def a new equivalency record. | Andrew MacLeod | 1 | -1/+2 |
| 2021-09-17 | Provide a relation oracle for paths. | Andrew MacLeod | 1 | -2/+49 |
| 2021-09-17 | Virtualize relation oracle and various cleanups. | Andrew MacLeod | 1 | -18/+44 |
| 2021-09-03 | Implement relation_oracle::debug. | Aldy Hernandez | 1 | -0/+1 |
| 2021-08-24 | Add transitive operations to the relation oracle. | Andrew MacLeod | 1 | -2/+7 |
| 2021-06-22 | Initial value-relation code. | Andrew MacLeod | 1 | -0/+159 |
