Code

Fix failing F# build and #1403#1404

Code

Merged

mtzguido merged 10 commits intoFStarLang:masterFStarLang/FStar:masterfrom A-Manning:amanning-fix1403A-Manning/FStar:amanning-fix1403Copy head branch name to clipboardMar 17, 2018

+90-83

Commits

Commits on Mar 13, 2018

• fix 1403, plus some other bugs

  A-Manning

  committed
  884205c

• nits

  A-Manning

  committed
  5022d9a

• fix build issues with F# 4.1

  A-Manning

  committed
  812932e

Commits on Mar 14, 2018

• Merge branch 'master' into amanning-fix1403

  mtzguido

  authored
  4013bdb

Commits on Mar 15, 2018

• merging from upstream

  A-Manning

  committed
  fb65817

• fix so that projection works in F# and F*

  A-Manning

  committed
  6b65f3a

• ocaml and F* builds passing now

  A-Manning

  committed
  25b4a30

• Merge branch 'master' into amanning-fix1403

  A-Manning

  authored
  0405435

• merge upstream

  A-Manning

  committed
  7e28608

Commits on Mar 16, 2018

• Merge branch 'master' into amanning-fix1403

  A-Manning

  authored
  6c1fabb