git.dyninst.org Git - dyninst.git/commit

projects / dyninst.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: 201fc5b) | patch

author	karavan <karavan>
	Tue, 23 Jul 1996 20:27:59 +0000 (20:27 +0000)
committer	karavan <karavan>
	Tue, 23 Jul 1996 20:27:59 +0000 (20:27 +0000)
commit	3aac30bd7e0bcc58f4a99cc47f5931a28ce39873
tree	9543704103baeacb8f5b7b22f8c2c38b2c9b528d	tree \| snapshot
parent	201fc5b4bd8f5816a79febca97644c308ad79a39	commit \| diff

second part of two-part commit.

implements new search strategy which retests false nodes under certain
circumstances.

change in handling of high-cost nodes blocking the ready queue.

code cleanup.

Dyninst API