4 Commits

Author	SHA1	Message	Date
Ethan Atkins	cf745255e8	Apply javafmt in sbt project	2020-01-14 14:38:08 -08:00
Ethan Atkins	ad59e71b1a	Add util headers ... None of the util files had headers.	2019-12-08 10:29:22 -08:00
Eugene Yokota	121972577d	Define T2 as an interface.	2015-12-16 15:54:23 -05:00
Eugene Yokota	200b351552	Adds xsbti.T2.	2015-12-16 15:46:40 -05:00