Skip to content

Add bitvector library with automation

Michael Sammler requested to merge msammler/bv into master

This MR adds two new unstable libraries: A library for bitvectors (previously published at and automation for this bitvector library. See the files for some basic description of the functionality provided by the libraries.

Merge request reports