Code

Add AA Tree and tests#203

Code

Open

hummy123 wants to merge 11 commits intofsprojects:masterfsprojects/FSharpx.Collections:masterfrom hummy123:masterhummy123/FSharpx.Collections:masterCopy head branch name to clipboard

+433-3

Commits

Commits on Dec 12, 2022

• Add AA Tree and tests

  hummy123

  committed
  434122d

  Copy full SHA for 434122d

Commits on Dec 14, 2022

• edit project file to include AaTree and tests, add labels for AaTree constructor

  hummy123

  committed
  7990983

  Copy full SHA for 7990983

Commits on Dec 19, 2022

• one Expect assertion for each test in AaTreeTest.fs

  hummy123

  committed
  e7e1732

  Copy full SHA for e7e1732

• AAA structure for a couple of more tests

  hummy123

  committed
  50d31b6

  Copy full SHA for 50d31b6

• AaTree toSeq

  hummy123

  committed
  9053d20

  Copy full SHA for 9053d20

Commits on Jan 2, 2023

• fix incorrect functions in paper by Isabelle HOL proof below: https://isabelle.in.tum.de/library/HOL/HOL-Data_Structures/AA_Set.html

  hummy123

  committed
  8ccd82f

  Copy full SHA for 8ccd82f

• use isEmpty in delete case as in HOL proof

  hummy123

  committed
  dda2bd0

  Copy full SHA for dda2bd0

• Merge branch 'fsprojects:master' into master

  hummy123

  authored
  cb72994

  Copy full SHA for cb72994

Commits on Jan 4, 2023

• Merge branch 'fsprojects:master' into master

  hummy123

  authored
  56bac48

  Copy full SHA for 56bac48

• fix formatting using FAKE and fix typo in comment

  hummy123

  committed
  8d1a93c

  Copy full SHA for 8d1a93c

Commits on Jan 5, 2023

• fix my own implementation error in AaTree.splitMax (private function

  hummy123

  committed
  171dd41

  Copy full SHA for 171dd41