Tags · andrewrothstein/FStar

v0.9.5.0

argh

Version of F* master as witnessed at the '17 summer school in Nancy

Fixed permissions for libgmp-10.dll

Calling it beta1 on @msprotz's suggestion

Fix for the interactive mode (Thanks to Guido)

Merge branch 'master' of https://github.com/FStarLang/FStar

Homebrew formula is in process of being relocated from tap science to…

… core

added monotonicity example

Adding mono runtime for mac

Fix number of negative tests expected to fail

PreviousNext