| Age | Commit message (Expand) | Author | Files | Lines |
|---|
| 2022-08-17 | Reset root oracle from path_oracle::reset_path. | Aldy Hernandez | 1 | -2/+4 |
| 2022-08-03 | Do not walk equivalence set in path_oracle::killing_def. | Andrew MacLeod | 1 | -10/+1 |
| 2022-07-24 | Allow registering same SSA name relations in oracle. | Aldy Hernandez | 1 | -2/+5 |
| 2022-07-18 | Check if transitives need to be registered. | Andrew MacLeod | 1 | -3/+10 |
| 2022-07-05 | Provide a relation verification mechanism. | Andrew MacLeod | 1 | -2/+68 |
| 2022-05-17 | Check for equivalence after merging relations. | Andrew MacLeod | 1 | -4/+4 |
| 2022-05-13 | Move VREL values to their own enumerated type. | Andrew MacLeod | 1 | -141/+137 |
| 2022-05-13 | Clear killing defs when resetting the path in path_oracle. | Andrew MacLeod | 1 | -0/+1 |
| 2022-01-21 | Reset relations when crossing backedges. | Aldy Hernandez | 1 | -2/+2 |
| 2022-01-20 | Only add equivalencies that are still valid. | Andrew MacLeod | 1 | -12/+29 |
| 2022-01-18 | Limit the number of relations registered per basic block. | Andrew MacLeod | 1 | -3/+12 |
| 2022-01-03 | Update copyright years. | Jakub Jelinek | 1 | -1/+1 |
| 2021-11-09 | Cleanup path solver dumps. | Aldy Hernandez | 1 | -1/+5 |
| 2021-11-06 | path oracle: Do not look at root oracle for killed defs. | Aldy Hernandez | 1 | -0/+9 |
| 2021-11-01 | Don't register nonsensical relations. | Andrew MacLeod | 1 | -1/+7 |
| 2021-10-29 | path oracle: Do not look back to the root oracle for killing defs. | Aldy Hernandez | 1 | -1/+12 |
| 2021-10-28 | path relation oracle: Remove SSA's being killed from the equivalence list. | Aldy Hernandez | 1 | -10/+10 |
| 2021-10-27 | Kill second order relations in the path solver. | Aldy Hernandez | 1 | -1/+20 |
| 2021-10-22 | Disregard incoming equivalences to a path when defining a new one. | Aldy Hernandez | 1 | -0/+23 |
| 2021-09-20 | Make each def a new equivalency record. | Andrew MacLeod | 1 | -0/+57 |
| 2021-09-17 | Provide a relation oracle for paths. | Andrew MacLeod | 1 | -13/+175 |
| 2021-09-17 | Virtualize relation oracle and various cleanups. | Andrew MacLeod | 1 | -157/+159 |
| 2021-09-03 | Implement relation_oracle::debug. | Aldy Hernandez | 1 | -0/+6 |
| 2021-08-24 | Add transitive operations to the relation oracle. | Andrew MacLeod | 1 | -29/+258 |
| 2021-07-22 | Allow non-symmetrical equivalences. | Andrew MacLeod | 1 | -2/+6 |
| 2021-06-24 | Fix relation query of equivalences. | Andrew MacLeod | 1 | -7/+8 |
| 2021-06-22 | Initial value-relation code. | Andrew MacLeod | 1 | -0/+932 |
