4 Commits (ec78f3d5a96681ff21ce1a14825006af79b9d75a)

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