Skip to content

v1.9.1 -- 2021-10-20

Compare
Choose a tag to compare
@seebees seebees released this 20 Oct 21:26
8254b92

Maintenance

  • Add support policy
  • CBMC CI upgrades (#709, #710, #711, #722, #726)
  • Simplify / update build instructions (#713)
  • Remove OOM test, as OOM is no longer possible from aws allocators (#728)
  • Pin newer aws-sdk-cpp in macOS CI builds (#729)