Skip to content

Improvements for BitVectors

Viktor Kuncak requested to merge bitvectors into master

Created by: mantognini

This is still slightly work in progress but input is welcome on a few points (see FIXMEs and TODOs). I'll add a review to guide the discussion a bit.

Merge request reports