feat: add BitVec.[(getMsbD, msb)_extractLsb', (getLsbD, getMsbD, msb)_extractLsb] , add and_eq_decide, or_eq_decide, decide_eq_true_iff to bool_to_prop
#24836
| Job | Run time |
|---|---|
| 1s | |
| 9s | |
| 10s |