mirrors/Nim
1
0
Fork 0
mirror of https://github.com/nim-lang/Nim.git synced 2025-12-29 01:14:41 +00:00
Code Issues Packages Projects Releases Wiki Activity
Files
4742e6e1fdc6cebd3052875748fa10ad44c8a42e
Nim/drnim
History
Andreas Rumpf 5ecbe67371 makes DrNim compile again (#17584)
2021-03-30 20:13:18 +02:00
..
tests
drnim improvements (#14471)
2020-05-27 18:14:24 +02:00
drnim.nim
makes DrNim compile again (#17584)
2021-03-30 20:13:18 +02:00
nim.cfg
DrNim (Nim compiler with Z3 integration) (#13743)
2020-03-31 22:54:48 +02:00