diff options
| author | Andreas Rumpf <rumpf_a@web.de> | 2020-04-15 20:03:25 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-04-15 20:03:25 +0200 |
| commit | 3a2697dd731cb8fcfd0d279bb856090eca5028ee (patch) | |
| tree | 971390193c83b0d14045f535a06bfc18071a741b /doc/docs.rst | |
| parent | 04b6e9cf3e6e1113cb5989a82878e525a7f0891f (diff) | |
| download | Nim-3a2697dd731cb8fcfd0d279bb856090eca5028ee.tar.gz | |
drnim: tiny progress (#13882)
* drnim: tiny progress * refactoring complete * drnim: prove .ensures annotations * Moved code around to avoid code duplication * drnim: first implementation of the 'old' property * drnim: be precise about the assignment statement * first implementation of --assumeUnique * progress on forall/exists handling
Diffstat (limited to 'doc/docs.rst')
0 files changed, 0 insertions, 0 deletions