9 commits

Author	SHA1	Message	Date
John Wiegley	ee641f353c	Resolve some issues with proof builds	2012-04-15 01:17:01 -05:00
John Wiegley	22505d9527	Always call TRACE_CTOR at the end of constructors	2012-03-20 02:10:40 -05:00
John Wiegley	f9088f8836	Added --verify-memory and missing TRACE_[CD]TOR calls	2012-03-18 01:01:30 -05:00
John Wiegley	e2afc783db	Increased file copyrights to 2012	2012-02-29 22:32:23 -06:00
John Wiegley	ab416f759f	Updated copyrights to 2003-2010	2010-03-05 22:14:10 -05:00
John Wiegley	acb24d6d22	Added several more missing virtual keywords	2009-11-21 07:10:57 -05:00
John Wiegley	2986bc779e	Stylistic change: assert(0) -> assert(false)	2009-11-13 01:48:32 -05:00
John Wiegley	a8bc4728fe	Restore the Doxygen documentation build	2009-11-11 18:02:12 -05:00
John Wiegley	7411c74d6d	Redesigned the draft_t class	2009-11-09 02:06:08 -05:00

Renamed from src/derive.h (Browse further)