BitVectorSplittingAtomicHighLevelStateHandler now supports Bits
[Mograsim.git] / README.md