Skip to content

Inline ADT and tuple selection for variables

Viktor Kuncak requested to merge github/fork/mario-bucev/inline-simple-projection into main

Created by: mario-bucev

Inline projection such as recv.f1.f2.f3 when recv is itself a projection on a variable. This may result in duplication but allows for better lambda comparison such as https://github.com/epfl-lara/stainless/issues/1399.

Merge request reports