3.7.0 -- 2024-09-17

3.7.0 (2024-09-17)

Features

• bump to dafny 4.8.0 and mpl 1.6.0 (#1356) (fedc0ad)

Fixes

• remove usage of :| (#1320) (eeb3f51)

Maintenance

• add check only keyword action (#1327) (5d777d6)
• add ddb local to dafny interop test vectors (#1316) (6128a39)
• allow local testing (#1311) (e758e97)
• remove /// from smithy files (#1349) (303a8bd)
• remove assert to fix verification (#1360) (8849c1e)