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

80 Commits

Author SHA1 Message Date
James E. King III
dc61522241 Add CI framework 
- travis with valgrind, cppcheck, ubsan, codecov, covscan (future)
  - appveyor with MSVC 2010 through 2017, cygwin 32/64, mingw 32/64
  - README, LICENSE, etc.
 2019-06-04 12:13:14 -04:00
Lorenzo Caminiti
3b62a2df3c fixed a bjam unescaped charcter warning (fixes github issue #11) 2019-01-06 07:48:18 -08:00
Lorenzo Caminiti
835e6a28e2 fixed ..._unit tests to not run on non-C++11 compliers 2017-12-18 08:35:08 -08:00
Lorenzo Caminiti
2414063d0f building all configurations 2017-12-18 07:28:12 -08:00
Lorenzo Caminiti
fa93f96046 updated copyright year 2017-12-10 16:31:15 -08:00
Lorenzo Caminiti
9fb0d9409a fixed odr errors when compiling header-only in multiple compilation units 2017-12-10 16:13:31 -08:00
Lorenzo Caminiti
d69ce42a32 finished to proof read docs and updated reference section. added initial tests for odr in multiple compilation units (need to rework those). 2017-12-08 20:14:02 -08:00
Lorenzo Caminiti
87302093e6 marked a few more expected failures. added a missing c++11 requiremens for a test that uses contract_macro (i.e., variadic macros) 2017-11-11 20:19:13 -08:00
Lorenzo Caminiti
313770e25c trying to remove c++11 lambdas expected failure markups because changed jamfile to skip specific tests on compilers that do not support lambdas 2017-10-31 21:37:20 -07: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
cce118dda2 using .md for README. updated jamfile to integrate with boost jamroot 2017-09-24 13:48:45 -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
6568f6137e increased copyright yeat to 2017 2017-09-01 21:02:28 -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
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
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
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
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
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
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
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
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
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
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
63372678f3 compiled all tests with contracts on/off on msvc, gcc, and clang 2016-01-08 05:08:53 -08:00
Lorenzo Caminiti
ff8b35f9f2 started to implement and test contract compilation on/off 2015-12-24 22:32:35 -08:00
Lorenzo Caminiti
ec79700b26 added tests for throwing from .old() 2015-12-15 11:51:44 -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
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