townforge/contract
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
315 Commits 1 Branch 0 Tags 12 MiB
C++ 99.7%
Eiffel 0.1%
da5e3297e5
Go to file
Lorenzo Caminiti da5e3297e5 reworked a bit the union example
2019-01-07 13:54:44 -08:00
build Add boost-install to build/Jamfile 2018-10-06 01:36:11 +03:00
doc fixed a couple of documentation typos 2018-02-09 20:25:26 -08:00
example reworked a bit the union example 2019-01-07 13:54:44 -08:00
include/boost replaced std::uncaught_exception with boost::contract::detail::uncaught_exception because the std::... one will be removed in C++20 (githug issue #16). removed test/function/except_throw.cpp file that was unused (it was an old version of test/function/throwing_old.cpp that was left in the repository by mistake) 2019-01-06 06:50:50 -08:00
meta changed toolset names for a couple of expected failures 2018-02-07 23:00:14 -08:00
src added (msvc) auto linking support for static and shared variants of the library 2018-03-25 21:04:37 -07:00
test fixed a bjam unescaped charcter warning (fixes github issue #11) 2019-01-06 07:48:18 -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
index.html copied all release/0_5_0 to master 2017-09-04 17:43:14 -07:00
README.md fixed a couple of types in docs, README, an example, library summary, and explicit failures. removed explicit failures due to boost::type_traits now fixed in master. 2018-01-20 10:08:22 -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 (e.g., terminate or throw), 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.