-
Notifications
You must be signed in to change notification settings - Fork 4
Add missing QF_BV functions #18
Copy link
Copy link
Open
Labels
A-bitvecTask operating on the stevia_bitvec crate in isolation.Task operating on the stevia_bitvec crate in isolation.B-enhancementAn enhancement or new feature.An enhancement or new feature.D-easyA task that is considered to be simple to implement.A task that is considered to be simple to implement.
Description
Metadata
Metadata
Assignees
Labels
A-bitvecTask operating on the stevia_bitvec crate in isolation.Task operating on the stevia_bitvec crate in isolation.B-enhancementAn enhancement or new feature.An enhancement or new feature.D-easyA task that is considered to be simple to implement.A task that is considered to be simple to implement.
The new
stevia_bitveccrate and its providedBitvecimplementation is still missing some coreQF_BVfunctions. Namely,bvcompwith proper error handling (not panicking),rotate_leftandrotate_right(supported in the upcomingapintversion0.3), andrepeat.For more information visit this page: http://smtlib.cs.uiowa.edu/logics-all.shtml#QF_BV