| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | Generalize collectInductionValues (#3031) | Ellie Hermaszewska | 2023-08-01 |
| * Generalize collectInductionValues * Support affine transformations of loop index as induction variables * Test for generalized induction value collection * Neaten inductive variable finding * Store the type of implication success when finding inductive variables * Test that loop induction finding does not alway succeed * Support chains of additions and branches of additions in induction variable finding * Use c++17 for downstream compilers | |||
