summaryrefslogtreecommitdiff
path: root/devel/cherivis-devel/distinfo (follow)
Commit message (Expand)AuthorAgeFilesLines
* Updated CheriVis to new version.David Chisnall2014-01-161-2/+2
* Fix the filenames in distinfo for cherivis-devel.David Chisnall2014-01-161-2/+2
* Add a port for CheriVis, a tool for inspecting CHERI CPU instruction traces.David Chisnall2014-01-151-0/+2