src/main/scala/leon/synthesis/SynthesisPhase.scala · ba41c6b20ab2f0015b7f70b45e1aef75a4d3816f · LARA / inox

"...scala/leon/regression/synthesis/StablePrintingSuite.scala" did not exist on "9fa9d91666c8e256b11bc05e475df24e270d7479"

Blame

12 years ago

ba41c6b2

Simplification of 1-uples and 0-uples. · ba41c6b2

Philippe Suter authored 12 years ago

This commit also fixes a serious bug (that apparently affected no one in
purescala/Extractors, namely the reconstruction function for Let and
LetTuple was broken).

ba41c6b2

History

Simplification of 1-uples and 0-uples.

Philippe Suter authored 12 years ago

This commit also fixes a serious bug (that apparently affected no one in
purescala/Extractors, namely the reconstruction function for Let and
LetTuple was broken).