A web-based visualizer for PlusCal traces
JavaScript HTML CSS
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
bootstrap-3.3.5-dist
.gitignore
index.html
jquery-1.10.2.min.js
lodash.min.js
rsvp.js
vis.css
vis.js