Code

Constify grapht::SCCs and cousins#1546

Code

Merged

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

smowton:smowton/feature/expose_tarjansmowton/cbmc:smowton/feature/expose_tarjanCopy head branch name to clipboard

Nov 1, 2017

Commits

Commits on Oct 31, 2017

• Make generic Tarjan's algorithm publically available

  Show description for c9241cd
  smowton

  committed
  c9241cd

  Copy full SHA for c9241cd