search

epfl-lara / inox

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

Upgrade to Scala 3.3 #202

Closed mario-bucev closed 1 year ago

mario-bucev commented 1 year ago

Scala 3.3 introduced further checks that prevented the code from compiling.