Stopped bottoming target registers of add/sub in some situations.
[dyninst.git] / dataflowAPI / rose /
2015-07-21 Xiaozhu MengFix conflicts between caching and stopping slicing
2015-07-13 Xiaozhu MengBSF and BSR instructions can produce bounds for jump...
2014-12-08 Xiaozhu Meng1. Add inc, dec, neg instruction semantics for x86-64
2014-05-17 Xiaozhu MengEnable symbolic evaluation on x86 64-bit binaries
2014-05-17 Xiaozhu MengAdd partial support for x86_64 instruction semantics
2014-01-17 Bill WilliamsWarning cleanup
2013-11-19 Josh StoneLet Dyninst itself be compiled with Clang on Linux
2013-02-26 Zuyu Zhang1) Reverted my fix for ret ROSE representation. Now...
2013-02-23 Zuyu ZhangFixed iterator for block list bug in dataflowAPI and...
2011-07-29 Andrew BernatUpdate ROSE semantics to handle push <segreg> instructions.
2011-06-22 Kevin RoundyMerge branch 'master' of ssh://
2011-05-12 Andrew BernatMerge branch 'master' into NewInstpoint
2011-05-05 Bill WilliamsFull purge of os_solaris defines.
2011-03-16 Madhavi KrishnanUpdate copyright
2011-03-16 Madhavi KrishnanUpdate copyright
2011-02-16 Kevin RoundyFixes build and compiler warnings, and return blocks bug
2011-02-14 Kevin RoundyMerge branch 'Defensive' of ssh://coriander.cs.wisc...
2011-02-14 Kevin RoundyMerge conflicts, warnings, build issues; testsuite...
2010-12-21 Madhavi KrishnanAdding semantics for stbx (ppc32) instruction.
2010-12-20 Andrew BernatPrototype implementation of "unknown" default semantics...
2010-12-16 Ray ChenAdds placeholders for 5 additional PowerPC instructions...
2010-12-10 Andrew BernatMerge branch 'master' into Kevin-Drew. Work in progress...
2010-12-03 Madhavi KrishnanMinor commit
2010-12-01 Bill WilliamsAdd absolute conditionals and blrl to ppc semantics.
2010-07-23 Andrew BernatMerge branch 'master' of
2010-07-23 Andrew BernatMove SymEval to production name of DataflowAPI.