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 |
|
Lorenzo Caminiti
|
438cb53dc9
|
returning null old ptr when old value type is not copy constructible
|
2015-11-06 08:08:16 -08:00 |
|
Lorenzo Caminiti
|
a79f6d3c13
|
fixed virtual optional result type and simplified inv failure handlers
|
2015-11-04 21:20:21 -08:00 |
|