Home Explore Help
Sign In
jonathanvdc
/
modelverse
forked from yentl/modelverse
Watch 1
Star 0
Fork 0
Files
Tree: f9ecb70bdf
Branches Tags

Commit History

Author SHA1 Message Date
  jonathanvdc 9bb45df0f6 Fix bug in the dominator tree construction algorithm 8 years ago
  jonathanvdc 08e6a3ab2c Support testing for instruction dominance 8 years ago
  jonathanvdc 247ae19d89 Create a module that computes dominator trees for CFGs 8 years ago