Commit graph

4 commits

Author SHA1 Message Date
Simon Cruanes
79d4129d11 added BV.select/selecti (break api) functions 2013-11-26 15:46:40 +01:00
Simon Cruanes
939e0b96d0 bugfixes in BV (off by one...) 2013-09-24 17:22:03 +02:00
Simon Cruanes
a16a2b5d2c more recent bitvectors 2013-09-24 17:08:57 +02:00
Simon Cruanes
e7075ca060 imperative bitvector module 2013-09-24 15:06:30 +02:00