Go to file

Lorenzo Caminiti daef70d661 generalized some of expected failures to handle multiple toolsets (assuming this will not make some expected failure pass... i will double check that)		2019-05-31 15:55:34 -07:00
build	fixed a few warnings on most common compilers (msvc, gcc, clang)	2019-01-11 04:50:53 -08:00
doc	fixed a couple of documentation typos	2018-02-09 20:25:26 -08:00
example	reworked a bit the union example	2019-01-07 13:54:44 -08:00
include/boost	fixed a few warnings and expected failures in tests	2019-05-30 21:30:38 -07:00
meta	generalized some of expected failures to handle multiple toolsets (assuming this will not make some expected failure pass... i will double check that)	2019-05-31 15:55:34 -07:00
src	added (msvc) auto linking support for static and shared variants of the library	2018-03-25 21:04:37 -07:00
test	generalized test expected failures to handle both results from develop and master	2019-05-31 15:48:35 -07: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.