Age | Commit message (Expand) | Author |
---|---|---|
2021-05-10 | Remove header for option modules (#6514) | Gereon Kremer |
2020-07-28 | Remove arrays lazy rintro option (#4806) | Andrew Reynolds |
2020-06-23 | Add support for eqrange predicate (#4562) | Mathias Preiner |
2018-07-27 | Require argument description for non-{bool,void} options. (#2228) | Mathias Preiner |
2018-03-21 | Refactor mkoptions (#1631) | Mathias Preiner |