summary refs log tree commit diff stats
path: root/drnim/drnim.nim
Commit message (Expand)AuthorAgeFilesLines
* `--filenames:abs|canonical|legacyRelProj` for filenames in compiler msgs (rep...Timothee Cour2021-04-211-1/+2
* makes DrNim compile again (#17584)Andreas Rumpf2021-03-301-12/+17
* followup #17225: simplify code after removing gc2, generational (#17242)Timothee Cour2021-03-031-1/+1
* cmdline: improve command processing (#16056)Timothee Cour2020-11-261-4/+2
* rename loadConfigsAndRunMainCommand => loadConfigsAndProcessCmdLine, reflect ...Timothee Cour2020-11-201-1/+1
* refactoring: removed cmdlinehelper.mainCommand callbackAndreas Rumpf2020-10-111-6/+5
* * honor --errorMax even for tools (eg drnim, nim doc) (#14546)Timothee Cour2020-06-021-1/+1
* drnim improvements (#14471)Andreas Rumpf2020-05-271-11/+27
* fixes #14001 (#14004)Andreas Rumpf2020-04-191-0/+1
* drnim: phi nodes for 'if' statements (#13990)Andreas Rumpf2020-04-191-15/+149
* drnim: tiny progress (#13882)Andreas Rumpf2020-04-151-134/+594
* DrNim (Nim compiler with Z3 integration) (#13743)Andreas Rumpf2020-03-311-0/+675
generated by cgit-pink 1.4.1-2-gfad0 (git 2.36.2.497.gbbea4dcf42) at 2025-01-25 00:26:42 +0000