This browser is not able to show SVG: try Firefox, Chrome, Safari, or Opera instead.
goto-diff/ is a tool that offers functionality similar to the diff tool, but for GOTO programs.