Skip to content

Add missing QF_BV functions #18

@Robbepop

Description

@Robbepop

The new stevia_bitvec crate and its provided Bitvec implementation is still missing some core QF_BV functions. Namely, bvcomp with proper error handling (not panicking), rotate_left and rotate_right (supported in the upcoming apint version 0.3), and repeat.

For more information visit this page: http://smtlib.cs.uiowa.edu/logics-all.shtml#QF_BV

Metadata

Metadata

Assignees

No one assigned

    Labels

    A-bitvecTask operating on the stevia_bitvec crate in isolation.B-enhancementAn enhancement or new feature.D-easyA task that is considered to be simple to implement.

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions