Changelog for cryptol-2.11.0

2.11.0

Language changes

New features

Internal changes

Bug fixes

2.10.0

Language changes

New features

Bug Fixes

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