boost/contract

mirror of https://github.com/boostorg/contract.git synced 2026-02-02 08:42:15 +00:00

Go to file

Lorenzo Caminiti f607e7a53f 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

fixed relevant warnings from boost inspect program

2018-01-11 15:30:29 -08:00

fixed relevant warnings from boost inspect program

2018-01-11 15:30:29 -08:00

compiled all examples with all combinations. also compiled all tests and examples with c++03

2018-01-09 06:02:00 -08:00

fixed relevant warnings from boost inspect program

2018-01-11 15:30:29 -08:00

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

updated copyright year

2017-12-10 16:31:15 -08:00

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

proof reading docs

2017-11-27 08:27:55 -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 (terminate, throw, etc.), 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.