libboost-contract/1.87.0

Contract programming for C++. All contract programming features are supported: Subcontracting, class invariants, postconditions (with old and return values), preconditions, customizable actions on assertion failure (e.g., terminate or throw), optional compilation and checking of assertions, etc

Contract programming for C++. All contract programming features are supported: Subcontracting, class invariants (also static and volatile), postconditions (with old and return values), preconditions, customizable actions on assertion failure (e.g., terminate or throw), optional compilation and checking of assertions, disable assertions while already checking other assertions (to avoid infinite recursion), etc.

License

Distributed under the Boost Software License, Version 1.0.

Properties

C++11 (C++03 possible but not recommended without lambda functions and variadic macros, see documentation for more information).
Shared Library / DLL with BOOST_CONTRACT_DYN_LINK (static library with BOOST_CONTRACT_STATIC_LINK, header-only also possible but not recommended, see BOOST_CONTRACT_HEADER_ONLY documentation for more information).

... More

version	1.87.0
license	BSL-1.0Boost Software License 1.0
repository	https://pkg.cppget.org/1/stable
download	libboost-contract-1.87.0.tar.gz
sha256	4488eeaecadd987d7c07053c11ff15c4516a681a8929a9bb4fb85de4b955f428

project	boost
url	github.com/boostorg/contract
doc-url	www.boost.org/doc/libs/1_87_0/libs/contract
package-url	github.com/build2-packaging/boost
email	boost-users@lists.boost.orgMailing list
package-email	packaging@build2.orgMailing list
topics	C++Boost

Depends (16)

	libboost-any == 1.87.0
	libboost-assert == 1.87.0
	libboost-config == 1.87.0
	libboost-core == 1.87.0
	libboost-exception == 1.87.0
	libboost-function == 1.87.0
	libboost-function-types == 1.87.0
	libboost-mpl == 1.87.0
	libboost-optional == 1.87.0
	libboost-preprocessor == 1.87.0
	libboost-smart-ptr == 1.87.0
	libboost-static-assert == 1.87.0
	libboost-thread == 1.87.0
	libboost-type-traits == 1.87.0
	libboost-typeof == 1.87.0
	libboost-utility == 1.87.0

Reviews

fail	0
pass	1

Builds

toolchain	public-0.17.0
target	aarch64-linux-gnu
tgt config	linux_debian_12-clang_18_libc++-static_O3
timestamp	2025-04-18 04:15:14 UTC (01 00:21:22 days ago)
result	success \| log \| rebuild

toolchain	public-0.17.0
target	aarch64-linux-gnu
tgt config	linux_debian_12-clang_18_libc++-O3
timestamp	2025-04-18 04:13:35 UTC (01 00:23:00 days ago)
result	success \| log \| rebuild

toolchain	public-0.17.0
target	aarch64-linux-gnu
tgt config	linux_debian_12-clang_18-static_O3
timestamp	2025-04-18 04:12:37 UTC (01 00:23:59 days ago)
result	success \| log \| rebuild

toolchain	public-0.17.0
target	aarch64-linux-gnu
tgt config	linux_debian_12-clang_18_libc++
timestamp	2025-04-18 04:12:33 UTC (01 00:24:03 days ago)
result	success \| log \| rebuild

toolchain	public-0.17.0
target	aarch64-linux-gnu
tgt config	linux_debian_12-clang_18-O3
timestamp	2025-04-18 04:11:54 UTC (01 00:24:41 days ago)
result	success \| log \| rebuild

toolchain	public-0.17.0
target	aarch64-linux-gnu
tgt config	linux_debian_12-clang_18
timestamp	2025-04-18 04:11:21 UTC (01 00:25:14 days ago)
result	success \| log \| rebuild

toolchain	public-0.17.0
target	x86_64-microsoft-win32-msvc14.3
tgt config	windows_10-msvc_17.10-static_O2
timestamp	2025-04-17 21:35:15 UTC (01 07:01:20 days ago)
result	success \| log \| rebuild

toolchain	public-0.17.0
target	x86_64-microsoft-win32-msvc14.3
tgt config	windows_10-msvc_17.10-O2
timestamp	2025-04-17 21:33:00 UTC (01 07:03:36 days ago)
result	success \| log \| rebuild

toolchain	public-0.17.0
target	x86_64-microsoft-win32-msvc14.3
tgt config	windows_10-msvc_17.10
timestamp	2025-04-17 21:10:48 UTC (01 07:25:48 days ago)
result	success \| log \| rebuild

toolchain	public-0.17.0
target	aarch64-linux-gnu
tgt config	linux_debian_12-gcc_14-static_O3
timestamp	2025-04-17 20:14:06 UTC (01 08:22:29 days ago)
result	success \| log \| rebuild

toolchain	public-0.17.0
target	aarch64-linux-gnu
tgt config	linux_debian_12-gcc_14-ndebug_O3
timestamp	2025-04-17 20:10:14 UTC (01 08:26:22 days ago)
result	success \| log \| rebuild

toolchain	public-0.17.0
target	aarch64-linux-gnu
tgt config	linux_debian_12-gcc_14-O3
timestamp	2025-04-17 20:07:25 UTC (01 08:29:10 days ago)
result	success \| log \| rebuild

toolchain	public-0.17.0
target	aarch64-linux-gnu
tgt config	linux_debian_12-gcc_14
timestamp	2025-04-17 20:06:47 UTC (01 08:29:49 days ago)
result	success \| log \| rebuild

toolchain	public-0.17.0
target	x86_64-linux-gnu
tgt config	linux_debian_12-clang_18_libc++-O3
timestamp	2025-04-17 20:00:21 UTC (01 08:36:15 days ago)
result	success \| log \| rebuild

toolchain	public-0.17.0
target	x86_64-linux-gnu
tgt config	linux_debian_12-clang_18_libc++-static_O3
timestamp	2025-04-17 19:59:13 UTC (01 08:37:23 days ago)
result	success \| log \| rebuild

toolchain	public-0.17.0
target	x86_64-linux-gnu
tgt config	linux_debian_12-clang_18_libc++
timestamp	2025-04-17 19:58:38 UTC (01 08:37:58 days ago)
result	success \| log \| rebuild

toolchain	public-0.17.0
target	x86_64-linux-gnu
tgt config	linux_debian_12-clang_18-O3
timestamp	2025-04-17 19:57:08 UTC (01 08:39:27 days ago)
result	success \| log \| rebuild

toolchain	public-0.17.0
target	x86_64-linux-gnu
tgt config	linux_debian_12-clang_18
timestamp	2025-04-17 19:55:40 UTC (01 08:40:56 days ago)
result	success \| log \| rebuild

toolchain	public-0.17.0
target	x86_64-linux-gnu
tgt config	linux_debian_12-clang_18-static_O3
timestamp	2025-04-17 19:55:01 UTC (01 08:41:34 days ago)
result	success \| log \| rebuild

toolchain	public-0.17.0
target	x86_64-apple-darwin22.5.0
tgt config	macos_13-clang_15.0
timestamp	2025-04-17 19:32:04 UTC (01 09:04:32 days ago)
result	success \| log \| rebuild

toolchain	public-0.17.0
target	x86_64-w64-mingw32
tgt config	windows_10-gcc_13.2_mingw_w64-static_O2
timestamp	2025-04-17 18:55:40 UTC (01 09:40:56 days ago)
result	success \| log \| rebuild

toolchain	public-0.17.0
target	x86_64-w64-mingw32
tgt config	windows_10-gcc_13.2_mingw_w64-O2
timestamp	2025-04-17 18:54:32 UTC (01 09:42:03 days ago)
result	success \| log \| rebuild

toolchain	public-0.17.0
target	x86_64-microsoft-win32-msvc14.3
tgt config	windows_10-clang_18_llvm_msvc_17.10
timestamp	2025-04-17 18:52:31 UTC (01 09:44:04 days ago)
result	success \| log \| rebuild

toolchain	public-0.17.0
target	x86_64-microsoft-win32-msvc14.3
tgt config	windows_10-msvc_17.8-static_O2
timestamp	2025-04-17 18:52:28 UTC (01 09:44:08 days ago)
result	success \| log \| rebuild

toolchain	public-0.17.0
target	x86_64-w64-mingw32
tgt config	windows_10-gcc_13.2_mingw_w64
timestamp	2025-04-17 18:50:22 UTC (01 09:46:13 days ago)
result	success \| log \| rebuild

toolchain	public-0.17.0
target	x86_64-microsoft-win32-msvc14.3
tgt config	windows_10-msvc_17.8-O2
timestamp	2025-04-17 18:49:56 UTC (01 09:46:39 days ago)
result	success \| log \| rebuild

toolchain	public-0.17.0
target	x86_64-microsoft-win32-msvc14.3
tgt config	windows_10-clang_18_llvm_msvc_17.10-static_O2
timestamp	2025-04-17 18:49:36 UTC (01 09:46:59 days ago)
result	success \| log \| rebuild

toolchain	public-0.17.0
target	x86_64-microsoft-win32-msvc14.3
tgt config	windows_10-msvc_17.8
timestamp	2025-04-17 18:49:26 UTC (01 09:47:10 days ago)
result	success \| log \| rebuild

toolchain	public-0.17.0
target	x86_64-microsoft-win32-msvc14.3
tgt config	windows_10-clang_17_msvc_msvc_17.10
timestamp	2025-04-17 18:49:14 UTC (01 09:47:22 days ago)
result	success \| log \| rebuild

toolchain	public-0.17.0
target	x86_64-microsoft-win32-msvc14.3
tgt config	windows_10-clang_18_llvm_msvc_17.10-O2
timestamp	2025-04-17 18:48:06 UTC (01 09:48:30 days ago)
result	success \| log \| rebuild

toolchain	public-0.17.0
target	x86_64-linux-gnu
tgt config	linux_debian_12-gcc_14-static_O3
timestamp	2025-04-17 18:45:55 UTC (01 09:50:41 days ago)
result	success \| log \| rebuild

toolchain	public-0.17.0
target	x86_64-linux-gnu
tgt config	linux_debian_12-gcc_14-ndebug_O3
timestamp	2025-04-17 18:44:59 UTC (01 09:51:36 days ago)
result	success \| log \| rebuild

toolchain	public-0.17.0
target	x86_64-linux-gnu
tgt config	linux_debian_12-gcc_12-bindist
timestamp	2025-04-17 18:44:24 UTC (01 09:52:12 days ago)
result	success \| log \| rebuild

toolchain	public-0.17.0
target	x86_64-linux-gnu
tgt config	linux_ubuntu_24.04-gcc_13-bindist
timestamp	2025-04-17 18:44:11 UTC (01 09:52:24 days ago)
result	success \| log \| rebuild

toolchain	public-0.17.0
target	x86_64-linux-gnu
tgt config	linux_debian_12-gcc_14-O3
timestamp	2025-04-17 18:43:57 UTC (01 09:52:38 days ago)
result	success \| log \| rebuild

toolchain	public-0.17.0
target	x86_64-freebsd13.3
tgt config	freebsd_13-clang_17
timestamp	2025-04-17 18:43:37 UTC (01 09:52:58 days ago)
result	success \| log \| rebuild

toolchain	public-0.17.0
target	x86_64-freebsd14.1
tgt config	freebsd_14-clang_18-static_O3
timestamp	2025-04-17 18:43:01 UTC (01 09:53:35 days ago)
result	success \| log \| rebuild

toolchain	public-0.17.0
target	x86_64-linux-gnu
tgt config	linux_debian_12-gcc_14
timestamp	2025-04-17 18:42:48 UTC (01 09:53:48 days ago)
result	success \| log \| rebuild

toolchain	public-0.17.0
target	x86_64-linux-gnu
tgt config	linux_debian_12-clang_17_libc++
timestamp	2025-04-17 18:42:25 UTC (01 09:54:10 days ago)
result	success \| log \| rebuild

toolchain	public-0.17.0
target	x86_64-linux-gnu
tgt config	linux_debian_12-gcc_13.1
timestamp	2025-04-17 18:42:18 UTC (01 09:54:18 days ago)
result	success \| log \| rebuild

toolchain	public-0.17.0
target	x86_64-freebsd14.1
tgt config	freebsd_14-clang_18
timestamp	2025-04-17 18:42:06 UTC (01 09:54:29 days ago)
result	success \| log \| rebuild

toolchain	public-0.17.0
target	x86_64-linux-gnu
tgt config	linux_debian_12-clang_17
timestamp	2025-04-17 18:41:55 UTC (01 09:54:40 days ago)
result	success \| log \| rebuild

toolchain	public-0.17.0
target	x86_64-freebsd14.1
tgt config	freebsd_14-clang_18-O3
timestamp	2025-04-17 18:41:55 UTC (01 09:54:41 days ago)
result	success \| log \| rebuild

toolchain	public-0.17.0
target	x86_64-linux-gnu
tgt config	linux_fedora_40-gcc_14-bindist
timestamp	2025-04-17 18:03:55 UTC (01 10:32:41 days ago)
result	success \| log \| rebuild

toolchain	public-0.17.0
target	aarch64-linux-gnu
tgt config	linux_debian_12-clang_17_libc++
timestamp	2025-04-17 12:12:35 UTC (01 16:24:00 days ago)
result	success \| log \| rebuild

toolchain	public-0.17.0
target	aarch64-linux-gnu
tgt config	linux_debian_12-clang_17
timestamp	2025-04-17 12:11:58 UTC (01 16:24:38 days ago)
result	success \| log \| rebuild

toolchain	public-0.17.0
target	aarch64-linux-gnu
tgt config	linux_debian_12-gcc_13
timestamp	2025-04-17 11:50:12 UTC (01 16:46:23 days ago)
result	success \| log \| rebuild

toolchain	public-0.17.0
target	x86_64-linux-gnu
tgt config	linux_fedora_39-gcc_13-bindist
result	unbuilt

toolchain	public-0.17.0
target	x86_64-apple-darwin23.5.0
tgt config	macos_14-clang_15.0
result	unbuilt

toolchain	public-0.17.0
target	x86_64-apple-darwin23.5.0
tgt config	macos_14-clang_15.0-O3
result	unbuilt

toolchain	public-0.17.0
target	x86_64-apple-darwin23.5.0
tgt config	macos_14-clang_15.0-static_O3
result	unbuilt

target	x86_64-apple-darwin23.5.0
tgt config	macos_14-gcc_14_homebrew
result	excluded (https://github)

target	x86_64-apple-darwin23.5.0
tgt config	macos_14-gcc_14_homebrew-O3
result	excluded (https://github)

target	x86_64-apple-darwin23.5.0
tgt config	macos_14-gcc_14_homebrew-static_O3
result	excluded (https://github)