Add support for signed/unsigned conversions (!130) · Merge requests · LARA / inox · GitLab

Viktor Kuncak requested to merge github/fork/jad-hamza/signed-unsigned into master Mar 30, 2021

Created by: jad-hamza

Prepare support for https://github.com/epfl-lara/stainless/issues/954 in Stainless