v0.9.2.0 (Last Impredicative)

@beurdouche beurdouche released this Feb 2, 2016

This release includes a number of changes:

  • automatic dependency analysis using fstar --dep (still experimental)
  • consistent renaming of standard library modules
  • improvements to contrib/CoreCrypto
  • added bounded integers
  • int extracted to multi-precision now
  • nubuild improvements
  • better documentation
  • cooler Wysteria example
  • new first-order unification example
  • fixes for many other issues

Downloads