"src/main/scala/leon/git@ic-gitlab.epfl.ch:lara/inox.git" did not exist on "db2fd782e423e6a92d2445be85aa83ca9ca64fed"
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.
Name | Last commit | Last update |
---|---|---|