• Jean-Christophe Filliâtre's avatar
    bit vectors (WIP) · c1531cba
    Jean-Christophe Filliâtre 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
map.why 4.99 KB