Code

Mariari/simplify vp integration#204

Code

Draft

mariari wants to merge 6 commits intomainanoma/taiga:mainfrom mariari/simplify_vp_integrationanoma/taiga:mariari/simplify_vp_integrationCopy head branch name to clipboard

+318-402

Commits

Commits on Aug 18, 2023

• get rid of ValidityPredicateConfig trait and use the concrete ValidityPredicateConfig instead

  XuyangSong

  committed
  54052c0

  Copy full SHA for 54052c0

• get rid of ValidityPredicateInfo trait

  XuyangSong

  committed
  44a84fa

  Copy full SHA for 44a84fa

• rename app_vp_verifying_info_dynamic to dynamic_vps

  XuyangSong

  committed
  813f816

  Copy full SHA for 813f816

• rename app_vp_verifying_info to application_vp

  XuyangSong

  committed
  4d887a9

  Copy full SHA for 4d887a9

• fix bench

  XuyangSong

  committed
  eb3a0e2

  Copy full SHA for eb3a0e2

Commits on Aug 22, 2023

• Merge branch 'main' into xuyang/simplify_vp_trait

  XuyangSong

  committed
  dad72c2

  Copy full SHA for dad72c2