Skip to content

1.6.0 -- 2024-09-11

Latest
Latest
Compare
Choose a tag to compare
@josecorella josecorella released this 11 Sep 20:25
· 3 commits to main since this release
v1.6.0
66a04bf
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Learn about vigilant mode.

Features

  • bump dafny verification and code gen to dafny 4.8.0 (#520) (e16539e)

Bug Fixes

  • add ECDH error message for Rust (#574) (473a34a)
  • DDB-Model: DDB Supports 100 actions per Transaction (#692) (8a67843)
  • GetCurrentTimeStamp returns ISO8601 format (#575) (c07a51f)
  • maintain order in test vectors for languages with parallel tests (#641) (8c8a38f)
  • Remove 4.4 DDB and KMS patches, abstract test to work on later Dafny versions (#611) (d51d648)
  • Remove uses of :| (#618) (f12fe5b)
  • test vector help text (#657) (0fedaf1)
  • post-release: Change back to 1.5.1-SNAPSHOT (09cd9a4)
Assets 5
Loading