-
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