gpo.zugaina.org

Search Portage & Overlays:

dev-lang/boogie

SMT-based program verifier

Screenshots

USE Flags

test
Global: Workaround to pull in packages needed to run with FEATURES=test. Portage-2.1.2 handles this internally, so don't set it in make.conf/package.use anymore
debug
Global: Enable extra debug codepaths, like asserts and extra output. If you want to get meaningful backtraces see http://www.gentoo.org/proj/en/qa/backtraces.xml