townforge/contract
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
348 Commits 1 Branch 0 Tags 12 MiB
cc
Commit Graph

51 Commits

Author SHA1 Message Date
Lorenzo Caminiti
f3721a747d finished to review extra doc section 2019-08-21 21:27:46 -07:00
Lorenzo Caminiti
0c14650e5e reviewed doc up to extra section. also edited some examples as a result. added if_constexpr example for assertion requirements (templates). 2019-08-18 21:56:02 -07:00
Lorenzo Caminiti
785db8a485 un-done some of the generalizations of the expected failrues beacuse they were too generic and flagged as expected failures also some compilers/platforms that passed. fixed (again) the union example attempting to remove the valgrind warning. 2019-06-04 12:00:18 -07:00
Lorenzo Caminiti
eedf51b2c6 removed linking to boost.system because that library is now header-only. also fixed the union example, reverting back some changes i made recently to fix a valgrind warning... i added a copule of data member initialization that hopefully will take care of the valgrind warning, otherwise that warning should be ignored. 2019-06-03 08:18:26 -07:00
Lorenzo Caminiti
da5e3297e5 reworked a bit the union example 2019-01-07 13:54:44 -08:00
Lorenzo Caminiti
5c10c0dc9d committed a possible fix to the union example to fix a valgrind error, but i did not confirm this actually fixes the problem yet (possible fix for github issue #18) 2019-01-07 08:30:55 -08:00
Lorenzo Caminiti
b26b66b3dc fixed a couple of types in docs, README, an example, library summary, and explicit failures. removed explicit failures due to boost::type_traits now fixed in master. 2018-01-20 10:08:22 -08:00
Lorenzo Caminiti
595dcb4eaa fixed a warning for noop 2017-12-22 17:59:12 -08:00
Lorenzo Caminiti
2ad513c2e7 one last (?) read of the docs 2017-12-10 18:48:50 -08:00
Lorenzo Caminiti
fa93f96046 updated copyright year 2017-12-10 16:31:15 -08:00
Lorenzo Caminiti
8c134f07f0 proof reading reference section 2017-12-02 19:24:54 -08:00
Lorenzo Caminiti
af2b0ec4be proof reading docs 2017-11-27 08:27:55 -08:00
Lorenzo Caminiti
5d4f1b5f30 added bjam config requirements on c++11 lambdas, etc. also added a few more expected failures markups 2017-10-30 20:26:41 -07:00
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
92a7dee264 fixed a couple of warnings, inspecated all other warnings and decided to leave them because they respent no error 2017-09-01 22:48:54 -07:00
Lorenzo Caminiti
6568f6137e increased copyright yeat to 2017 2017-09-01 21:02:28 -07:00
Lorenzo Caminiti
8655f2bc3c added missing copyright statements 2017-09-01 20:50:51 -07:00
Lorenzo Caminiti
d5f6089f70 fixed bjam warnings when generating docs 2017-08-30 07:41:29 -07:00
Lorenzo Caminiti
fe92c54507 renamed guard to check 2017-08-28 18:02:10 -07:00
Lorenzo Caminiti
3610a77e2e reviewing reference section up to contract_macro.hpp 2017-08-19 19:48:51 -07:00
Lorenzo Caminiti
e306fad000 added audit and axiom assertion levels. finished reviewing examples section in docs. 2017-08-12 10:33:59 -07:00
Lorenzo Caminiti
f1d24d648a reviewed docs up to examples section 2017-08-10 17:22:39 -07:00
Lorenzo Caminiti
024b5b9bc5 reviewed docs up to extra section. renamed DOXYGEN macro with BOOST_CONTRACT_DETAIL_DOXYGEN 2017-08-02 22:45:45 -07:00
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
7bd3064cce compiling all examples and tests 2017-03-19 22:28:47 -07:00
Lorenzo Caminiti
5260e15e98 resolving todos 2017-03-09 21:28:26 -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
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
b5dd8298e9 building all test and example combinations 2016-12-18 03:34:30 -08: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
ec1d1dd213 updated website 2016-06-12 11:49:23 -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
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
Lorenzo Caminiti
a5c462ccd2 finished updating docs up to tutorial section 2016-04-08 20:16:02 -07:00
Lorenzo Caminiti
8e9d7474f1 added const volatile invariants 2015-11-11 07:47:36 -08:00
Lorenzo Caminiti
60213457ea updated todos 2015-10-30 17:04:51 -07:00
Lorenzo Caminiti
35d14e5e61 renamed make_old() to null_old() 2015-10-25 09:33:05 -07:00
Lorenzo Caminiti
c594323bef added .old(...) 2015-10-23 15:46:47 -07:00
Lorenzo Caminiti
f42662e44c completed first revised draft of docs 2015-06-30 17:56:22 -07:00