search

epfl-lara / inox

Solver for higher-order functional programs, used by Stainless
Apache License 2.0
88 stars 20 forks source link

When shifting right, only add ones for signed bitvectors #158

Closed jad-hamza closed 3 years ago

jad-hamza commented 3 years ago

@samarion can you have a look please? (this is for --eval in Stainless)

jad-hamza commented 3 years ago

Thanks :)