boostorg/contract
1
0
Fork 0
mirror of https://github.com/boostorg/contract.git synced 2026-07-21 13:13:32 +00:00
Code Issues Packages Projects Releases Wiki Activity
373 Commits 8 Branches 57 Tags
develop
Commit Graph

373 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
U-CODE1\310206419 58b8b96a2a fixed a bug with old value copies from .old(...) by storing them in a queue instead of a stack (same was already done for old value copies from init code outside .old(...)) 2016-11-26 19:09:03 -08:00
Lorenzo Caminiti e7a64edfb2 added public_function test that fails on current old(...) but to be fixed 2016-10-30 08:53:11 -07:00
Lorenzo Caminiti 73bb28243d x 2016-10-28 11:46:10 -07:00
Lorenzo Caminiti a98c03a189 moved config macros out of all inlined headers that can be compiled as part of contract.cpp 2016-10-11 07:09:47 -07:00
Lorenzo Caminiti 97c31312c0 moved all config macros out of inlined/detail/checking.hpp 2016-10-11 01:39:29 -07: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 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 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 a2ac52ffd7 added check (block invariants) and a few other tests 2016-08-03 06:22:29 -07:00
Lorenzo Caminiti 6adfbf28f1 added note on lib not being in boost release 2016-06-12 12:52:11 -07:00
Lorenzo Caminiti ec1d1dd213 updated website 2016-06-12 11:49:23 -07:00
Lorenzo Caminiti e2cffe0237 website url 2016-06-12 11:39:33 -07:00
Lorenzo Caminiti db7cc3d68a published website 2016-06-12 11:29:34 -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 128a42c004 finished reviewing first draft of reference section 2016-05-30 10:36:52 -07:00
Lorenzo Caminiti 3fef54b33e finished very first draft of reference docs 2016-05-18 19:51:45 -07:00
Lorenzo Caminiti 1aa41fd14e finished example section. recompiled all tests and examples. 2016-05-12 08:22:34 -07:00
Lorenzo Caminiti 0c8a75df83 finished advanced topic section of docs 2016-05-05 16:14:37 -07:00
Lorenzo Caminiti b18ef53e22 starting to review advanced section of docs 2016-04-28 08:15:27 -07:00
U-CODE1\310206419 22347c6a09 changed mod 2016-04-28 08:12:28 -07:00
Lorenzo Caminiti a5c462ccd2 finished updating docs up to tutorial section 2016-04-08 20:16:02 -07:00
Lorenzo Caminiti 02ed8498ab add c++11 move test and recompiled all tests 2016-03-08 07:46:18 -08: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 b21744fbe1 added all copyrights and rebuilt all tests with msvc, gcc, and clang with all contracts on/off 2016-02-20 10:06:57 -08:00
Lorenzo Caminiti b1249bc6bc added copyright and fixed all includes 2016-02-08 22:14:59 -08:00
Lorenzo Caminiti fe3c78ad90 started to compile this lib as dll 2016-01-30 13:09:33 -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 8462c58993 tested that removing all friend relationships does not reduce compilation time at all 2016-01-24 14:51:53 -08:00
Lorenzo Caminiti 035305aff4 tested function overloads and protected bases 2016-01-24 09:19:30 -08:00
Lorenzo Caminiti 50096d396c supporting configurable public function arity using variadic templates when available, or preprocessor metaprogramming otherwise 2016-01-22 08:14:07 -08:00
Lorenzo Caminiti 022e1617b4 removed all possible code when contracts off 2016-01-13 07:46:46 -08:00
Lorenzo Caminiti b23f00d498 disabled more code when contracts are off 2016-01-10 20:49:08 -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 095d72ade4 compiled contracts on/off for all destructor tests 2016-01-05 18:30:20 -08:00
Lorenzo Caminiti c927e7293c added contract on/off to all constructor tests 2016-01-04 07:21:27 -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 ea5c6acd95 checked classes for copyable/non-copyable 2015-12-15 15:24:09 -08:00
Lorenzo Caminiti ec79700b26 added tests for throwing from .old() 2015-12-15 11:51:44 -08:00
Lorenzo Caminiti 07248b63ea finished with all decl_* tests 2015-12-15 10:41:34 -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 af37a98f78 fixed and tested run-time error when missing contract guard 2015-12-03 08:01:00 -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 72eb227bcf added access for public functions and constructors, destructors done next 2015-11-09 07:59:38 -08:00