10 Commits

Author	SHA1	Message	Date
Tristan Ravitch	3b27ccdf30	Update the semmc submodule	2017-10-10 11:50:57 -07:00
Tristan Ravitch	c0889aa8bb	Enable formula loading in the TH entry point ... Also update the semmc submodule to the required version.	2017-10-09 23:18:33 -07:00
Ben Selfridge	058963f8fe	Changed Expr type to be non-recursive	2017-10-09 11:27:59 -07:00
Tristan Ravitch	c1566e7946	Fix an issue with formula loading ... Also disable formula loading for now because it raises an exception due to some unhandled constructs in the parser.	2017-10-06 22:14:34 -07:00
Tristan Ravitch	95361474ae	Feed semantics to the genExecInstruction calls ... These lists come from semmc and contain the bytestrings of the semantics files for each opcode. NOTE: The lists are currently empty (presumably due to bugs), but the logic for moving data around and setting up a SimpleBuilder instance is at least right.	2017-10-06 16:58:53 -07:00
Tristan Ravitch	42db84f27b	Update submodules	2017-10-06 10:05:43 -07:00
Ben Selfridge	3a49345b15	Added Semantics directory, had forgotten to add it previously	2017-10-04 10:03:29 -07:00
Ben Selfridge	b234b673f9	Added addStmt to PPCGenerator monad	2017-09-29 15:37:41 -07:00
Ben Selfridge	65a7e8c17c	second commit	2017-09-29 09:37:45 -07:00
Ben Selfridge	bf9b320e38	first commit	2017-08-28 15:48:55 -07:00