| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | [backport] use old style hints in .cfg files (#18917) | Miran | 2021-09-29 | 1 | -1/+1 |
| * | change `--hint[X] => --hint:X` in nim repo (avoids shell quoting issues) (#18... | Timothee Cour | 2021-05-26 | 1 | -1/+1 |
| * | DrNim (Nim compiler with Z3 integration) (#13743) | Andreas Rumpf | 2020-03-31 | 1 | -0/+18 |