boost/contract
2
0
Fork 0
mirror of https://github.com/boostorg/contract.git synced 2026-02-02 08:42:15 +00:00
Code Issues Projects Releases Wiki Activity
310 Commits 7 Branches 54 Tags
48badf30c8ca4613d297cb8cd2e1b08aca221436
Go to file
Clone
Open with VS Code Open with VSCodium Open with Intellij IDEA
Download ZIP Download TAR.GZ Download BUNDLE
Lorenzo Caminiti 48badf30c8 fixed specify-auto_..._error tests that are no longer valid on C++17 or later compilers due to guaranteed copy elision (by forcing expected compiler error on C++17 and later compilers)
2019-01-06 05:40:51 -08:00
build
Add boost-install to build/Jamfile
2018-10-06 01:36:11 +03:00
doc
fixed a couple of documentation typos
2018-02-09 20:25:26 -08:00
example
fixed a couple of types in docs, README, an example, library summary, and explicit failures. removed explicit failures due to boost::type_traits now fixed in master.
2018-01-20 10:08:22 -08:00
include/boost
added (msvc) auto linking support for static and shared variants of the library
2018-03-25 21:04:37 -07:00
meta
changed toolset names for a couple of expected failures
2018-02-07 23:00:14 -08:00
src
added (msvc) auto linking support for static and shared variants of the library
2018-03-25 21:04:37 -07:00
test
fixed specify-auto_..._error tests that are no longer valid on C++17 or later compilers due to guaranteed copy elision (by forcing expected compiler error on C++17 and later compilers)
2019-01-06 05:40:51 -08:00
.gitattributes
Add .gitattributes file
2017-09-25 16:58:24 +01:00
.gitignore
removed doc src dir, using boost's instead
2017-09-24 19:57:42 -07:00
index.html
copied all release/0_5_0 to master
2017-09-04 17:43:14 -07:00
README.md
fixed a couple of types in docs, README, an example, library summary, and explicit failures. removed explicit failures due to boost::type_traits now fixed in master.
2018-01-20 10:08:22 -08:00

README.md

Boost.Contract

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.

Reference in New Issue View Git Blame Copy Permalink
Description
Mirrored via gitea-mirror
Readme 13 MiB
Languages
C++ 99.6%
Eiffel 0.1%
CMake 0.1%