Code

A fix in the core typechecker#3004

Code

Merged

aseemr merged 11 commits intomasterFStarLang/FStar:masterfrom aseem_core_fixFStarLang/FStar:aseem_core_fixCopy head branch name to clipboardAug 8, 2023

+129-19

Commits

Commits on Aug 4, 2023

• check expected effect

  aseemr

  committed
  d1c1c14

  Copy full SHA for d1c1c14

• snap

  aseemr

  committed
  cbbc342

  Copy full SHA for cbbc342

Commits on Aug 5, 2023

• optimize the hide/reveal coercions

  aseemr

  committed
  b57dbd7

  Copy full SHA for b57dbd7

• snap

  aseemr

  committed
  03ebb42

  Copy full SHA for 03ebb42

• one example that failed with smt now works

  aseemr

  committed
  e6ec1fb

  Copy full SHA for e6ec1fb

Commits on Aug 6, 2023

• promote eagerly in core

  aseemr

  committed
  a5fae25

  Copy full SHA for a5fae25

• snap

  aseemr

  committed
  652fc33

  Copy full SHA for 652fc33

• Merge branch 'master' into aseem_core_fix

  aseemr

  committed
  48f9922

  Copy full SHA for 48f9922

Commits on Aug 7, 2023

• Merge branch 'master' into aseem_core_fix

  mtzguido

  authored
  73faad8

  Copy full SHA for 73faad8

• reverting an example

  aseemr

  committed
  5dc88c8

  Copy full SHA for 5dc88c8

Commits on Aug 8, 2023

• Merge branch 'master' into aseem_core_fix

  aseemr

  authored
  edab47a

  Copy full SHA for edab47a