Prototype implementation of slice->AST symbolic expansion mechanism.
authorAndrew Bernat <bernat@brie.cs.wisc.edu>
Thu, 11 Mar 2010 22:29:56 +0000 (16:29 -0600)
committerAndrew Bernat <bernat@brie.cs.wisc.edu>
Thu, 11 Mar 2010 22:29:56 +0000 (16:29 -0600)
commit500df263a274f92de874fba0e80d8b029e579bb2
tree9a8b31a14135186bbb4c7616082889c7964e83ba
parent10cc0ccac053caeae87eb53b5a7f1f08318bb231
Prototype implementation of slice->AST symbolic expansion mechanism.
common/src/Graph.C
symEval/h/slicing.h
symEval/src/SymEval.C
symEval/src/SymEval.h
symEval/src/SymEvalPolicy.C
symEval/src/SymEvalPolicy.h
symEval/src/slicing.C