Changelog for cryptol-2.9.1

2.9.1

Language changes

Bug Fixes

2.9.0

Language changes

New features

Bug fixes

2.8.0 (September 4, 2019)

New features

Bug fixes

2.7.0 (April 30, 2019)

New features

Breaking changes

Bug fixes