Complete this form and hit the "Save Changes" button!
No ratings
Failed to verify the file. Unable to parse the verify result. bignums.dfy(3,10): Error: unresolved identifier: Pow2 | 3 | ensures Pow2(n) > 0 | ^^^^ bignums.dfy(6,4): Error: unresolved identifier: Pow2Zero | 6 | Pow2Zero(); | ^^^^^^^^ bignums.dfy(6,12): Error: expected method call, found expression | 6 | Pow2Zero(); | ^^^^^^^^^^^ bignums.dfy(10,11): Error: unresolved identifier: Pow2 | 10 | reveal Pow2(); | ^^^^ bignums.dfy(16,10): Error: unresolved identifier: Pow2 | 16 | ensures Pow2(a) <= Pow2(b) | ^^^^ bignums.dfy(16,21): Error: unresolved identifier: Pow2 | 16 | ensures Pow2(a) <= Pow2(b) | ^^^^ bignums.dfy(22,11): Error: unresolved identifier: Pow2 | 22 | reveal Pow2; | ^^^^ bignums.dfy(25,9): Error: unresolved identifier: Pow2 | 25 | reveal Pow2; | ^^^^ 8 resolution/type errors detected in test.dfy
Are you sure you want to delete this code? Please type DELETE in the box below to confirm.
Are you sure you want to verify this code?
Are you sure you want to publish this code?
Are you sure you want to unpublish this code?
Are you sure you want to autogenerate the summary + description for this code?
