Add option to remove colors and non-ascii characters, and to format errors for IDEs (!131) · Merge requests · LARA / inox · GitLab

Viktor Kuncak requested to merge github/fork/jad-hamza/ascii into master Mar 31, 2021

Created by: jad-hamza

Prepare support to address https://github.com/epfl-lara/stainless/issues/960