Kim Morrison 1148e6e142 chore: remove @[simp] from BitVec.ofFin_sub and sub_ofFin (#5951) ... Unused, and hurts confluence.		2024-11-05 04:56:21 +00:00
..
Basic.lean	feat: Hashable (BitVec n) (#5881)	2024-10-30 02:26:18 +00:00
BasicAux.lean	refactor: redefine unsigned fixed width integers in terms of BitVec (#5323)	2024-10-16 07:28:23 +00:00
Bitblast.lean	feat: add BitVec.(msb, getMsbD, getLsbD)_(neg, abs) (#5721)	2024-11-01 01:27:34 +00:00
Folds.lean	chore: introduce BitVec.setWidth to unify zeroExtend and truncate	2024-09-18 18:20:06 +10:00
Lemmas.lean	chore: remove @[simp] from BitVec.ofFin_sub and sub_ofFin (#5951)	2024-11-05 04:56:21 +00:00