Code

Mathcomp 2.x#29

Code

Open

ablearthy wants to merge 15 commits intocoq-community:trunkcoq-community/fav-ssr:trunkfrom ablearthy:mathcomp-230ablearthy/fav-ssr:mathcomp-230Copy head branch name to clipboard

+101-117

Commits

Commits on Jan 5, 2025

• Update prelude and sorting

  ablearthy

  committed
  6b570f6

  Copy full SHA for 6b570f6

• Update selection

  ablearthy

  committed
  9a35cd8

  Copy full SHA for 9a35cd8

• Update bintree

  ablearthy

  committed
  2ac973d

  Copy full SHA for 2ac973d

• Update bst

  ablearthy

  committed
  8ce46d2

  Copy full SHA for 8ce46d2

• Update adt

  ablearthy

  committed
  7d10060

  Copy full SHA for 7d10060

• Update twothree

  ablearthy

  committed
  07f856e

  Copy full SHA for 07f856e

• Update redblack

  ablearthy

  committed
  7a22530

  Copy full SHA for 7a22530

• Update avl

  ablearthy

  committed
  ec08077

  Copy full SHA for ec08077

• Update beyond

  ablearthy

  committed
  2575dc2

  Copy full SHA for 2575dc2

• Minor updates

  ablearthy

  committed
  c88ad40

  Copy full SHA for c88ad40

• Update braun_queue

  ablearthy

  committed
  14863ec

  Copy full SHA for 14863ec

• Update binom_heap

  ablearthy

  committed
  df2bbe3

  Copy full SHA for df2bbe3

• Update huffman

  ablearthy

  committed
  451b7e6

  Copy full SHA for 451b7e6

• Update versions

  ablearthy

  committed
  d272f37

  Copy full SHA for d272f37

• Remove mathcomp 2.2

  ablearthy

  committed
  3998099

  Copy full SHA for 3998099