libboost-contract/1.78.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.78.0
license	BSL-1.0Boost Software License 1.0
repository	https://pkg.cppget.org/1/stable
download	libboost-contract-1.78.0.tar.gz
sha256	60c70e2200d97d8899782953ddb1671da74d54832b7e9fd9b999fab468585479

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

Builds

toolchain	public-0.15.0
config	windows_10-clang_13.0_llvm_msvc_16.11-O2 / x86_64-microsoft-win32-msvc14.2
timestamp	2023-01-26 23:32:51 UTC (11:33:48 hours ago)
result	success \| log \| rebuild

toolchain	public-0.15.0
config	windows_10-clang_13.0_llvm_msvc_16.11_lld / x86_64-microsoft-win32-msvc14.2
timestamp	2023-01-26 23:12:21 UTC (11:54:19 hours ago)
result	success \| log \| rebuild

toolchain	public-0.15.0
config	windows_10-clang_13.0_llvm_msvc_16.11 / x86_64-microsoft-win32-msvc14.2
timestamp	2023-01-26 22:45:36 UTC (12:21:04 hours ago)
result	success \| log \| rebuild

toolchain	public-0.15.0
config	windows_10-clang_13.0_llvm_msvc_16.11-static_O2 / x86_64-microsoft-win32-msvc14.2
timestamp	2023-01-26 21:34:22 UTC (13:32:17 hours ago)
result	success \| log \| rebuild

toolchain	public-0.15.0
config	windows_10-clang_14.0_llvm_msvc_17.2-static_O2 / x86_64-microsoft-win32-msvc14.3
timestamp	2023-01-26 17:51:40 UTC (17:14:59 hours ago)
result	success \| log \| rebuild

toolchain	public-0.15.0
config	windows_10-clang_14.0_llvm_msvc_17.2_lld / x86_64-microsoft-win32-msvc14.3
timestamp	2023-01-26 15:31:37 UTC (19:35:03 hours ago)
result	success \| log \| rebuild

toolchain	public-0.15.0
config	windows_10-clang_14.0_llvm_msvc_17.2-O2 / x86_64-microsoft-win32-msvc14.3
timestamp	2023-01-26 15:30:49 UTC (19:35:51 hours ago)
result	success \| log \| rebuild

toolchain	public-0.15.0
config	windows_10-clang_14.0_llvm_msvc_17.2 / x86_64-microsoft-win32-msvc14.3
timestamp	2023-01-26 15:00:04 UTC (20:06:35 hours ago)
result	success \| log \| rebuild

toolchain	public-0.15.0
config	macos_12-clang_13.1-O3 / x86_64-apple-darwin21.6.0
timestamp	2023-01-26 12:33:06 UTC (22:33:33 hours ago)
result	success \| log \| rebuild

toolchain	public-0.15.0
config	macos_12-clang_13.1 / x86_64-apple-darwin21.6.0
timestamp	2023-01-26 12:32:00 UTC (22:34:40 hours ago)
result	success \| log \| rebuild

toolchain	public-0.15.0
config	macos_12-clang_13.1-static_O3 / x86_64-apple-darwin21.6.0
timestamp	2023-01-26 09:31:57 UTC (01 01:34:42 days ago)
result	success \| log \| rebuild

toolchain	public-0.15.0
config	macos_11-clang_13.0 / x86_64-apple-darwin20.5.0
timestamp	2023-01-26 09:00:48 UTC (01 02:05:52 days ago)
result	success \| log \| rebuild

toolchain	public-0.15.0
config	windows_10-gcc_11.2_mingw_w64-O2 / x86_64-w64-mingw32
timestamp	2023-01-26 02:19:49 UTC (01 08:46:50 days ago)
result	success \| log \| rebuild

toolchain	public-0.15.0
config	windows_10-gcc_11.2_mingw_w64-static_O2 / x86_64-w64-mingw32
timestamp	2023-01-26 02:13:56 UTC (01 08:52:44 days ago)
result	success \| log \| rebuild

toolchain	public-0.15.0
config	windows_10-gcc_11.2_mingw_w64 / x86_64-w64-mingw32
timestamp	2023-01-26 01:39:37 UTC (01 09:27:03 days ago)
result	success \| log \| rebuild

toolchain	public-0.15.0
config	windows_10_devmode-msvc_16.11 / x86_64-microsoft-win32-msvc14.2
timestamp	2023-01-25 21:04:28 UTC (01 14:02:12 days ago)
result	success \| log \| rebuild

toolchain	public-0.15.0
config	linux_debian_11-clang_14.0_libc++-O3 / x86_64-linux-gnu
timestamp	2023-01-25 20:47:58 UTC (01 14:18:42 days ago)
result	success \| log \| rebuild

toolchain	public-0.15.0
config	linux_debian_11-clang_14.0_libc++-static_O3 / x86_64-linux-gnu
timestamp	2023-01-25 20:35:10 UTC (01 14:31:30 days ago)
result	success \| log \| rebuild

toolchain	public-0.15.0
config	linux_debian_11-clang_14.0-O3 / x86_64-linux-gnu
timestamp	2023-01-25 20:33:58 UTC (01 14:32:42 days ago)
result	success \| log \| rebuild

toolchain	public-0.15.0
config	linux_debian_11-gcc_12.1-ndebug_O3 / x86_64-linux-gnu
timestamp	2023-01-25 20:30:58 UTC (01 14:35:42 days ago)
result	success \| log \| rebuild

toolchain	public-0.15.0
config	linux_debian_11-clang_14.0_libc++ / x86_64-linux-gnu
timestamp	2023-01-25 20:24:26 UTC (01 14:42:14 days ago)
result	success \| log \| rebuild

toolchain	public-0.15.0
config	linux_debian_11-gcc_12.1-O3 / x86_64-linux-gnu
timestamp	2023-01-25 20:17:00 UTC (01 14:49:40 days ago)
result	success \| log \| rebuild

toolchain	public-0.15.0
config	linux_debian_11-clang_14.0 / x86_64-linux-gnu
timestamp	2023-01-25 20:14:13 UTC (01 14:52:27 days ago)
result	success \| log \| rebuild

toolchain	public-0.15.0
config	linux_debian_11-clang_14.0-static_O3 / x86_64-linux-gnu
timestamp	2023-01-25 20:12:53 UTC (01 14:53:46 days ago)
result	success \| log \| rebuild

toolchain	public-0.15.0
config	linux_debian_11-gcc_12.1 / x86_64-linux-gnu
timestamp	2023-01-25 20:09:35 UTC (01 14:57:04 days ago)
result	success \| log \| rebuild

toolchain	public-0.15.0
config	linux_debian_11-gcc_12.1-static_O3 / x86_64-linux-gnu
timestamp	2023-01-25 19:57:39 UTC (01 15:09:01 days ago)
result	success \| log \| rebuild

toolchain	public-0.15.0
config	windows_10-msvc_17.2-static_O2 / x86_64-microsoft-win32-msvc14.3
timestamp	2023-01-25 19:38:20 UTC (01 15:28:20 days ago)
result	success \| log \| rebuild

toolchain	public-0.15.0
config	windows_10-msvc_17.2 / x86_64-microsoft-win32-msvc14.3
timestamp	2023-01-25 19:32:15 UTC (01 15:34:24 days ago)
result	success \| log \| rebuild

toolchain	public-0.15.0
config	windows_10-msvc_16.11-static_O2 / x86_64-microsoft-win32-msvc14.2
timestamp	2023-01-25 19:28:19 UTC (01 15:38:21 days ago)
result	success \| log \| rebuild

toolchain	public-0.15.0
config	windows_10-msvc_16.11-O2 / x86_64-microsoft-win32-msvc14.2
timestamp	2023-01-25 19:24:21 UTC (01 15:42:19 days ago)
result	success \| log \| rebuild

toolchain	public-0.15.0
config	windows_10-msvc_16.11 / x86_64-microsoft-win32-msvc14.2
timestamp	2023-01-25 19:21:37 UTC (01 15:45:03 days ago)
result	success \| log \| rebuild

toolchain	public-0.15.0
config	windows_10-msvc_17.2-O2 / x86_64-microsoft-win32-msvc14.3
timestamp	2023-01-25 19:13:30 UTC (01 15:53:09 days ago)
result	success \| log \| rebuild

toolchain	public-0.15.0
config	freebsd_13-clang_13.0-O3 / x86_64-freebsd13.1
timestamp	2023-01-25 14:10:19 UTC (01 20:56:21 days ago)
result	success \| log \| rebuild

toolchain	public-0.15.0
config	freebsd_13-clang_13.0-static_O3 / x86_64-freebsd13.1
timestamp	2023-01-25 14:09:08 UTC (01 20:57:31 days ago)
result	success \| log \| rebuild

toolchain	public-0.15.0
config	freebsd_13-clang_13.0 / x86_64-freebsd13.1
timestamp	2023-01-25 14:08:33 UTC (01 20:58:06 days ago)
result	success \| log \| rebuild

toolchain	public-0.15.0
config	linux_debian_11-clang_13.0_libc++ / x86_64-linux-gnu
timestamp	2023-01-25 14:06:26 UTC (01 21:00:13 days ago)
result	success \| log \| rebuild

toolchain	public-0.15.0
config	linux_debian_11-clang_13.0 / x86_64-linux-gnu
timestamp	2023-01-25 14:05:19 UTC (01 21:01:21 days ago)
result	success \| log \| rebuild

toolchain	public-0.15.0
config	linux_debian_11-gcc_11.3 / x86_64-linux-gnu
timestamp	2023-01-25 14:01:11 UTC (01 21:05:29 days ago)
result	success \| log \| rebuild

toolchain	public-0.15.0
config	freebsd_12-clang_10.0 / x86_64-freebsd12.3
timestamp	2023-01-25 13:55:38 UTC (01 21:11:02 days ago)
result	success \| log \| rebuild

config	macos_12-gcc_12.1_homebrew / x86_64-apple-darwin21.6.0
result	excluded (https://github)

config	macos_12-gcc_12.1_homebrew-O3 / x86_64-apple-darwin21.6.0
result	excluded (https://github)

config	macos_12-gcc_12.1_homebrew-static_O3 / x86_64-apple-darwin21.6.0
result	excluded (https://github)