Revert slicing to git-head. Build fixes. Slicing predicate funcs mismatched in git...
authorBill Williams <bill@cs.wisc.edu>
Mon, 19 Apr 2010 22:08:52 +0000 (17:08 -0500)
committerBill Williams <bill@cs.wisc.edu>
Mon, 19 Apr 2010 22:08:52 +0000 (17:08 -0500)
commita67b94c0d8597ccb108b583bbd2651554fda5863
tree4ea8f1ad2c354b400847a861d7b545b3b113fad1
parent325d6721d935645c5e4e207fdbe02bbb1684fa84
Revert slicing to git-head. Build fixes. Slicing predicate funcs mismatched in git-head.
symEval/h/SymEval.h
symEval/h/slicing.h
symEval/src/SymEval.C
symEval/src/SymEvalPolicy.h
symEval/src/slicing.C