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
299 Commits 7 Branches 54 Tags
b26b66b3dcf2393f68053cabc8f2e9a4abdfd105
Go to file
Clone
Open with VS Code Open with VSCodium Open with Intellij IDEA
Download ZIP Download TAR.GZ Download BUNDLE
Lorenzo Caminiti b26b66b3dc 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
build
fixed relevant warnings from boost inspect program
2018-01-11 15:30:29 -08:00
doc
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
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
fixed relevant warnings from boost inspect program
2018-01-11 15:30:29 -08:00
meta
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
src
updated copyright year
2017-12-10 16:31:15 -08:00
test
added copyright to explicit failure markup files and fixed test to not fail even when msvc defines min max macros
2018-01-12 17:57:08 -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%