polytracker icon indicating copy to clipboard operation
polytracker copied to clipboard

Published 20 hours ago • verified publisher icon trailofbits

Initial version of section based TDAG output.

Open hbrodin opened this issue 2 years ago • 0 comments

Still very rough and with old/new code mixed. Highlights the main ideas of the section based approach. Test cases for tdag c++ impl won't run due to build problems.

hbrodin avatar Sep 26 '22 11:09 hbrodin