epfl-lara/leon — pull request #43 by colder (2013-12-06 17:24:48+00:00)
Title: Simplify CodeGen. Support Choose in all evaluators.

Introduce support for Choose expressions in evaluators.