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
313 Commits 7 Branches 54 Tags
3b62a2df3c4c8a6f7cfefd7a9b5bfd001db979aa
Go to file
Clone
Open with VS Code Open with VSCodium Open with Intellij IDEA
Download ZIP Download TAR.GZ Download BUNDLE
Lorenzo Caminiti 3b62a2df3c fixed a bjam unescaped charcter warning (fixes github issue #11)
2019-01-06 07:48:18 -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
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
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.

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%