diff options
| author | Ariel Ben-Yehuda <ariel.byd@gmail.com> | 2017-09-13 01:09:56 +0300 |
|---|---|---|
| committer | Ariel Ben-Yehuda <ariel.byd@gmail.com> | 2017-09-20 16:36:24 +0300 |
| commit | 5c0feb86b9d51e1ac80321b10dde43d1dbc3c042 (patch) | |
| tree | 22e5350b02f2a978803f2c031be7f4845ca13308 /src/rustllvm/RustWrapper.cpp | |
| parent | 0bb3dc19bf8962b04d96456524fe021b3938ba97 (diff) | |
| download | rust-5c0feb86b9d51e1ac80321b10dde43d1dbc3c042.tar.gz rust-5c0feb86b9d51e1ac80321b10dde43d1dbc3c042.zip | |
add proofs and fix postorder traversal
I don't think the "quasi-postorder" travesal could cause any issues, but there's no reason for it to stay broken.
Diffstat (limited to 'src/rustllvm/RustWrapper.cpp')
0 files changed, 0 insertions, 0 deletions