@ignore @ignore @ignore This file is part of WP plug-in of Frama-C. @ignore @ignore Copyright (C) 2007-2014 @ignore CEA (Commissariat a l'energie atomique et aux energies @ignore alternatives) @ignore @ignore you can redistribute it and/or modify it under the terms of the GNU @ignore Lesser General Public License as published by the Free Software @ignore Foundation, version 2.1. @ignore @ignore It is distributed in the hope that it will be useful, @ignore but WITHOUT ANY WARRANTY; without even the implied warranty of @ignore MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the @ignore GNU Lesser General Public License for more details. @ignore @ignore See the GNU Lesser General Public License version 2.1 @ignore for more details (enclosed in the file licenses/LGPLv2.1). @ignore @ignore {2 Overview} The WP plugin is dedicated to compute Weakest-Preconditions using different memory models. It is experimental and still under development.