cryptol v2.9.1 Release Notes

Release Date: 2020-09-01 // over 3 years ago
  • Language changes

    • The type of generate which is used for a@i sequence definitions, is generalized so that the index type can be any Integral type large enough to index the entire array being defined.

    ๐Ÿ› Bug Fixes

    Closed issues #848, #850, #851, #859, and #861.

    ๐Ÿ›  Fixed Windows installer paths.