Read-only release history for XS-TCC