Gentoo Packages

dev-lang/boogie (gentoo)

Search

Package Information

Description:
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.
Homepage:
https://github.com/boogie-org/boogie/
License:
MIT

Versions

Version EAPI Keywords Slot
3.5.6 8 amd64 0

Metadata

Description

Maintainers

Upstream

Raw Metadata XML 
<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>

Lint Warnings

USE Flags

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) ✓

Files

Manifest

Type File Size Versions
DIST boogie-3.5.6.gh.tar.gz 2134059 bytes 3.5.6
Unmatched Entries
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