Code

feat: add BitVec.and_add_xor_eq_or#304

Code

Merged

tobiasgrosser merged 3 commits intomainopencompl/lean-mlir:mainfrom llvm_and_add_xor_eq_oropencompl/lean-mlir:llvm_and_add_xor_eq_orCopy head branch name to clipboardMay 15, 2024

Commits

Commits on May 14, 2024

• feat: add BitVec.and_add_xor_eq_or

  Show description for 965d186
  tobiasgrosser

  committed
  965d186

  Copy full SHA for 965d186

Commits on May 15, 2024

• Update SSA/Projects/InstCombine/ForLean.lean

  Show description for 34ff84d
  

  tobiasgrosser

  and

  alexkeizer

  authored
  34ff84d

  Copy full SHA for 34ff84d

• chore: extract lemma

  tobiasgrosser

  committed
  f35dab0

  Copy full SHA for f35dab0