Kim Morrison 910b20fb2c chore: consolidate decide_True and decide_true_eq_true (#5949)		2024-11-06 05:12:25 +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	chore: consolidate decide_True and decide_true_eq_true (#5949)	2024-11-06 05:12:25 +00:00
Folds.lean	chore: introduce BitVec.setWidth to unify zeroExtend and truncate	2024-09-18 18:20:06 +10:00
Lemmas.lean	chore: consolidate decide_True and decide_true_eq_true (#5949)	2024-11-06 05:12:25 +00:00