Add bitvector library with automation
This MR adds two new unstable libraries: A library for bitvectors (previously published at https://gitlab.mpi-sws.org/iris/bitvector) and automation for this bitvector library. See the files for some basic description of the functionality provided by the libraries.
Merge request reports
Activity
Please register or sign in to reply