Definitions of the register state, memory state and value type for SymEval semantics...
authorSunny Shah <shah28@wisc.edu>
Fri, 8 Jul 2016 17:29:16 +0000 (12:29 -0500)
committerSunny Shah <shah28@wisc.edu>
Fri, 8 Jul 2016 17:29:16 +0000 (12:29 -0500)
commitcde790e8ffc56cc1ce5f644e794575817e3c36ad
tree496f1c97f54e4bb4fdd34daa84576e7fbc45750e
parent6e09e048f49e101d23e92099b51876a251faa336
Definitions of the register state, memory state and value type for SymEval semantics are now complete.

Also modified the intialization of all 4 required components in SymEval.C to use the new definitions instead of those in BaseSemantics2.h. The final RiscOperators object is thus setup to be usable by Dyninst.
dataflowAPI/rose/semantics/SymEvalSemantics.C
dataflowAPI/rose/semantics/SymEvalSemantics.h
dataflowAPI/src/SymEval.C
dataflowAPI/src/SymbolicExpansion.h