diff options
| author |  Unknown <t-alasdo@MSR-RISE-GUEST.redmond.corp.microsoft.com> | 2011-09-06 08:57:15 -0700 |
|---|---|---|
| committer | Unknown <t-alasdo@MSR-RISE-GUEST.redmond.corp.microsoft.com> | 2011-09-06 08:57:15 -0700 |
| commit | 45415e8c070cfe424d4aaa01c3c19cac4dea3345 (patch) | |
| tree | b803c8e7884cd89e44113e013f2458bdf13215eb /Source/ModelViewer/Main.cs | |
| parent | 68abcafd6a654bb319738415a4d94dfa6baa3bfd (diff) | |
Added driver script and GPUVerify libary. The driver script works around the fact that Boogie does not do deep cloning of expressions when turning a structured program into an unstructured one.
Diffstat (limited to 'Source/ModelViewer/Main.cs')
0 files changed, 0 insertions, 0 deletions