3 ms·
Not yet released but the DrNim documentation is available online [1]. DrNim is the tool that will provide Static Analysis to Nim (based on z3). This will be pro
by pietroppeter 6y ago
Not yet released but the DrNim documentation is available online [1]. DrNim is the tool that will provide Static Analysis to Nim (based on z3). This will be probably presented in the upcoming Nim Online conference in June 20 [2].
[1] https://nim-lang.org/docs/drnim.html https://nim-lang.org/docs/drnim.html
[2] https://forum.nim-lang.org/t/6418#39615 https://forum.nim-lang.org/t/6418#39615