Remove use of unsafeCoerce in ExprHelpers
travitch opened this issue · comments
Tristan Ravitch commented
Now that GaloisInc/what4@c648cd1 has landed in what4, we can remove
Lines 113 to 117 in de05573
Patches Assured up to Trace Equivalence
travitch opened this issue · comments
Now that GaloisInc/what4@c648cd1 has landed in what4, we can remove
Lines 113 to 117 in de05573