townforge/contract
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
316 Commits 1 Branch 0 Tags 12 MiB
C++ 99.7%
Eiffel 0.1%
050a2a1e5a
Go to file
Lorenzo Caminiti 050a2a1e5a fixed a few warnings on most common compilers (msvc, gcc, clang)
2019-01-11 04:50:53 -08:00
build fixed a few warnings on most common compilers (msvc, gcc, clang) 2019-01-11 04:50:53 -08: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 fixed a few warnings on most common compilers (msvc, gcc, clang) 2019-01-11 04:50:53 -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 few warnings on most common compilers (msvc, gcc, clang) 2019-01-11 04:50:53 -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.