boost/contract

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

Go to file

Lorenzo Caminiti 727bb2fa26 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

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

removed a couple of expected failures on buggy lambda impl to see if cxx11_lambda bjam requirement recently added to tests will skip these tests in the first place (if not, i will reintroduce these expected faiulres)

2017-11-02 08:36:53 -07: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

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

.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

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

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.