Replace custom priorityq with std::priority_queue#132

Open

jburgess777 wants to merge 2 commits intoYosysHQ:masterfrom jburgess777:replace-priorityq-with-priority_queue

+9-68

Commits on Oct 28, 2018

Use std::priority_queue instead of custom variant
jburgess777
committed

Commits on Oct 29, 2018

Make use of emplace when pushing to frontierq
jburgess777
committed