Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2023-01-18 | license year bump (#34921) | Harmen Stoppels | 1 | -1/+1 |
2022-07-31 | black: reformat entire repository with black | Todd Gamblin | 1 | -3/+3 |
2022-06-16 | concretize.lp: impose a lower bound on the number of version facts if a solut... | Massimiliano Culpo | 1 | -0/+16 |