4 Commits (458eb5284abd6933c620ba8ea383032f225e0885)

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