diff options
| author |  mikebarnett <unknown> | 2011-03-08 18:27:43 +0000 |
|---|---|---|
| committer | mikebarnett <unknown> | 2011-03-08 18:27:43 +0000 |
| commit | 5b1193b10a298876092126e628c08be7151b5140 (patch) | |
| tree | 73bdfd30ce31d87e64ba13acddbfc9c1a08196cd /Binaries | |
| parent | 092028f2739b5eca2b6434894a60507c726fc903 (diff) | |
Can now translate multiple assemblies into one Boogie Program.
Support for stub methods.
Diffstat (limited to 'Binaries')
0 files changed, 0 insertions, 0 deletions