libboost-contract/1.85.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.85.0
license	BSL-1.0Boost Software License 1.0
repository	https://pkg.cppget.org/1/stable
download	libboost-contract-1.85.0.tar.gz
sha256	05ea2c719a45f281166e2979eba8731f95f0a27af14ad288ba3988be111490e9

project	boost
url	github.com/boostorg/contract
doc-url	www.boost.org/doc/libs/1_85_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.85.0
	libboost-assert == 1.85.0
	libboost-config == 1.85.0
	libboost-core == 1.85.0
	libboost-exception == 1.85.0
	libboost-function == 1.85.0
	libboost-function-types == 1.85.0
	libboost-mpl == 1.85.0
	libboost-optional == 1.85.0
	libboost-preprocessor == 1.85.0
	libboost-smart-ptr == 1.85.0
	libboost-static-assert == 1.85.0
	libboost-thread == 1.85.0
	libboost-type-traits == 1.85.0
	libboost-typeof == 1.85.0
	libboost-utility == 1.85.0

Reviews

fail	0
pass	1

Builds

toolchain	public-0.18.1
target	x86_64-apple-darwin23.5.0
tgt config	macos_14-clang_15.0-static_O3
timestamp	2026-04-16 12:30:40 UTC (06 19:12:24 days ago)
result	success \| log \| rebuild

toolchain	public-0.18.1
target	x86_64-apple-darwin23.5.0
tgt config	macos_14-clang_15.0-O3
timestamp	2026-04-16 12:26:05 UTC (06 19:16:59 days ago)
result	success \| log \| rebuild

toolchain	public-0.18.1
target	x86_64-apple-darwin23.5.0
tgt config	macos_14-clang_15.0
timestamp	2026-04-16 12:21:26 UTC (06 19:21:38 days ago)
result	success \| log \| rebuild

toolchain	public-0.18.1
target	x86_64-linux-gnu
tgt config	linux_fedora_42-gcc_15-bindist
timestamp	2026-04-16 06:43:20 UTC (07 00:59:44 days ago)
result	warning (update) \| log \| rebuild

toolchain	public-0.18.1
target	x86_64-w64-mingw32
tgt config	windows_10-gcc_14.2_mingw_w64-static_O2
timestamp	2026-04-16 06:42:09 UTC (07 01:00:55 days ago)
result	success \| log \| rebuild

toolchain	public-0.18.1
target	x86_64-microsoft-win32-msvc14.5
tgt config	windows_10-msvc_18.3-static_O2
timestamp	2026-04-16 06:41:41 UTC (07 01:01:23 days ago)
result	success \| log \| rebuild

toolchain	public-0.18.1
target	x86_64-microsoft-win32-msvc14.5
tgt config	windows_10-clang_21_msvc_18.3-static_O2
timestamp	2026-04-16 06:41:08 UTC (07 01:01:56 days ago)
result	warning (update) \| warning (test-installed) \| log \| rebuild

toolchain	public-0.18.1
target	x86_64-w64-mingw32
tgt config	windows_10-gcc_14.2_mingw_w64-O2
timestamp	2026-04-16 06:40:44 UTC (07 01:02:20 days ago)
result	success \| log \| rebuild

toolchain	public-0.18.1
target	x86_64-microsoft-win32-msvc14.5
tgt config	windows_10-msvc_18.3-O2
timestamp	2026-04-16 06:40:35 UTC (07 01:02:29 days ago)
result	success \| log \| rebuild

toolchain	public-0.18.1
target	x86_64-w64-mingw32
tgt config	windows_10-gcc_14.2_mingw_w64
timestamp	2026-04-16 06:39:50 UTC (07 01:03:14 days ago)
result	success \| log \| rebuild

toolchain	public-0.18.1
target	x86_64-microsoft-win32-msvc14.5
tgt config	windows_10-clang_21_msvc_18.3-O2
timestamp	2026-04-16 06:39:18 UTC (07 01:03:46 days ago)
result	warning (update) \| warning (test-installed) \| log \| rebuild

toolchain	public-0.18.1
target	x86_64-microsoft-win32-msvc14.5
tgt config	windows_10-msvc_18.3
timestamp	2026-04-16 06:39:17 UTC (07 01:03:47 days ago)
result	success \| log \| rebuild

toolchain	public-0.18.1
target	x86_64-linux-gnu
tgt config	linux_fedora_43-gcc_15-bindist
timestamp	2026-04-16 06:39:01 UTC (07 01:04:03 days ago)
result	warning (update) \| log \| rebuild

toolchain	public-0.18.1
target	x86_64-linux-gnu
tgt config	linux_debian_13-clang_22_libc++-static_O3
timestamp	2026-04-16 06:38:46 UTC (07 01:04:18 days ago)
result	warning (update) \| warning (test-installed) \| log \| rebuild

toolchain	public-0.18.1
target	x86_64-microsoft-win32-msvc14.5
tgt config	windows_10-clang_21_msvc_18.3
timestamp	2026-04-16 06:38:27 UTC (07 01:04:36 days ago)
result	warning (update) \| warning (test-installed) \| log \| rebuild

toolchain	public-0.18.1
target	x86_64-linux-gnu
tgt config	linux_debian_13-clang_21_libc++-static_O3
timestamp	2026-04-16 06:38:18 UTC (07 01:04:46 days ago)
result	warning (update) \| warning (test-installed) \| log \| rebuild

toolchain	public-0.18.1
target	x86_64-microsoft-win32-msvc14.3
tgt config	windows_10-msvc_17.14
timestamp	2026-04-16 06:37:52 UTC (07 01:05:12 days ago)
result	success \| log \| rebuild

toolchain	public-0.18.1
target	x86_64-linux-gnu
tgt config	linux_debian_13-gcc_16-static_O3
timestamp	2026-04-16 06:37:52 UTC (07 01:05:12 days ago)
result	warning (update) \| warning (test-installed) \| log \| rebuild

toolchain	public-0.18.1
target	x86_64-linux-gnu
tgt config	linux_debian_13-gcc_16-ndebug_O3
timestamp	2026-04-16 06:37:40 UTC (07 01:05:23 days ago)
result	warning (update) \| warning (test-installed) \| log \| rebuild

toolchain	public-0.18.1
target	x86_64-apple-darwin22.5.0
tgt config	macos_13-clang_15.0
timestamp	2026-04-16 06:37:33 UTC (07 01:05:31 days ago)
result	success \| log \| rebuild

toolchain	public-0.18.1
target	x86_64-linux-gnu
tgt config	linux_debian_13-gcc_15-static_O3
timestamp	2026-04-16 06:37:16 UTC (07 01:05:48 days ago)
result	warning (update) \| warning (test-installed) \| log \| rebuild

toolchain	public-0.18.1
target	x86_64-linux-gnu
tgt config	linux_debian_13-clang_22_libc++-O3
timestamp	2026-04-16 06:37:09 UTC (07 01:05:55 days ago)
result	warning (update) \| warning (test-installed) \| log \| rebuild

toolchain	public-0.18.1
target	x86_64-linux-gnu
tgt config	linux_debian_13-clang_21_libc++-O3
timestamp	2026-04-16 06:37:06 UTC (07 01:05:58 days ago)
result	warning (update) \| warning (test-installed) \| log \| rebuild

toolchain	public-0.18.1
target	x86_64-linux-gnu
tgt config	linux_debian_13-clang_22_libc++
timestamp	2026-04-16 06:36:22 UTC (07 01:06:42 days ago)
result	warning (update) \| warning (test-installed) \| log \| rebuild

toolchain	public-0.18.1
target	x86_64-linux-gnu
tgt config	linux_debian_13-gcc_15-ndebug_O3
timestamp	2026-04-16 06:36:21 UTC (07 01:06:43 days ago)
result	warning (update) \| warning (test-installed) \| log \| rebuild

toolchain	public-0.18.1
target	x86_64-linux-gnu
tgt config	linux_debian_13-clang_21_libc++
timestamp	2026-04-16 06:36:19 UTC (07 01:06:45 days ago)
result	warning (update) \| warning (test-installed) \| log \| rebuild

toolchain	public-0.18.1
target	x86_64-linux-gnu
tgt config	linux_debian_13-clang_22-static_O3
timestamp	2026-04-16 06:36:09 UTC (07 01:06:55 days ago)
result	warning (update) \| warning (test-installed) \| log \| rebuild

toolchain	public-0.18.1
target	x86_64-linux-gnu
tgt config	linux_debian_13-gcc_16-O3
timestamp	2026-04-16 06:35:47 UTC (07 01:07:17 days ago)
result	warning (update) \| warning (test-installed) \| log \| rebuild

toolchain	public-0.18.1
target	x86_64-linux-gnu
tgt config	linux_ubuntu_24.04-gcc_13-bindist
timestamp	2026-04-16 06:35:42 UTC (07 01:07:22 days ago)
result	success \| log \| rebuild

toolchain	public-0.18.1
target	x86_64-linux-gnu
tgt config	linux_debian_13-clang_21-static_O3
timestamp	2026-04-16 06:35:34 UTC (07 01:07:30 days ago)
result	warning (update) \| warning (test-installed) \| log \| rebuild

toolchain	public-0.18.1
target	x86_64-linux-gnu
tgt config	linux_debian_13-gcc_16
timestamp	2026-04-16 06:35:04 UTC (07 01:08:00 days ago)
result	warning (update) \| warning (test-installed) \| log \| rebuild

toolchain	public-0.18.1
target	x86_64-linux-gnu
tgt config	linux_debian_13-gcc_15
timestamp	2026-04-16 06:34:50 UTC (07 01:08:14 days ago)
result	warning (update) \| warning (test-installed) \| log \| rebuild

toolchain	public-0.18.1
target	x86_64-linux-gnu
tgt config	linux_debian_13-gcc_15-O3
timestamp	2026-04-16 06:34:44 UTC (07 01:08:20 days ago)
result	warning (update) \| warning (test-installed) \| log \| rebuild

toolchain	public-0.18.1
target	x86_64-linux-gnu
tgt config	linux_debian_13-gcc_14-bindist
timestamp	2026-04-16 06:34:27 UTC (07 01:08:37 days ago)
result	success \| log \| rebuild

toolchain	public-0.18.1
target	x86_64-linux-gnu
tgt config	linux_debian_13-clang_22-O3
timestamp	2026-04-16 06:34:23 UTC (07 01:08:41 days ago)
result	warning (update) \| warning (test-installed) \| log \| rebuild

toolchain	public-0.18.1
target	x86_64-linux-gnu
tgt config	linux_debian_13-clang_21-O3
timestamp	2026-04-16 06:34:19 UTC (07 01:08:45 days ago)
result	warning (update) \| warning (test-installed) \| log \| rebuild

toolchain	public-0.18.1
target	x86_64-linux-gnu
tgt config	linux_debian_13-clang_22
timestamp	2026-04-16 06:33:45 UTC (07 01:09:19 days ago)
result	warning (update) \| warning (test-installed) \| log \| rebuild

toolchain	public-0.18.1
target	x86_64-linux-gnu
tgt config	linux_debian_13-clang_21
timestamp	2026-04-16 06:33:39 UTC (07 01:09:24 days ago)
result	warning (update) \| warning (test-installed) \| log \| rebuild

toolchain	public-0.18.1
target	x86_64-freebsd15.0
tgt config	freebsd_15-clang_19-static_O3
timestamp	2026-04-16 06:33:36 UTC (07 01:09:28 days ago)
result	success \| log \| rebuild

toolchain	public-0.18.1
target	x86_64-linux-gnu
tgt config	linux_debian_12-gcc_14-O3
timestamp	2026-04-16 06:33:17 UTC (07 01:09:47 days ago)
result	success \| log \| rebuild

toolchain	public-0.18.1
target	x86_64-linux-gnu
tgt config	linux_debian_13-clang_20
timestamp	2026-04-16 06:33:07 UTC (07 01:09:57 days ago)
result	warning (update) \| warning (test-installed) \| log \| rebuild

toolchain	public-0.18.1
target	x86_64-linux-gnu
tgt config	linux_debian_12-gcc_14
timestamp	2026-04-16 06:32:12 UTC (07 01:10:52 days ago)
result	success \| log \| rebuild

toolchain	public-0.18.1
target	x86_64-freebsd15.0
tgt config	freebsd_15-clang_19-O3
timestamp	2026-04-16 06:32:10 UTC (07 01:10:54 days ago)
result	success \| log \| rebuild

toolchain	public-0.18.1
target	x86_64-freebsd15.0
tgt config	freebsd_15-clang_19
timestamp	2026-04-16 06:31:35 UTC (07 01:11:29 days ago)
result	success \| log \| rebuild

toolchain	public-0.18.1
target	x86_64-freebsd14.1
tgt config	freebsd_14-clang_18
timestamp	2026-04-16 06:31:23 UTC (07 01:11:41 days ago)
result	success \| log \| rebuild

toolchain	public-0.18.1
target	aarch64-linux-gnu
tgt config	linux_debian_12-clang_18_libc++-static_O3
timestamp	2026-04-16 05:55:02 UTC (07 01:48:02 days ago)
result	success \| log \| rebuild

toolchain	public-0.18.1
target	aarch64-linux-gnu
tgt config	linux_debian_12-clang_18_libc++-O3
timestamp	2026-04-16 05:54:18 UTC (07 01:48:46 days ago)
result	success \| log \| rebuild

toolchain	public-0.18.1
target	aarch64-linux-gnu
tgt config	linux_debian_12-clang_18_libc++
timestamp	2026-04-16 05:52:27 UTC (07 01:50:37 days ago)
result	success \| log \| rebuild

toolchain	public-0.18.1
target	aarch64-linux-gnu
tgt config	linux_debian_12-clang_18-static_O3
timestamp	2026-04-16 05:51:47 UTC (07 01:51:17 days ago)
result	success \| log \| rebuild

toolchain	public-0.18.1
target	aarch64-linux-gnu
tgt config	linux_debian_12-clang_18-O3
timestamp	2026-04-16 05:49:40 UTC (07 01:53:24 days ago)
result	success \| log \| rebuild

toolchain	public-0.18.1
target	aarch64-linux-gnu
tgt config	linux_debian_12-clang_18
timestamp	2026-04-16 05:49:25 UTC (07 01:53:39 days ago)
result	success \| log \| rebuild

toolchain	public-0.18.1
target	aarch64-linux-gnu
tgt config	linux_debian_12-gcc_14-ndebug_O3
timestamp	2026-04-16 03:41:50 UTC (07 04:01:14 days ago)
result	success \| log \| rebuild

toolchain	public-0.18.1
target	aarch64-linux-gnu
tgt config	linux_debian_12-gcc_14-static_O3
timestamp	2026-04-16 03:41:35 UTC (07 04:01:29 days ago)
result	success \| log \| rebuild

toolchain	public-0.18.1
target	aarch64-linux-gnu
tgt config	linux_debian_12-gcc_14-O3
timestamp	2026-04-16 03:39:21 UTC (07 04:03:43 days ago)
result	success \| log \| rebuild

toolchain	public-0.18.1
target	aarch64-linux-gnu
tgt config	linux_debian_12-gcc_14
timestamp	2026-04-16 03:39:08 UTC (07 04:03:55 days ago)
result	success \| log \| rebuild

toolchain	public-0.18.1
target	aarch64-linux-gnu
tgt config	linux_debian_12-gcc_13
timestamp	2026-04-15 17:23:51 UTC (07 14:19:13 days ago)
result	success \| log \| rebuild

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)