Commit 40153a5

committed

Updates to keep inline with Dafny standard library.

1 parent bfa2d68 commit 40153a5Copy full SHA for 40153a5

2 files changed

+241

-83

lines changed

DynamoDbEncryption/dafny/StructuredEncryption/src
- OptimizedMergeSort.dfy
- SortCanon.dfy

+241

-83

lines changed

Comments

(0)