jfs icon indicating copy to clipboard operation
jfs copied to clipboard
verified publisher icon mc-imperial

Extend EqualityExtraction to support equalities with conversions

Open jryans opened this issue 6 years ago • 0 comments

It might be useful to support equality constraints where one of the operands is a conversion of a bitvector to a floating-point type.

jryans avatar Aug 28 '19 17:08 jryans