10 Commits

Author	SHA1	Message	Date
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	3000dde9c2	built all tests and examples on msvc with all contract_no combinations	2016-12-12 21:07:46 -08:00
Lorenzo Caminiti	9949f0c60b	added copyright info to all source files	2016-06-11 12:41:57 -07: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	1ab47c587c	added max_bases test. renamed aux::test to test::aux.	2016-01-27 08:10:48 -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	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