| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | refactoring: removed cmdlinehelper.mainCommand callback | Andreas Rumpf | 2020-10-11 | 1 | -6/+5 |
| * | * honor --errorMax even for tools (eg drnim, nim doc) (#14546) | Timothee Cour | 2020-06-02 | 1 | -1/+1 |
| * | drnim improvements (#14471) | Andreas Rumpf | 2020-05-27 | 1 | -11/+27 |
| * | fixes #14001 (#14004) | Andreas Rumpf | 2020-04-19 | 1 | -0/+1 |
| * | drnim: phi nodes for 'if' statements (#13990) | Andreas Rumpf | 2020-04-19 | 1 | -15/+149 |
| * | drnim: tiny progress (#13882) | Andreas Rumpf | 2020-04-15 | 1 | -134/+594 |
| * | DrNim (Nim compiler with Z3 integration) (#13743) | Andreas Rumpf | 2020-03-31 | 1 | -0/+675 |