Tool for exploring CHERI and BERI streamtraces. - View it on GitHub