townforge/contract
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
261 Commits 1 Branch 0 Tags 12 MiB
C++ 99.7%
Eiffel 0.1%
844a40a9b5
Go to file
Lorenzo Caminiti 844a40a9b5 added a few more expected faiulres markups
2017-10-11 10:33:48 -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 removed deletion of move ops because they still don't force compiler error on c++17 when auto c = ... is used (there's no way to force this compiler error on c++17 onward because of strog copy elision on function return values, the lib will still give a run-time error according with ON_MISSING_CHECL_DECL when auto c = ... is incorrectly used instead of check c = ...) 2017-10-06 19:54:23 -07:00
meta updated expected regression failures. made struct err a global type in all tests to workaround msvc10 bug for which local structs are not visible within lambdas. 2017-10-09 20:05:24 -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 updated expected regression failures. made struct err a global type in all tests to workaround msvc10 bug for which local structs are not visible within lambdas. 2017-10-09 20:05:24 -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
BUGS.xlsx added a few more expected faiulres markups 2017-10-11 10:33:48 -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 updated expected regression failures. made struct err a global type in all tests to workaround msvc10 bug for which local structs are not visible within lambdas. 2017-10-09 20:05:24 -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.