Code

Add Kahn's algorithm to graph.h#1089

Code

Merged

kroening merged 1 commit intodiffblue:masterdiffblue/cbmc:masterfrom

mgudemann:feature/graph_topological_sortmgudemann/cbmc:feature/graph_topological_sortCopy head branch name to clipboard

Jul 15, 2017

Commits

Commits on Jul 5, 2017

• Add Kahn's algorithm to graph.h

  

  Matthias Güdemann

  committed
  de657ed

  Copy full SHA for de657ed