diff options
| author | Andreas Rumpf <rumpf_a@web.de> | 2020-04-19 10:01:04 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-04-19 10:01:04 +0200 |
| commit | 9874981e757f0e2658baa3a871450509cee9204c (patch) | |
| tree | 579327324492541a765b465b467cea0d50354e36 /drnim | |
| parent | 4005f0d0e40fb57efd8144c065a7ba56d940b572 (diff) | |
| download | Nim-9874981e757f0e2658baa3a871450509cee9204c.tar.gz | |
fixes #14001 (#14004)
Diffstat (limited to 'drnim')
| -rw-r--r-- | drnim/drnim.nim | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/drnim/drnim.nim b/drnim/drnim.nim index 6c08bed42..789cf74cf 100644 --- a/drnim/drnim.nim +++ b/drnim/drnim.nim @@ -9,6 +9,7 @@ #[ +- introduce Phi nodes to complete the SSA representation - the analysis has to take 'break', 'continue' and 'raises' into account - We need to map arrays to Z3 and test for something like 'forall(i, (i in 3..4) -> (a[i] > 3))' - We need teach DrNim what 'inc', 'dec' and 'swap' mean, for example |