Commit Graph

  • 6c852f3508 updated contract programming overview section of the docs Lorenzo Caminiti 2016-12-29 10:52:52 -08:00
  • d46970ae38 updated getting started docs Lorenzo Caminiti 2016-12-27 09:46:42 -08:00
  • 244fd42ad4 all tests pass on msvc,gcc,clang with all boost_contract_no combinations and also all boost_contract_link combinations shared,static,header Lorenzo Caminiti 2016-12-26 23:21:02 -08:00
  • 22dfb16d32 made specify copy operations private so using auto instead of check generates compiler error (add tests for that) Lorenzo Caminiti 2016-12-20 06:19:08 -08:00
  • b5dd8298e9 building all test and example combinations Lorenzo Caminiti 2016-12-18 03:34:30 -08:00
  • c5df888fc4 passing all tests with all link combinations shared, static, and header Lorenzo Caminiti 2016-12-15 02:15:50 -08:00
  • ca2071b6a3 added test for throwing from pre and post, added .except() to tests from thorowing from old Lorenzo Caminiti 2016-12-13 20:30:53 -08:00
  • 3000dde9c2 built all tests and examples on msvc with all contract_no combinations Lorenzo Caminiti 2016-12-12 21:07:46 -08:00
  • fdfe16132d fixed a bug on mixed optional result type exposed by the latest version of boost Lorenzo Caminiti 2016-11-27 11:53:37 -08:00
  • a4e72b08d1 updated readme link Lorenzo Caminiti 2016-11-26 23:22:34 -08:00
  • 9cb984e40e updated readme with extra url, etc. Lorenzo Caminiti 2016-11-26 20:06:18 -08:00
  • 6dedbd724f reworded readme U-CODE1\310206419 2016-11-26 19:24:43 -08:00
  • 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(...)) U-CODE1\310206419 2016-11-26 19:09:03 -08:00
  • e7a64edfb2 added public_function test that fails on current old(...) but to be fixed Lorenzo Caminiti 2016-10-30 08:53:11 -07:00
  • 73bb28243d x Lorenzo Caminiti 2016-10-28 11:46:10 -07:00
  • a98c03a189 moved config macros out of all inlined headers that can be compiled as part of contract.cpp Lorenzo Caminiti 2016-10-11 07:09:47 -07:00
  • 97c31312c0 moved all config macros out of inlined/detail/checking.hpp Lorenzo Caminiti 2016-10-11 01:39:29 -07:00
  • b36dc64d18 resolved a few TODOs, also fixing old for except of public functions virtual calls Lorenzo Caminiti 2016-09-27 20:54:23 -07:00
  • b702d4b13c added NO_EXCEPTS to boost_contract_no feature and built all tests and examples for all compilers Lorenzo Caminiti 2016-09-06 20:31:05 -07:00
  • ff02b449dd added .except(...), renamed old_ptr_noncopyable to old_ptr_if_copyable, and renamed OLDOF to OLD Lorenzo Caminiti 2016-08-21 09:54:10 -07:00
  • a2ac52ffd7 added check (block invariants) and a few other tests Lorenzo Caminiti 2016-08-03 06:22:29 -07:00
  • 8bcbca07b4 updated private protected docs Lorenzo Caminiti 2016-06-15 08:22:27 -07:00
  • a516342d01 added copyright and readme files to website Lorenzo Caminiti 2016-06-12 15:25:58 -07:00
  • df814a09dd updating website Lorenzo Caminiti 2016-06-12 12:56:26 -07:00
  • e5a29d4c4e updating website Lorenzo Caminiti 2016-06-12 12:55:48 -07:00
  • 6adfbf28f1 added note on lib not being in boost release Lorenzo Caminiti 2016-06-12 12:52:11 -07:00
  • ec1d1dd213 updated website Lorenzo Caminiti 2016-06-12 11:49:23 -07:00
  • 21616a4016 updating website Lorenzo Caminiti 2016-06-12 11:48:04 -07:00
  • 584bbe90fe updating website Lorenzo Caminiti 2016-06-12 11:47:46 -07:00
  • 9f9eeff3f3 updating website Lorenzo Caminiti 2016-06-12 11:46:53 -07:00
  • e2cffe0237 website url Lorenzo Caminiti 2016-06-12 11:39:33 -07:00
  • db7cc3d68a published website Lorenzo Caminiti 2016-06-12 11:29:34 -07:00
  • 5441519660 auto redirect Lorenzo Caminiti 2016-06-12 11:25:02 -07:00
  • 3c15dc4c81 website Lorenzo Caminiti 2016-06-12 11:19:49 -07:00
  • a2cdc7f630 website Lorenzo Caminiti 2016-06-12 10:59:16 -07:00
  • 9949f0c60b added copyright info to all source files Lorenzo Caminiti 2016-06-11 12:41:57 -07:00
  • b70b886140 resolved almost all todos and recompiled examples and tests Lorenzo Caminiti 2016-06-11 11:24:16 -07:00
  • 21f228d80b resolved most todo and recompiled most examples and tests Lorenzo Caminiti 2016-06-04 09:41:03 -07:00
  • 128a42c004 finished reviewing first draft of reference section Lorenzo Caminiti 2016-05-30 10:36:52 -07:00
  • 3fef54b33e finished very first draft of reference docs Lorenzo Caminiti 2016-05-18 19:51:45 -07:00
  • 1aa41fd14e finished example section. recompiled all tests and examples. Lorenzo Caminiti 2016-05-12 08:22:34 -07:00
  • 0c8a75df83 finished advanced topic section of docs Lorenzo Caminiti 2016-05-05 16:14:37 -07:00
  • b18ef53e22 starting to review advanced section of docs Lorenzo Caminiti 2016-04-28 08:15:27 -07:00
  • 22347c6a09 changed mod U-CODE1\310206419 2016-04-28 08:12:28 -07:00
  • a5c462ccd2 finished updating docs up to tutorial section Lorenzo Caminiti 2016-04-08 20:16:02 -07:00
  • 02ed8498ab add c++11 move test and recompiled all tests Lorenzo Caminiti 2016-03-08 07:46:18 -08:00
  • 2939478f72 added test for unions Lorenzo Caminiti 2016-03-06 08:56:42 -08:00
  • 9754d1cf05 renamed aux to detail Lorenzo Caminiti 2016-03-01 10:00:31 -08:00
  • e7a8c6a502 removed CONFIG infix for all config macros (to better conform to Boost's naming conventions) Lorenzo Caminiti 2016-02-29 07:15:05 -08:00
  • b21744fbe1 added all copyrights and rebuilt all tests with msvc, gcc, and clang with all contracts on/off Lorenzo Caminiti 2016-02-20 10:06:57 -08:00
  • b1249bc6bc added copyright and fixed all includes Lorenzo Caminiti 2016-02-08 22:14:59 -08:00
  • fe3c78ad90 started to compile this lib as dll Lorenzo Caminiti 2016-01-30 13:09:33 -08:00
  • 1ab47c587c added max_bases test. renamed aux::test to test::aux. Lorenzo Caminiti 2016-01-27 08:10:48 -08:00
  • 8462c58993 tested that removing all friend relationships does not reduce compilation time at all Lorenzo Caminiti 2016-01-24 14:51:53 -08:00
  • 035305aff4 tested function overloads and protected bases Lorenzo Caminiti 2016-01-24 09:19:30 -08:00
  • 50096d396c supporting configurable public function arity using variadic templates when available, or preprocessor metaprogramming otherwise Lorenzo Caminiti 2016-01-22 08:14:07 -08:00
  • 022e1617b4 removed all possible code when contracts off Lorenzo Caminiti 2016-01-13 07:46:46 -08:00
  • b23f00d498 disabled more code when contracts are off Lorenzo Caminiti 2016-01-10 20:49:08 -08:00
  • 63372678f3 compiled all tests with contracts on/off on msvc, gcc, and clang Lorenzo Caminiti 2016-01-08 05:08:53 -08:00
  • 095d72ade4 compiled contracts on/off for all destructor tests Lorenzo Caminiti 2016-01-05 18:30:20 -08:00
  • c927e7293c added contract on/off to all constructor tests Lorenzo Caminiti 2016-01-04 07:21:27 -08:00
  • ff8b35f9f2 started to implement and test contract compilation on/off Lorenzo Caminiti 2015-12-24 22:32:35 -08:00
  • d1e1765cdb renamed ..._failed to ..._fail Lorenzo Caminiti 2015-12-16 21:30:22 -08:00
  • ea5c6acd95 checked classes for copyable/non-copyable Lorenzo Caminiti 2015-12-15 15:24:09 -08:00
  • ec79700b26 added tests for throwing from .old() Lorenzo Caminiti 2015-12-15 11:51:44 -08:00
  • 07248b63ea finished with all decl_* tests Lorenzo Caminiti 2015-12-15 10:41:34 -08:00
  • ae62d81def renamed some decl_... Lorenzo Caminiti 2015-12-14 07:59:51 -08:00
  • f57c437e8b finshed decl... tests Lorenzo Caminiti 2015-12-13 08:37:33 -08:00
  • af37a98f78 fixed and tested run-time error when missing contract guard Lorenzo Caminiti 2015-12-03 08:01:00 -08:00
  • 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. Lorenzo Caminiti 2015-12-02 07:25:31 -08:00
  • 8e9d7474f1 added const volatile invariants Lorenzo Caminiti 2015-11-11 07:47:36 -08:00
  • 72eb227bcf added access for public functions and constructors, destructors done next Lorenzo Caminiti 2015-11-09 07:59:38 -08:00
  • 438cb53dc9 returning null old ptr when old value type is not copy constructible Lorenzo Caminiti 2015-11-06 08:08:16 -08:00
  • a79f6d3c13 fixed virtual optional result type and simplified inv failure handlers Lorenzo Caminiti 2015-11-04 21:20:21 -08:00
  • 9b7d4e5fa0 fixed mixed boost::optional and non result types Lorenzo Caminiti 2015-11-02 06:54:50 -08:00
  • 60213457ea updated todos Lorenzo Caminiti 2015-10-30 17:04:51 -07:00
  • a88e67c131 added deep search of inheritance graph Lorenzo Caminiti 2015-10-29 19:51:05 -07:00
  • 35d14e5e61 renamed make_old() to null_old() Lorenzo Caminiti 2015-10-25 09:33:05 -07:00
  • edad097a5d tested old-of under a few corner cases and renamed oldof.hpp to old.hpp Lorenzo Caminiti 2015-10-23 19:38:09 -07:00
  • c594323bef added .old(...) Lorenzo Caminiti 2015-10-23 15:46:47 -07:00
  • 7e52eb0a96 reviewed all TODOs Lorenzo Caminiti 2015-07-01 17:00:52 -07:00
  • f42662e44c completed first revised draft of docs Lorenzo Caminiti 2015-06-30 17:56:22 -07:00
  • 2fb2ddc367 started advanced topics section in the docs Lorenzo Caminiti 2015-06-27 08:03:34 -07:00
  • be3a974847 implemented call_if Lorenzo Caminiti 2015-06-13 21:19:20 -07:00
  • f0ca795867 replaced free/private/protected_function with just function and started to program n1962 examples Lorenzo Caminiti 2015-06-11 08:02:46 -07:00
  • 7c9db6c58f renamed ..._member to ..._function, continuing to program more examples Lorenzo Caminiti 2015-06-09 18:50:31 -07:00
  • 0445983d4e finished meyer examples, started mitchell examples Lorenzo Caminiti 2015-06-06 21:17:25 -07:00
  • aac3e56198 added a version of check_guard (but without any thread sync yet) Lorenzo Caminiti 2015-06-05 08:28:41 -07:00
  • d59d75370b finshed a first round of test, starting examples Lorenzo Caminiti 2015-06-04 07:04:12 -07:00
  • 3e1fe20b01 subcontracting with virtual_, override_f, old and result values Lorenzo Caminiti 2015-05-31 10:26:02 -07:00
  • a9eec21db3 added virtual result Lorenzo Caminiti 2015-05-30 11:10:58 -07:00
  • 7bb102aa82 impl virtual_* Lorenzo Caminiti 2015-05-25 15:37:52 -07:00
  • 0c90570e6c committing all decl_function stuff, before going back to virtual_ Lorenzo Caminiti 2015-05-19 08:32:16 -07:00
  • 343b832779 generated doxygen include diagram. started testing feature-by-feature Lorenzo Caminiti 2015-05-14 08:16:40 -07:00
  • effcbf157e started to implement bind for free and member functions, but without subcontracting yet Lorenzo Caminiti 2015-05-10 20:37:01 -07:00
  • 71ed05596c fixed virtual_ v Lorenzo Caminiti 2015-05-06 19:05:08 -07:00
  • 3d79a32068 fixed oldof for virtual calls Lorenzo Caminiti 2015-05-05 08:32:20 -07:00
  • 2d4cf6bfdf added failure handlers and re-run all tests Lorenzo Caminiti 2015-04-27 20:54:30 -07:00
  • 3146d3fa3d added oldof test, renamed type to scoped Lorenzo Caminiti 2015-04-25 22:37:35 -07:00
  • 524d58ac9a compiling all tests after some reorganization Lorenzo Caminiti 2015-04-25 19:33:48 -07:00