Files · db2fd782e423e6a92d2445be85aa83ca9ca64fed · LARA / inox

"git@ic-gitlab.epfl.ch:lara/inox.git" did not exist on "db2fd782e423e6a92d2445be85aa83ca9ca64fed"

Simplify TupleSelect(Tuple(..), ..) and CaseClassSelect(CaseClass(..), ..)

Etienne Kneuss authored 12 years ago

This simplification is done directly when constructing them.

Note that it does not preserve everything:

e.g (infiniteLoop, 1)._2 would be simplified to 1.

db2fd782

History

db2fd782 12 years ago

History

Name	Last commit	Last update
lib-bin
library
project
regression
src
testcases
unmanaged
web
.gitignore
PERMISSIONS
README
build.sbt
run-tests.sh

README