Lorenzo Caminiti
|
2b73d42ee1
|
added comments to docs from all references recentely read (n/p-papers, boost emails, etc.)
|
2017-07-20 08:44:03 -07:00 |
|
Lorenzo Caminiti
|
b68b13eac7
|
compiled all examples and all tests wtih all CONTRACT_NO combinations on all compilers. compiled all examples with all CONTRACT_NO combinations with all linkages (shared, static, and header) on all compilers.
|
2017-04-14 07:59:43 -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
|
9103ddb59a
|
finished reviwing reference section, including call_if
|
2017-03-05 12:20:10 -08:00 |
|
Lorenzo Caminiti
|
35fa1d41b3
|
reviewed reference section (but call_if)
|
2017-03-04 20:51:43 -08:00 |
|
Lorenzo Caminiti
|
344cf50c61
|
working on reference section of the docs
|
2017-03-02 07:49:18 -08:00 |
|
Lorenzo Caminiti
|
6df8cb1d29
|
finished all docs up to reference section
|
2017-02-26 09:23:01 -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
|
e913740550
|
reviewed tutorial section of the docs
|
2017-01-05 22:29:53 -08:00 |
|
Lorenzo Caminiti
|
32fd7ba886
|
reviewing tutorial and added a couple of examples for it
|
2016-12-31 18:58:24 -08:00 |
|
Lorenzo Caminiti
|
6c852f3508
|
updated contract programming overview section of the docs
|
2016-12-29 10:52:52 -08:00 |
|
Lorenzo Caminiti
|
d46970ae38
|
updated getting started docs
|
2016-12-27 09:46:42 -08:00 |
|
Lorenzo Caminiti
|
244fd42ad4
|
all tests pass on msvc,gcc,clang with all boost_contract_no combinations and also all boost_contract_link combinations shared,static,header
|
2016-12-26 23:21:02 -08:00 |
|
Lorenzo Caminiti
|
22dfb16d32
|
made specify copy operations private so using auto instead of check generates compiler error (add tests for that)
|
2016-12-20 06:19:08 -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
|
fdfe16132d
|
fixed a bug on mixed optional result type exposed by the latest version of boost
|
2016-11-27 11:53:37 -08:00 |
|
Lorenzo Caminiti
|
9cb984e40e
|
updated readme with extra url, etc.
|
2016-11-26 20:06:18 -08:00 |
|
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 |
|