search

epfl-lara / inox

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

Add option to remove colors and non-ascii characters, and to format errors for IDEs #131

Closed jad-hamza closed 3 years ago

jad-hamza commented 3 years ago

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

vkuncak commented 3 years ago

@samarion could we merge this please?

vkuncak commented 3 years ago

Green is good. Won't hold up matters with positions.