5 Commits

Author	SHA1	Message	Date
Zachary Snow	b0d573c51f	removed BitVec exprs to preserve number formatting	2019-02-17 14:54:12 -05:00
Zachary Snow	6c88994ea9	switch to using stack	2019-02-11 23:48:49 -05:00
Zachary Snow	0f2638075b	updated build procedure	2019-02-08 16:51:32 -05:00
Zachary Snow	8bd58e961f	Basic build setup!	2019-02-08 01:09:33 -05:00
Zachary Snow	b46009af53	Refactor project setup for our purposes	2019-02-08 00:19:39 -05:00