Repository navigation

All pull requests

Labels (10)Milestones (0)New pull request

feat: add BitVec.ofBitVecList
#57tobiasgrosser opened Dec 19, 2025
feat: msb_sdiv
#54bollu opened Apr 21, 2025
draft: Scalable bit blasting with abstractions
#53bollu opened Mar 28, 2025
feat: BitVec.toInt_sshiftRight
#39mhk119 opened Dec 10, 2024Collaborator
1
feat: add BitVec.toFin_append
#36tobiasgrosser opened Dec 5, 2024
3
Simp rfl thm
#32tobiasgrosser opened Nov 1, 2024
feat: add BitVec zero/one simplifications
#29tobiasgrosser opened Oct 27, 2024
feat: BitVec.[udiv_twoPow|sdiv_twoPow]
#28tobiasgrosser opened Oct 26, 2024
feat: lazy ackermannization for bv_decide
#25bollu opened Sep 27, 2024
feat: add simple co-inductive predicates
#17Equilibris opened Aug 21, 20245 of 7 tasks
22