Lorenzo Caminiti
|
fa93f96046
|
updated copyright year
|
2017-12-10 16:31:15 -08:00 |
|
Lorenzo Caminiti
|
a748c6142e
|
copied all release/0_5_0 to master
|
2017-09-04 17:43:14 -07:00 |
|
Lorenzo Caminiti
|
914e7bdcec
|
cleaning master to prep for release tags
|
2017-09-04 16:30:13 -07:00 |
|
Lorenzo Caminiti
|
6568f6137e
|
increased copyright yeat to 2017
|
2017-09-01 21:02:28 -07:00 |
|
Lorenzo Caminiti
|
b702d4b13c
|
added NO_EXCEPTS to boost_contract_no feature and built all tests and examples for all compilers
|
2016-09-06 20:31:05 -07:00 |
|
Lorenzo Caminiti
|
9949f0c60b
|
added copyright info to all source files
|
2016-06-11 12:41:57 -07:00 |
|
Lorenzo Caminiti
|
e7a8c6a502
|
removed CONFIG infix for all config macros (to better conform to Boost's naming conventions)
|
2016-02-29 07:15:05 -08:00 |
|
Lorenzo Caminiti
|
1ab47c587c
|
added max_bases test. renamed aux::test to test::aux.
|
2016-01-27 08:10:48 -08:00 |
|
Lorenzo Caminiti
|
5c047bccb2
|
started testing with/without pre/post/inv decl. fixed inv not checked on exit when assertion failure handlers throw. made dtors noexcept(false) for c++11 so assertion failure can throw. fixed has_static_inv to not condier static_inv inherited from base classes.
|
2015-12-02 07:25:31 -08:00 |
|
Lorenzo Caminiti
|
8e9d7474f1
|
added const volatile invariants
|
2015-11-11 07:47:36 -08:00 |
|
Lorenzo Caminiti
|
a88e67c131
|
added deep search of inheritance graph
|
2015-10-29 19:51:05 -07:00 |
|