"src/main/scala/leon/git@ic-gitlab.epfl.ch:lara/inox.git" did not exist on "57710fe219d542d2f1d2fa259df5303c5cadd744"
Philippe Suter
authored
What this commit really introduces is a graceful failure when asked to evaluate a `choose` expression. In particular, it makes it possible for codegen evaluator to compile functions that contain `choose` expressions, and even evaluate them, as long as the execution path doesn't meet a `choose` expressions.
Name | Last commit | Last update |
---|---|---|
lib-bin | ||
library | ||
project | ||
regression | ||
src | ||
testcases | ||
unmanaged | ||
web | ||
.gitignore | ||
PERMISSIONS | ||
README | ||
build.sbt | ||
run-tests.sh |