Code

Removing the fv_delta field#3272

Code

Merged

mtzguido merged 8 commits intoFStarLang:masterFStarLang/FStar:masterfrom mtzguido:no_fv_deltamtzguido/FStar:no_fv_deltaCopy head branch name to clipboardApr 27, 2024

+5,962-1,578

Commits

Commits on Apr 26, 2024

• Augment test

  mtzguido

  committed
  7fe6f02

  Copy full SHA for 7fe6f02

• Introduce tests/hacl/ with small snippets from HACL*

  mtzguido

  committed
  11c104c

  Copy full SHA for 11c104c

• DMFF: Use UnfoldTac

  Show description for 4a851fc
  mtzguido

  committed
  4a851fc

  Copy full SHA for 4a851fc

• Rel: make unifier aware of logical vs non-logical problems

  Show description for bd73c3b
  mtzguido

  committed
  bd73c3b

  Copy full SHA for bd73c3b

• Core: remove custom delta_depth computation

  mtzguido

  committed
  e95c070

  Copy full SHA for e95c070

• Removing fv_delta

  mtzguido

  committed
  2c178cd

  Copy full SHA for 2c178cd

• Update test + expected output

  Show description for a1e37d5
  mtzguido

  committed
  a1e37d5

  Copy full SHA for a1e37d5

• snap

  mtzguido

  committed
  8062c68

  Copy full SHA for 8062c68