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
258 Commits 7 Branches 54 Tags
5c38c159bd0c45f2022198e3eeecd57da0fc3f7b
Go to file
Clone
Open with VS Code Open with VSCodium Open with Intellij IDEA
Download ZIP Download TAR.GZ Download BUNDLE
Lorenzo Caminiti 5c38c159bd added explicit failures
2017-10-06 19:38:10 -07:00
build
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
doc
changed doc target from boostdoc to boostrelease
2017-09-25 11:02:11 -07:00
example
using .md for README. updated jamfile to integrate with boost jamroot
2017-09-24 13:48:45 -07:00
include/boost
possible fix for local struct err not recognized in lambda on msvc 10
2017-09-27 22:01:25 -07:00
meta
added explicit failure and temp doc to track status of regression tests
2017-10-06 19:36:00 -07: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
possible fix for local struct err not recognized in lambda on msvc 10
2017-09-27 22:01:25 -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
using .md for README. updated jamfile to integrate with boost jamroot
2017-09-24 13:48:45 -07:00
REGRESSION.xlsx
added explicit failure and temp doc to track status of regression tests
2017-10-06 19:36:00 -07:00
TODO.txt
fixed extra parenthesis needed for BOOST_STATIC_ASSERT_MSG on some compilers. deleted move ctor and op to see if it fixes tests that expect auto c = ... to fail because contract::check type is not explicitly specified.
2017-09-26 22:58:10 -07:00

README.md

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%