Code

feat: getLsb_signExtend#5

Code

Draft

tobiasgrosser wants to merge 13 commits intomasteropencompl/lean4:masterfrom getLsb_signExtend_tobiasopencompl/lean4:getLsb_signExtend_tobiasCopy head branch name to clipboard

+191

Commits

Commits on Jun 2, 2024

• feat: getLsb_signExtend

  bollu

  committed
  d2340d6

  Copy full SHA for d2340d6

• playing around

  tobiasgrosser

  committed
  edf253d

  Copy full SHA for edf253d

Commits on Jun 3, 2024

• wip

  tobiasgrosser

  committed
  a77f32e

  Copy full SHA for a77f32e

• wip

  tobiasgrosser

  committed
  284cf74

  Copy full SHA for 284cf74

• wip

  tobiasgrosser

  committed
  b76a85d

  Copy full SHA for b76a85d

• wip

  tobiasgrosser

  committed
  0238942

  Copy full SHA for 0238942

• wip

  tobiasgrosser

  committed
  56013b3

  Copy full SHA for 56013b3

• wip

  tobiasgrosser

  committed
  2204aee

  Copy full SHA for 2204aee

• wip

  tobiasgrosser

  committed
  32a49a6

  Copy full SHA for 32a49a6

• Test

  tobiasgrosser

  committed
  52c618d

  Copy full SHA for 52c618d

• Copied from mathlib

  tobiasgrosser

  committed
  e3002eb

  Copy full SHA for e3002eb

• Test

  tobiasgrosser

  committed
  1664e57

  Copy full SHA for 1664e57

• WIP

  tobiasgrosser

  committed
  5d95915

  Copy full SHA for 5d95915