drivers/no-bv.gen

   1 (* Why3 driver for noBV alternatives on bit-vector theories *)
   2
   3 theory bv.BV_Gen
   4   remove prop nth_bv_def
   5   remove prop eq_sub_bv_def
   6
   7   remove prop to_uint_add
   8   remove prop to_uint_sub
   9   remove prop to_uint_neg
  10   remove prop to_uint_mul
  11 end