Install this package:
emerge -a dev-lang/boogieIf the package is masked, you can unmask it using the autounmask tool or standard emerge options:
autounmask dev-lang/boogieOr alternatively:
emerge --autounmask-write -a dev-lang/boogie| Version | EAPI | Keywords | Slot |
|---|---|---|---|
| 3.5.6 | 8 | amd64 | 0 |
<pkgmetadata>
<maintainer type="project">
<email>dotnet@gentoo.org</email>
<name>Gentoo Dotnet Project</name>
</maintainer>
<longdescription>
Boogie is an intermediate verification language (IVL), intended as a layer
on which to build program verifiers for other languages. Several program
verifiers have been built in this way, including the VCC and HAVOC
verifiers for C and the verifiers for Dafny, Chalice, and Spec#. For a
sample verifier for a toy language built on top of Boogie, see Forro.
Boogie is also the name of a tool. The tool accepts the Boogie language as
input, optionally infers some invariants in the given Boogie program, and
then generates verification conditions that are passed to an SMT solver.
The default SMT solver is Z3.
</longdescription>
<upstream>
<bugs-to>https://github.com/boogie-org/boogie/issues/</bugs-to>
<remote-id type="github">boogie-org/boogie</remote-id>
</upstream>
</pkgmetadata>
Manage flags for this package:
euse -i <flag> -p dev-lang/boogie |
euse -E <flag> -p dev-lang/boogie |
euse -D <flag> -p dev-lang/boogie
| Flag | Description | 3.5.6 |
|---|---|---|
| test | Enable dependencies and/or preparations necessary to run tests (usually controlled by FEATURES=test but can be toggled independently) | ✓ |
| Type | File | Size | Versions |
|---|---|---|---|
| DIST | boogie-3.5.6.gh.tar.gz | 2134059 bytes | 3.5.6 |
| Type | File | Size |
|---|---|---|
| DIST | microsoft.bcl.asyncinterfaces.6.0.0.nupkg | 76354 bytes |
| DIST | microsoft.codecoverage.16.2.0.nupkg | 3133582 bytes |
| DIST | microsoft.csharp.4.0.1.nupkg | 462346 bytes |
| DIST | microsoft.dotnet.internalabstractions.1.0.0.nupkg | 36684 bytes |
| DIST | microsoft.net.test.sdk.16.2.0.nupkg | 26075 bytes |
| DIST | microsoft.netcore.platforms.1.0.1.nupkg | 17876 bytes |
| DIST | microsoft.netcore.platforms.1.1.0.nupkg | 17960 bytes |
| DIST | microsoft.netcore.targets.1.0.1.nupkg | 18189 bytes |
| DIST | microsoft.netcore.targets.1.1.0.nupkg | 18162 bytes |
| DIST | microsoft.testplatform.objectmodel.16.2.0.nupkg | 1106432 bytes |
| DIST | microsoft.testplatform.testhost.16.2.0.nupkg | 4449756 bytes |
| DIST | microsoft.win32.primitives.4.3.0.nupkg | 63333 bytes |
| DIST | microsoft.win32.registry.4.3.0.nupkg | 190042 bytes |
| DIST | microsoft.win32.systemevents.6.0.0.nupkg | 157768 bytes |
| DIST | netstandard.library.1.6.0.nupkg | 17404 bytes |
| DIST | netstandard.library.2.0.0.nupkg | 3143842 bytes |
| DIST | newtonsoft.json.9.0.1.nupkg | 1613054 bytes |
| DIST | nunit.3.12.0.nupkg | 3463090 bytes |
| DIST | nunit3testadapter.3.15.1.nupkg | 712433 bytes |
| DIST | runtime.any.system.collections.4.3.0.nupkg | 107990 bytes |
| DIST | runtime.any.system.diagnostics.tools.4.3.0.nupkg | 43707 bytes |
| DIST | runtime.any.system.diagnostics.tracing.4.3.0.nupkg | 49844 bytes |
| DIST | runtime.any.system.globalization.4.3.0.nupkg | 43718 bytes |
| DIST | runtime.any.system.io.4.3.0.nupkg | 54553 bytes |
| DIST | runtime.any.system.reflection.4.3.0.nupkg | 43499 bytes |
| DIST | runtime.any.system.reflection.extensions.4.3.0.nupkg | 44123 bytes |
| DIST | runtime.any.system.reflection.primitives.4.3.0.nupkg | 43106 bytes |
| DIST | runtime.any.system.resources.resourcemanager.4.3.0.nupkg | 42939 bytes |
| DIST | runtime.any.system.runtime.4.3.0.nupkg | 55302 bytes |
| DIST | runtime.any.system.runtime.handles.4.3.0.nupkg | 30945 bytes |
| DIST | runtime.any.system.runtime.interopservices.4.3.0.nupkg | 71496 bytes |
| DIST | runtime.any.system.text.encoding.4.3.0.nupkg | 43396 bytes |
| DIST | runtime.any.system.text.encoding.extensions.4.3.0.nupkg | 43296 bytes |
| DIST | runtime.any.system.threading.tasks.4.3.0.nupkg | 47940 bytes |
| DIST | runtime.debian.8-x64.runtime.native.system.security.cryptography.openssl.4.3.0.nupkg | 44390 bytes |
| DIST | runtime.fedora.23-x64.runtime.native.system.security.cryptography.openssl.4.3.0.nupkg | 42827 bytes |
| DIST | runtime.fedora.24-x64.runtime.native.system.security.cryptography.openssl.4.3.0.nupkg | 42833 bytes |
| DIST | runtime.native.system.4.0.0.nupkg | 16852 bytes |
| DIST | runtime.native.system.4.3.0.nupkg | 16854 bytes |
| DIST | runtime.native.system.security.cryptography.openssl.4.3.0.nupkg | 17048 bytes |
| DIST | runtime.opensuse.13.2-x64.runtime.native.system.security.cryptography.openssl.4.3.0.nupkg | 44200 bytes |
| DIST | runtime.opensuse.42.1-x64.runtime.native.system.security.cryptography.openssl.4.3.0.nupkg | 44118 bytes |
| DIST | runtime.osx.10.10-x64.runtime.native.system.security.cryptography.openssl.4.3.0.nupkg | 37682 bytes |
| DIST | runtime.rhel.7-x64.runtime.native.system.security.cryptography.openssl.4.3.0.nupkg | 42668 bytes |
| DIST | runtime.ubuntu.14.04-x64.runtime.native.system.security.cryptography.openssl.4.3.0.nupkg | 43118 bytes |
| DIST | runtime.ubuntu.16.04-x64.runtime.native.system.security.cryptography.openssl.4.3.0.nupkg | 42901 bytes |
| DIST | runtime.ubuntu.16.10-x64.runtime.native.system.security.cryptography.openssl.4.3.0.nupkg | 42939 bytes |
| DIST | runtime.unix.microsoft.win32.primitives.4.3.0.nupkg | 31929 bytes |
| DIST | runtime.unix.system.diagnostics.debug.4.3.0.nupkg | 38808 bytes |
| DIST | runtime.unix.system.io.filesystem.4.3.0.nupkg | 62460 bytes |
| DIST | runtime.unix.system.private.uri.4.3.0.nupkg | 75969 bytes |
| DIST | runtime.unix.system.runtime.extensions.4.3.0.nupkg | 54075 bytes |
| DIST | system.appcontext.4.1.0.nupkg | 146990 bytes |
| DIST | system.buffers.4.3.0.nupkg | 35171 bytes |
| DIST | system.collections.4.0.11.nupkg | 810001 bytes |
| DIST | system.collections.4.3.0.nupkg | 810001 bytes |
| DIST | system.collections.concurrent.4.0.12.nupkg | 502657 bytes |
| DIST | system.collections.immutable.1.2.0.nupkg | 310324 bytes |
| DIST | system.collections.nongeneric.4.3.0.nupkg | 239265 bytes |
| DIST | system.collections.specialized.4.3.0.nupkg | 183462 bytes |
| DIST | system.componentmodel.4.3.0.nupkg | 95320 bytes |
| DIST | system.componentmodel.eventbasedasync.4.0.11.nupkg | 185698 bytes |
| DIST | system.componentmodel.eventbasedasync.4.3.0.nupkg | 185773 bytes |
| DIST | system.componentmodel.primitives.4.3.0.nupkg | 93137 bytes |
| DIST | system.componentmodel.typeconverter.4.1.0.nupkg | 292996 bytes |
| DIST | system.componentmodel.typeconverter.4.3.0.nupkg | 292985 bytes |
| DIST | system.configuration.configurationmanager.6.0.0.nupkg | 447998 bytes |
| DIST | system.diagnostics.debug.4.0.11.nupkg | 149779 bytes |
| DIST | system.diagnostics.debug.4.3.0.nupkg | 149774 bytes |
| DIST | system.diagnostics.process.4.1.0.nupkg | 543262 bytes |
| DIST | system.diagnostics.process.4.3.0.nupkg | 543776 bytes |
| DIST | system.diagnostics.textwritertracelistener.4.0.0.nupkg | 94128 bytes |
| DIST | system.diagnostics.tools.4.0.1.nupkg | 67228 bytes |
| DIST | system.diagnostics.tracesource.4.0.0.nupkg | 227603 bytes |
| DIST | system.diagnostics.tracing.4.1.0.nupkg | 581838 bytes |
| DIST | system.diagnostics.tracing.4.3.0.nupkg | 581864 bytes |
| DIST | system.drawing.common.6.0.0.nupkg | 1114589 bytes |
| DIST | system.dynamic.runtime.4.0.11.nupkg | 547813 bytes |
| DIST | system.globalization.4.0.11.nupkg | 589139 bytes |
| DIST | system.globalization.4.3.0.nupkg | 589136 bytes |
| DIST | system.globalization.extensions.4.3.0.nupkg | 142949 bytes |
| DIST | system.io.4.1.0.nupkg | 703645 bytes |
| DIST | system.io.4.3.0.nupkg | 703652 bytes |
| DIST | system.io.filesystem.4.0.1.nupkg | 274255 bytes |
| DIST | system.io.filesystem.4.3.0.nupkg | 274316 bytes |
| DIST | system.io.filesystem.primitives.4.0.1.nupkg | 94921 bytes |
| DIST | system.io.filesystem.primitives.4.3.0.nupkg | 94996 bytes |
| DIST | system.linq.4.1.0.nupkg | 511874 bytes |
| DIST | system.linq.4.3.0.nupkg | 512550 bytes |
| DIST | system.linq.async.6.0.1.nupkg | 2000666 bytes |
| DIST | system.linq.expressions.4.1.0.nupkg | 1929236 bytes |
| DIST | system.objectmodel.4.0.12.nupkg | 321648 bytes |
| DIST | system.private.datacontractserialization.4.1.1.nupkg | 476334 bytes |
| DIST | system.private.uri.4.3.0.nupkg | 16869 bytes |
| DIST | system.reactive.4.4.1.nupkg | 3087134 bytes |
| DIST | system.reflection.4.1.0.nupkg | 700819 bytes |
| DIST | system.reflection.4.3.0.nupkg | 700821 bytes |
| DIST | system.reflection.emit.4.0.1.nupkg | 219037 bytes |
| DIST | system.reflection.emit.ilgeneration.4.0.1.nupkg | 123128 bytes |
| DIST | system.reflection.emit.lightweight.4.0.1.nupkg | 82989 bytes |
| DIST | system.reflection.extensions.4.0.1.nupkg | 99743 bytes |
| DIST | system.reflection.extensions.4.3.0.nupkg | 99740 bytes |
| DIST | system.reflection.metadata.1.3.0.nupkg | 434051 bytes |
| DIST | system.reflection.primitives.4.0.1.nupkg | 281678 bytes |
| DIST | system.reflection.primitives.4.3.0.nupkg | 281679 bytes |
| DIST | system.reflection.typeextensions.4.1.0.nupkg | 187836 bytes |
| DIST | system.reflection.typeextensions.4.3.0.nupkg | 187842 bytes |
| DIST | system.resources.resourcemanager.4.0.1.nupkg | 85915 bytes |
| DIST | system.resources.resourcemanager.4.3.0.nupkg | 85908 bytes |
| DIST | system.runtime.4.1.0.nupkg | 7263653 bytes |
| DIST | system.runtime.4.3.0.nupkg | 7263712 bytes |
| DIST | system.runtime.caching.6.0.0.nupkg | 298162 bytes |
| DIST | system.runtime.extensions.4.1.0.nupkg | 1060307 bytes |
| DIST | system.runtime.extensions.4.3.0.nupkg | 1060357 bytes |
| DIST | system.runtime.handles.4.0.1.nupkg | 54854 bytes |
| DIST | system.runtime.handles.4.3.0.nupkg | 54854 bytes |
| DIST | system.runtime.interopservices.4.1.0.nupkg | 2542509 bytes |
| DIST | system.runtime.interopservices.4.3.0.nupkg | 2597020 bytes |
| DIST | system.runtime.interopservices.runtimeinformation.4.0.0.nupkg | 165972 bytes |
| DIST | system.runtime.interopservices.runtimeinformation.4.3.0.nupkg | 179546 bytes |
| DIST | system.runtime.loader.4.0.0.nupkg | 47372 bytes |
| DIST | system.runtime.serialization.json.4.0.2.nupkg | 113946 bytes |
| DIST | system.runtime.serialization.primitives.4.1.1.nupkg | 222353 bytes |
| DIST | system.security.accesscontrol.6.0.0.nupkg | 322676 bytes |
| DIST | system.security.cryptography.protecteddata.6.0.0.nupkg | 126768 bytes |
| DIST | system.security.permissions.6.0.0.nupkg | 240029 bytes |
| DIST | system.text.encoding.4.0.11.nupkg | 327286 bytes |
| DIST | system.text.encoding.4.3.0.nupkg | 327281 bytes |
| DIST | system.text.encoding.extensions.4.0.11.nupkg | 244203 bytes |
| DIST | system.text.encoding.extensions.4.3.0.nupkg | 244195 bytes |
| DIST | system.text.regularexpressions.4.1.0.nupkg | 514882 bytes |
| DIST | system.text.regularexpressions.4.3.0.nupkg | 530523 bytes |
| DIST | system.threading.4.0.11.nupkg | 708036 bytes |
| DIST | system.threading.4.3.0.nupkg | 708088 bytes |
| DIST | system.threading.tasks.4.0.11.nupkg | 840020 bytes |
| DIST | system.threading.tasks.4.3.0.nupkg | 840017 bytes |
| DIST | system.threading.tasks.extensions.4.3.0.nupkg | 52499 bytes |
| DIST | system.threading.thread.4.0.0.nupkg | 98848 bytes |
| DIST | system.threading.thread.4.3.0.nupkg | 98902 bytes |
| DIST | system.threading.threadpool.4.3.0.nupkg | 89926 bytes |
| DIST | system.windows.extensions.6.0.0.nupkg | 113560 bytes |
| DIST | system.xml.readerwriter.4.0.11.nupkg | 1363068 bytes |
| DIST | system.xml.readerwriter.4.3.0.nupkg | 1388897 bytes |
| DIST | system.xml.xdocument.4.0.11.nupkg | 591353 bytes |
| DIST | system.xml.xmldocument.4.0.1.nupkg | 285151 bytes |
| DIST | system.xml.xmldocument.4.3.0.nupkg | 285212 bytes |
| DIST | system.xml.xmlserializer.4.0.11.nupkg | 685516 bytes |
| DIST | system.xml.xpath.4.3.0.nupkg | 250182 bytes |
| DIST | system.xml.xpath.xmldocument.4.0.1.nupkg | 86933 bytes |
| DIST | system.xml.xpath.xmldocument.4.3.0.nupkg | 138523 bytes |