 Andreas Rumpf
|
5ecbe67371
makes DrNim compile again (#17584)
|
před 3 roky |
 Timothee Cour
|
f561afae41
followup #17225: simplify code after removing gc2, generational (#17242)
|
před 3 roky |
|
Timothee Cour
|
52829fc8d1
cmdline: improve command processing (#16056)
|
před 4 roky |
|
Timothee Cour
|
7815ed69d4
rename loadConfigsAndRunMainCommand => loadConfigsAndProcessCmdLine, reflect reality (#16057)
|
před 4 roky |
|
Andreas Rumpf
|
3492178494
refactoring: removed cmdlinehelper.mainCommand callback
|
před 4 roky |
|
Timothee Cour
|
4301a3da9d
* honor --errorMax even for tools (eg drnim, nim doc) (#14546)
|
před 4 roky |
|
Andreas Rumpf
|
1fc40db984
drnim improvements (#14471)
|
před 4 roky |
|
Andreas Rumpf
|
9874981e75
fixes #14001 (#14004)
|
před 4 roky |
|
Andreas Rumpf
|
a8f030fea2
drnim: phi nodes for 'if' statements (#13990)
|
před 4 roky |
|
Andreas Rumpf
|
3a2697dd73
drnim: tiny progress (#13882)
|
před 4 roky |
|
Andreas Rumpf
|
9ffec79300
DrNim (Nim compiler with Z3 integration) (#13743)
|
před 4 roky |
