Commit graph

4 commits

Author SHA1 Message Date
Simon Cruanes
d0c3af5492 continue removal of CCGen/CCsequence 2014-12-13 03:20:14 +01:00
Simon Cruanes
b72f8683ce udpated tests 2014-05-22 23:58:36 +02:00
Simon Cruanes
396a1779bf merged BV tests in tests/test_bv.ml 2013-11-26 17:41:18 +01:00
Simon Cruanes
e7075ca060 imperative bitvector module 2013-09-24 15:06:30 +02:00