39 Commits

Author SHA1 Message Date
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