14 Commits

Author	SHA1	Message	Date
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	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
Lorenzo Caminiti	a79f6d3c13	fixed virtual optional result type and simplified inv failure handlers	2015-11-04 21:20:21 -08:00
Lorenzo Caminiti	9b7d4e5fa0	fixed mixed boost::optional and non result types	2015-11-02 06:54:50 -08:00
Lorenzo Caminiti	a88e67c131	added deep search of inheritance graph	2015-10-29 19:51:05 -07:00
Lorenzo Caminiti	edad097a5d	tested old-of under a few corner cases and renamed oldof.hpp to old.hpp	2015-10-23 19:38:09 -07:00
Lorenzo Caminiti	c594323bef	added .old(...)	2015-10-23 15:46:47 -07:00
Lorenzo Caminiti	7c9db6c58f	renamed ..._member to ..._function, continuing to program more examples	2015-06-09 18:50:31 -07:00