dev-lang / boogie

SMT-based program verifier

Official package sites : https://github.com/boogie-org/boogie/ ·

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.

v2.16.0 :: 0 :: gentoo

Modified
License
MIT
Keywords
~amd64
USE flags
debug test

v2.15.9 :: 0 :: gentoo

Modified
License
MIT
Keywords
~amd64
USE flags
debug test

v2.15.8-r4 :: 0 :: gentoo

Modified
License
MIT
Keywords
~amd64
USE flags
debug test

General

debug
Enable extra debug codepaths, like asserts and extra output. If you want to get meaningful backtraces see https://wiki.gentoo.org/wiki/Project:Quality_Assurance/Backtraces
test
Enable dependencies and/or preparations necessary to run tests (usually controlled by FEATURES=test but can be toggled independently)

sci-mathematics / z3 : An efficient theorem prover

virtual / dotnet-sdk : Virtual for .NET SDK

Repository mirror & CI · gentoo
Merge updates from master
Maciej Barć · gentoo
dev-lang/boogie: bump to 2.16.0
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Maciej Barć · gentoo
dev-lang/boogie: bump to 2.15.9
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Maciej Barć · gentoo
dev-dotnet/dotnet-sdk-bin: add ICU dependency
putting ICU in optfeature was a bad idea Bug: https://bugs.gentoo.org/874810 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Maciej Barć · gentoo
dev-lang/boogie: fix broken NUGET_PACKAGES variable
Also use "--source" flag for running "dotnet restore" which will warn when NUGET_PACKAGES directory does not exist. Closes: https://bugs.gentoo.org/875755 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Maciej Barć · gentoo
dev-lang/boogie: enable tests
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Maciej Barć · gentoo
dev-lang/boogie: add icu dependency
Closes: https://bugs.gentoo.org/874810 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Maciej Barć · gentoo
dev-lang/boogie: add z3 dependency and debug USE flag
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Maciej Barć · gentoo
dev-lang/boogie: new package; add version 2.15.8
Signed-off-by: Maciej Barć <xgqt@gentoo.org>