A translator from Eiffel intermediate code to Boogie intermediate language and a tool to invoke Boogie and interpret its output in terms of the source Eiffel program. Copyright (c) 2010-2015 ETH Zurich Copyright (c) 2018-2019 Politecnico di Milano Copyright (c) 2021-2022 Schaffhausen Institute of Technology GNU General Public License (see https://www.gnu.org/licenses/) /.svn$ EIFGENs /tests$ remote