• Jean-Christophe Filliatre's avatar
    bit vectors (WIP) · c1531cba
    Jean-Christophe Filliatre authored
    moved from map.why to bv.why + new theories BV31, BV63, and BV64
    modules mach.int.Int32 etc. now have to_bv / of_bv routines
    ocaml driver identify integers and bit vectors and makes use of
    operations such as land
    c1531cba
Name
Last commit
Last update
..
mach Loading commit data...
array.mlw Loading commit data...
hashtbl.mlw Loading commit data...
impset.mlw Loading commit data...
io.mlw Loading commit data...
matrix.mlw Loading commit data...
pqueue.mlw Loading commit data...
queue.mlw Loading commit data...
random.mlw Loading commit data...
ref.mlw Loading commit data...
stack.mlw Loading commit data...
string.mlw Loading commit data...