11 Commits

Author	SHA1	Message	Date
Zachary Snow	b81341c0ac	support for casex and casez, and their conversions	2019-02-23 15:10:25 -05:00
Zachary Snow	546657d2c3	added (very hacky) PackedArrayFlatten conversion; convert logics in generate	2019-02-21 20:12:34 -05:00
Zachary Snow	2ee5b6e039	suport for in module instantiations	2019-02-20 15:22:26 -05:00
Zachary Snow	5fae85e6cd	very preliminary support for typedefs	2019-02-18 03:59:17 -05:00
Zachary Snow	659461b8d2	always construct conversion; more modular conversion approach	2019-02-18 01:38:16 -05:00
Zachary Snow	d47c5493a3	added logic to module items; toying with initial Conversion	2019-02-17 23:39:01 -05:00
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