townforge/contract
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
348 Commits 1 Branch 0 Tags 12 MiB
C++ 99.7%
Eiffel 0.1%
cc
Go to file
Peter Dimov 3c77288d52 Remove duplicate boost-install line from build/Jamfile
2019-11-10 00:49:32 +02:00
build Remove duplicate boost-install line from build/Jamfile 2019-11-10 00:49:32 +02:00
doc fixed doc typos 2019-10-02 09:38:39 -07:00
example finished to review extra doc section 2019-08-21 21:27:46 -07:00
include/boost fixed doc typos 2019-10-02 09:38:39 -07:00
meta added explicit failure for usban compiler 2019-09-17 19:26:09 -07:00
src added (msvc) auto linking support for static and shared variants of the library 2018-03-25 21:04:37 -07:00
test using std::boolalpha instead of ints to print true and false (to try to fix issue that on some compilers true is printed as 1, but on other compilers is printed as 255) 2019-09-17 14:57:29 -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
.travis.yml reviwed files pulled from addition of Boost.CI 2019-10-01 10:03:27 -07:00
appveyor.yml reviwed files pulled from addition of Boost.CI 2019-10-01 10:03:27 -07:00
index.html copied all release/0_5_0 to master 2017-09-04 17:43:14 -07:00
Jamfile.v2 reviwed files pulled from addition of Boost.CI 2019-10-01 10:03:27 -07:00
LICENSE_1_0.txt reviwed files pulled from addition of Boost.CI 2019-10-01 10:02:50 -07:00
README.md reviwed files pulled from addition of Boost.CI 2019-10-01 10:03:27 -07: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.

Properties

  • C++11 (C++03 possible but not recommended without lambda functions and variadic macros, see documentation for more information).
  • Shared Library / DLL with BOOST_CONTRACT_DYN_LINK (static library with BOOST_CONTRACT_STATIC_LINK, header-only also possible but not recommended, see BOOST_CONTRACT_HEADER_ONLY documentation for more information).

Build Status

Branch Travis Appveyor Coverity Scan codecov.io Deps Docs Tests
master Build Status Build status Coverity Scan Build Status codecov Deps Documentation Enter the Matrix
develop Build Status Build status Coverity Scan Build Status codecov Deps Documentation Enter the Matrix

Directories

Name Purpose
build Build
doc Documentation
example Examples
include Header code
meta Integration with Boost
src Source code
test Unit tests

More Information

  • Ask questions.
  • Report bugs: Be sure to mention Boost version, platform and compiler you are using. A small compilable code sample to reproduce the problem is always good as well.
  • Submit your patches as pull requests against develop branch. Note that by submitting patches you agree to license your modifications under the Boost Software License, Version 1.0.
  • Discussions about the library are held on the Boost developers mailing list. Be sure to read the discussion policy before posting and add the [contract] text at the beginning of the subject line.