Code

feat: Optimize sort by Below#1457

Code

Closed

seebees wants to merge 15 commits intomainaws/aws-database-encryption-sdk-dynamodb:mainfrom

seebees/optimize-belowaws/aws-database-encryption-sdk-dynamodb:seebees/optimize-belowCopy head branch name to clipboard

Commits

Commits on Nov 1, 2024

• feat: Optimize sort by `Below`

  Show description for 4783c09
  seebees

  committed
  4783c09

  Copy full SHA for 4783c09

• Compatability things

  seebees

  committed
  b4a071a

  Copy full SHA for b4a071a

• feat: Optimize sort by `MergeSort`

  Show description for ea794cc
  seebees

  committed
  ea794cc

  Copy full SHA for ea794cc

• roll back

  seebees

  committed
  a41a673

  Copy full SHA for a41a673

Commits on Nov 2, 2024

• do not use for comprehension

  seebees

  committed
  3aa38da

  Copy full SHA for 3aa38da

Commits on Nov 4, 2024

• update optimize

  seebees

  committed
  63789b6

  Copy full SHA for 63789b6

Commits on Feb 2, 2025

• Merge branch 'main' into seebees/optimize-below

  ajewellamz

  authored
  e34c518

  Copy full SHA for e34c518

Commits on Feb 10, 2025

• Merge branch 'main' into seebees/optimize-below

  ajewellamz

  authored
  2509895

  Copy full SHA for 2509895

• m

  ajewellamz

  committed
  005f287

  Copy full SHA for 005f287

Commits on Feb 11, 2025

• Merge branch 'main' into seebees/optimize-below

  ajewellamz

  authored
  08c936d

  Copy full SHA for 08c936d

Commits on Feb 12, 2025

• Merge branch 'main' into seebees/optimize-below

  ajewellamz

  authored
  ff96879

  Copy full SHA for ff96879

• Update some of the proof

  seebees

  committed
  bfa2d68

  Copy full SHA for bfa2d68

• Updates to keep inline with Dafny standard library.

  seebees

  committed
  40153a5

  Copy full SHA for 40153a5

• Merge branch 'main' into seebees/optimize-below

  seebees

  authored
  145e921

  Copy full SHA for 145e921

• reads on methods not enabled

  seebees

  committed
  286e7c7

  Copy full SHA for 286e7c7