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