Code

Bulk add functional#69

Code

Merged

andreistefanescu merged 8 commits intomainGaloisInc/BLST-Verification:mainfrom bulk_add_functional2GaloisInc/BLST-Verification:bulk_add_functional2Copy head branch name to clipboardDec 14, 2021

+568-431

Commits

Commits on Nov 10, 2021

• add test using compositional extraction

  

  Giuliano Losa

  authored and

  andreistefanescu

  committed
  108036a

  Copy full SHA for 108036a

Commits on Dec 5, 2021

• Prep.

  andreistefanescu

  committed
  d8cca50

  Copy full SHA for d8cca50

Commits on Dec 6, 2021

• Bump SAW.

  andreistefanescu

  committed
  e0297fa

  Copy full SHA for e0297fa

• More fp_abs/fp_invariant/fp_rep lemmas.

  andreistefanescu

  committed
  0a31279

  Copy full SHA for 0a31279

• Add bulk addition functional correctness.

  andreistefanescu

  committed
  ff9332f

  Copy full SHA for ff9332f

• Fix fp2_zero lemmas.

  andreistefanescu

  committed
  0b7b8b1

  Copy full SHA for 0b7b8b1

• Update patch.

  andreistefanescu

  committed
  4082fdd

  Copy full SHA for 4082fdd

Commits on Dec 7, 2021

• Switch CI to internal runners.

  andreistefanescu

  committed
  009f6db

  Copy full SHA for 009f6db