fixed order of bindings in a uvar; missing alpha conversion inside effect args
Merge branch 'master' of https://github.com/FStarLang/FStar
tweaked platform names for bootstrapping---top-level names are unique; moved mbqi to a set-option
Update README.md
Update README.md
restoring verification functionality for unit1.fst and millionaries.fst
higher-order cases of with_mode in millionaires.fst passes
Source files are not executable code.
Ignore dirty submodules.
.gitignore
Restore +x mode for .sh/.exe/.dll
Dump current dependencies (opam) for the OCaml backend
.gitignore
FSLang (Ocaml lexer/parser for F*) layout.
Update ocaml submodules.
Move fstar-lib to its own subdirectory
Refreeze ocaml support dependencies.
OCaml fstar-lib: new module: Types (standard F* types)
fstar-lang: tokens imported
Address #6 by detecting the Z3 version