"git@ic-gitlab.epfl.ch:lara/inox.git" did not exist on "8db71d9b8e9fa7dfbe98547f64307592f02f2198"
Philippe Suter
authored
The idea of this commit is to recycle b and e variables in function template instantiations. This essentially means that the graph of guards (b variables), which used to be a tree, is now a DAG. The hope is that this limits the number of unrollings, as different instantiations with the same arguments are now unrolled only once.
Name | Last commit | Last update |
---|---|---|
lib-bin | ||
library | ||
project | ||
regression | ||
src | ||
testcases | ||
unmanaged | ||
web | ||
.gitignore | ||
PERMISSIONS | ||
README | ||
build.sbt | ||
run-tests.sh |