12 commits

Author	SHA1	Message	Date
Alexis Hildebrandt	1dd9dcaab4	Bump copyright notice to 2015 ... The following script makes it a no-brainer: % NEXT_YEAR=2015; ag -l 'Copyright.*Wiegley' \ | xargs sed -i '' -e "s/\(Copyright.*\)-20[0-9]\{2\}/\1-${NEXT_YEAR}/"	2014-12-27 11:24:55 +01:00
Alexis Hildebrandt	2b9208e850	Bump copyright information to 2014	2014-02-02 12:36:22 +01:00
John Wiegley	0951bcebef	Bump copyright information to 2013	2013-02-18 06:51:21 -06:00
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)