James E. King III
9240492490
Update CI and README
...
- Dependencies require C++11 so this library now does as well.
- Fixed and refreshed CI.
- This fixes #30 . (duplicate of issue-36)
- This fixes #32 . (issue-32 requires C++11 due to dependencies)
- This fixes #35 . (issue-35 missing header in test code.
- Fixed deprecated boost/bind header inclusion.
2025-06-01 19:26:54 -04:00
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
