libboost-contract/1.78.0

[full]

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

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