7 Commits

Author	SHA1	Message	Date
Tristan Ravitch	78af7939b6	ppc-symbolic: Sketch out terminator handling and interpretation	2018-05-04 17:16:06 -07:00
Tristan Ravitch	df607d4044	ppc-symbolic: Translate macaw statements ... Still need to translate terminal statements (esp. system call and trap)	2018-05-04 16:48:31 -07:00
Tristan Ravitch	6d7bb6f6e4	ppc-symbolic: Fill out the semantics for the arch-specific functions	2018-05-04 15:46:54 -07:00
Tristan Ravitch	6b3bf072cf	ppc-symbolic: Add more descriptive failures	2018-05-04 10:16:46 -07:00
Tristan Ravitch	1c97ca1314	ppc-symbolic: Implement the function evaluators	2018-05-04 10:15:25 -07:00
Tristan Ravitch	05c01beec0	Re-export newSymFuns from the top-level module	2018-05-04 09:32:13 -07:00
Tristan Ravitch	c3ba017fcc	Start macaw-ppc-symbolic	2018-05-03 16:41:33 -07:00