Commit Graph

45 Commits

Author SHA1 Message Date
Lorenzo Caminiti
cb0491858d replaced std::uncaught_exception with boost::contract::detail::uncaught_exception because the std::... one will be removed in C++20 (githug issue #16). removed test/function/except_throw.cpp file that was unused (it was an old version of test/function/throwing_old.cpp that was left in the repository by mistake) 2019-01-06 06:50:11 -08:00
Lorenzo Caminiti
53fefd355a fixed a couple of warnings 2017-12-24 01:26:50 -08:00
Lorenzo Caminiti
fa93f96046 updated copyright year 2017-12-10 16:31:15 -08:00
Lorenzo Caminiti
9fb0d9409a fixed odr errors when compiling header-only in multiple compilation units 2017-12-10 16:13:31 -08:00
Lorenzo Caminiti
d69ce42a32 finished to proof read docs and updated reference section. added initial tests for odr in multiple compilation units (need to rework those). 2017-12-08 20:14:02 -08:00
Lorenzo Caminiti
3f1214f85f updated expected regression failures. made struct err a global type in all tests to workaround msvc10 bug for which local structs are not visible within lambdas. 2017-10-09 20:05:24 -07: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
7943893d38 built all tests with all BOOST_CONTRACT_NO_... configurations on MSVC 2017-03-28 07:55:39 -07:00
Lorenzo Caminiti
7bd3064cce compiling all examples and tests 2017-03-19 22:28:47 -07:00
Lorenzo Caminiti
44cc7a2bc7 renamed some OLD to OLDOF 2017-03-13 22:45:57 -07:00
Lorenzo Caminiti
0611a77f0a added NO_CONDITIONS and using less verbose NO macro combinations in predicates 2017-03-13 22:33:04 -07:00
Lorenzo Caminiti
5260e15e98 resolving todos 2017-03-09 21:28:26 -08:00
Lorenzo Caminiti
2dc0038b14 renamed smoke tests, added extras section to docs 2017-02-18 13:58:45 -08:00
Lorenzo Caminiti
d8afc9bb39 added contract_macro.hpp interface 2017-02-10 21:41:58 -08:00
Lorenzo Caminiti
b5dd8298e9 building all test and example combinations 2016-12-18 03:34:30 -08:00
Lorenzo Caminiti
c5df888fc4 passing all tests with all link combinations shared, static, and header 2016-12-15 02:15:50 -08:00
Lorenzo Caminiti
ca2071b6a3 added test for throwing from pre and post, added .except() to tests from thorowing from old 2016-12-13 20:30:53 -08:00
Lorenzo Caminiti
3000dde9c2 built all tests and examples on msvc with all contract_no combinations 2016-12-12 21:07:46 -08:00
Lorenzo Caminiti
b36dc64d18 resolved a few TODOs, also fixing old for except of public functions virtual calls 2016-09-27 20:54:23 -07:00
Lorenzo Caminiti
ff02b449dd added .except(...), renamed old_ptr_noncopyable to old_ptr_if_copyable, and renamed OLDOF to OLD 2016-08-21 09:54:10 -07:00
Lorenzo Caminiti
9949f0c60b added copyright info to all source files 2016-06-11 12:41:57 -07:00
Lorenzo Caminiti
b70b886140 resolved almost all todos and recompiled examples and tests 2016-06-11 11:24:16 -07:00
Lorenzo Caminiti
21f228d80b resolved most todo and recompiled most examples and tests 2016-06-04 09:41:03 -07:00
Lorenzo Caminiti
3fef54b33e finished very first draft of reference docs 2016-05-18 19:51:45 -07:00
Lorenzo Caminiti
2939478f72 added test for unions 2016-03-06 08:56:42 -08:00
Lorenzo Caminiti
9754d1cf05 renamed aux to detail 2016-03-01 10:00:31 -08: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
63372678f3 compiled all tests with contracts on/off on msvc, gcc, and clang 2016-01-08 05:08:53 -08:00
Lorenzo Caminiti
ff8b35f9f2 started to implement and test contract compilation on/off 2015-12-24 22:32:35 -08:00
Lorenzo Caminiti
d1e1765cdb renamed ..._failed to ..._fail 2015-12-16 21:30:22 -08:00
Lorenzo Caminiti
ec79700b26 added tests for throwing from .old() 2015-12-15 11:51:44 -08:00
Lorenzo Caminiti
ae62d81def renamed some decl_... 2015-12-14 07:59:51 -08:00
Lorenzo Caminiti
f57c437e8b finshed decl... tests 2015-12-13 08:37:33 -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
edad097a5d tested old-of under a few corner cases and renamed oldof.hpp to old.hpp 2015-10-23 19:38:09 -07:00
Lorenzo Caminiti
c594323bef added .old(...) 2015-10-23 15:46:47 -07:00
Lorenzo Caminiti
f0ca795867 replaced free/private/protected_function with just function and started to program n1962 examples 2015-06-11 08:02:46 -07:00
Lorenzo Caminiti
0c90570e6c committing all decl_function stuff, before going back to virtual_ 2015-05-19 08:32:16 -07:00
Lorenzo Caminiti
71ed05596c fixed virtual_ v 2015-05-06 19:05:08 -07:00
Lorenzo Caminiti
2d4cf6bfdf added failure handlers and re-run all tests 2015-04-27 20:54:30 -07:00
Lorenzo Caminiti
3146d3fa3d added oldof test, renamed type to scoped 2015-04-25 22:37:35 -07:00
Lorenzo Caminiti
524d58ac9a compiling all tests after some reorganization 2015-04-25 19:33:48 -07:00