 Andreas Rumpf
|
3492178494
refactoring: removed cmdlinehelper.mainCommand callback
|
4 éve |
 Timothee Cour
|
4301a3da9d
* honor --errorMax even for tools (eg drnim, nim doc) (#14546)
|
4 éve |
|
Andreas Rumpf
|
1fc40db984
drnim improvements (#14471)
|
4 éve |
|
Andreas Rumpf
|
9874981e75
fixes #14001 (#14004)
|
4 éve |
|
Andreas Rumpf
|
a8f030fea2
drnim: phi nodes for 'if' statements (#13990)
|
4 éve |
|
Andreas Rumpf
|
3a2697dd73
drnim: tiny progress (#13882)
|
4 éve |
|
Andreas Rumpf
|
9ffec79300
DrNim (Nim compiler with Z3 integration) (#13743)
|
4 éve |
