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
273 Commits 7 Branches 54 Tags
24e057e8a0623dd3fec734a26d6f2f7fa25ebfeb
Go to file
Clone
Open with VS Code Open with VSCodium Open with Intellij IDEA
Download ZIP Download TAR.GZ Download BUNDLE
Lorenzo Caminiti 24e057e8a0 removed two expected failures that actually pass (the test runs were failing just because they were too old)
2017-11-12 15:37:09 -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
changed doc target from boostdoc to boostrelease
2017-09-25 11:02:11 -07:00
example
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
include/boost
fixed a >> for nested template ending brakets expanded by a macro and not supported by old compilers. marked a few more expected boost regression failures
2017-11-09 18:43:47 -08:00
meta
removed two expected failures that actually pass (the test runs were failing just because they were too old)
2017-11-12 15:37:09 -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
BUGS.pptx
removed two expected failures that actually pass (the test runs were failing just because they were too old)
2017-11-12 15:37:09 -08: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
TODO.txt
removed two expected failures that actually pass (the test runs were failing just because they were too old)
2017-11-12 15:37:09 -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.

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%