boost/contract

mirror of https://github.com/boostorg/contract.git synced 2026-02-02 08:42:15 +00:00

Go to file

Lorenzo Caminiti 11fd99f21c marked a few more expected failures. reverted rethrow_exception workaround for FreeBSD because it only worked for destructor tests anyway...

2017-11-06 21:20:05 -08:00

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

changed doc target from boostdoc to boostrelease

2017-09-25 11:02:11 -07:00

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

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

marked a few more expected failures. reverted rethrow_exception workaround for FreeBSD because it only worked for destructor tests anyway...

2017-11-06 21:20:05 -08:00

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

marked a few more expected failures. reverted rethrow_exception workaround for FreeBSD because it only worked for destructor tests anyway...

2017-11-06 21:20:05 -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

BUGS.xlsx

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

index.html

copied all release/0_5_0 to master

2017-09-04 17:43:14 -07:00

README.md

added a few more expected faiulres markups

2017-10-11 10:34:11 -07:00

REGRESSION.xlsx

attempted to workaround libxxrt bug on freebsd for std::unchaught_exception on re-trhow (not sure if this will work... need to check on boost.contract/develop regression tests...)

2017-11-05 09:25:51 -08:00

TODO.txt

marked a few other explicit regression test failures

2017-11-06 07:42:01 -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.