Code

feat: add BitVec.ofFn and lemmas#1078

Code

Open

fgdorais wants to merge 21 commits intoleanprover-community:mainleanprover-community/batteries:mainfrom fgdorais:bitvec-offnfgdorais/batteries:bitvec-offnCopy head branch name to clipboard

+194

Commits

Commits on Dec 23, 2024

• feat: add BitVec.ofFn and lemmas

  fgdorais

  committed
  b630163

  Copy full SHA for b630163

Commits on Jan 5, 2025

• Merge branch 'leanprover-community:main' into bitvec-offn

  fgdorais

  authored
  9b358f6

  Copy full SHA for 9b358f6

• feat: do both LE and BE versions

  fgdorais

  committed
  f7ae994

  Copy full SHA for f7ae994

• feat: more getter lemmas

  fgdorais

  committed
  1f26464

  Copy full SHA for 1f26464

• feat: add Nat.ofBits and Fin.ofBits

  fgdorais

  committed
  d8bd13d

  Copy full SHA for d8bd13d

• fix: typo

  Show description for 7a8b3e2
  

  fgdorais

  and

  kim-em

  authored
  7a8b3e2

  Copy full SHA for 7a8b3e2

• fix: long line

  fgdorais

  committed
  4613b2e

  Copy full SHA for 4613b2e

• fix: typos

  fgdorais

  committed
  66a7724

  Copy full SHA for 66a7724

Commits on Jan 6, 2025

• feat: add Int.testBit and Int.ofBits

  fgdorais

  committed
  4b995c9

  Copy full SHA for 4b995c9

• fix: use sign extension

  fgdorais

  committed
  9ac228f

  Copy full SHA for 9ac228f

Commits on Jan 9, 2025

• feat: add Nat.ofBits

  fgdorais

  committed
  bbe6ae9

  Copy full SHA for bbe6ae9

• feat: add Fin.ofBits

  fgdorais

  committed
  287e090

  Copy full SHA for 287e090

• fix: revert last two commits

  fgdorais

  committed
  2ce1194

  Copy full SHA for 2ce1194

• chore: merge main

  fgdorais

  committed
  c155232

  Copy full SHA for c155232

• chore: merge leanprover-community#1089

  fgdorais

  committed
  03b1be8

  Copy full SHA for 03b1be8

Commits on Jan 15, 2025

• chore: merge main

  fgdorais

  committed
  9b39f2b

  Copy full SHA for 9b39f2b

• chore: split file

  fgdorais

  committed
  3673ee9

  Copy full SHA for 3673ee9

Commits on Jan 20, 2025

• feat: more getter lemmas

  fgdorais

  committed
  7ef953f

  Copy full SHA for 7ef953f

• feat: add Int.ofBits

  fgdorais

  committed
  c3efcc9

  Copy full SHA for c3efcc9

• chore: merge leanprover-community#1096 (feat: add Int.ofBits)

  fgdorais

  committed
  9e36b24

  Copy full SHA for 9e36b24

• feat: add toInt lemmas

  fgdorais

  committed
  03bff5d

  Copy full SHA for 03bff5d