Go to file

Lorenzo Caminiti af2b0ec4be proof reading docs		2017-11-27 08:27:55 -08:00
build	added bjam config requirements on c++11 lambdas, etc. also added a few more expected failures markups	2017-10-30 20:26:41 -07:00
doc	proof reading docs	2017-11-27 08:27:55 -08:00
example	proof reading docs	2017-11-27 08:27:55 -08:00
include/boost	fixed a missing parenthesis in and #if	2017-11-16 07:48:51 -08:00
meta	removed an explicit failure on teek after they fix a problem with that platform	2017-11-20 20:25:01 -08:00
src	replaced boost_contract_link with boost link and boost_contract_header_only. renamed documetation target from doc to boostdoc (boost convention). using BOOST_ASERT instead of c-style assert (boost guideline).	2017-09-24 20:11:50 -07:00
test	marked a few more expected failures. added a missing c++11 requiremens for a test that uses contract_macro (i.e., variadic macros)	2017-11-11 20:19:13 -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	proof reading docs	2017-11-27 08:27:55 -08:00
TODO.txt	proof reading docs	2017-11-27 08:27:55 -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 (terminate, throw, etc.), 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.