diff options
| author | John Hodge (Mutabah) <acessdev@gmail.com> | 2018-09-30 21:35:32 +0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-09-30 21:35:32 +0800 |
| commit | bd3d69813cc54439fdc0db33943fa1254db3df06 (patch) | |
| tree | 389b3f9fff419bd38275fddbf63fcbf3142d2f1c /tools/standalone_miri/value.cpp | |
| parent | d85ac84278fa0322f1df0b16a45a1cdde83cba57 (diff) | |
| parent | fe8018c3b2e2be2c3153a5c1a1bb73cd9c6ca370 (diff) | |
| download | mrust-bd3d69813cc54439fdc0db33943fa1254db3df06.tar.gz | |
Merge pull request #84 from thepowersgang/ondemand-generation
Generate MIR when required for constant evaluation
Diffstat (limited to 'tools/standalone_miri/value.cpp')
0 files changed, 0 insertions, 0 deletions