4 Commits (c4dcb42078abe24f1110bdc00e633c257f9c6096)

Author	SHA1	Message	Date
Wojciech Tyczynski	5abdc2e944	Updage auto-generated files	2016-01-01 11:47:29 +01:00
Daniel Smith	56cae7c719	re-run set-gen	2015-12-02 14:14:50 -08:00
Daniel Smith	ad925dd2e8	Add verification to code gen	2015-12-02 14:14:49 -08:00
Daniel Smith	241551e36e	set-gen example	2015-11-03 15:14:51 -08:00