Skip to content

Adding BitVectors literals arithmetic simplification

Viktor Kuncak requested to merge github/fork/mario-bucev/extras into scala-3.x

Created by: mario-bucev

Note: targets the scala-3.x branch. That addition is needed for some tests in GenC (with the Dotty frontend) to succeed (more specifically, some arrays require a literal size). The Stainless extraction happens before the constant unfolding in the Dotty pipeline. The other two minor changes are here to help with negative tests checks (for later on)

Merge request reports