FR 93758cc222 perf: faster Nat.testBit (#4188) ... `1 &&& n` is faster than `n &&& 1` for big `n`. ---		2024-05-23 01:34:40 +00:00
..
Basic.lean	feat: define rotateLeft/Right with modulo (#4229)	2024-05-21 03:49:09 +00:00
Bitblast.lean	feat: bitblasting theorems for signed comparisons (#4201)	2024-05-23 01:24:04 +00:00
Folds.lean	feat: equivalence of bit-vector negation and bitblasted negation (#3920)	2024-05-06 06:03:28 +00:00
Lemmas.lean	perf: faster Nat.testBit (#4188)	2024-05-23 01:34:40 +00:00