This is a supplementary repository for the "Gradient: Gradual Compartmentalization via Object Capabilities" paper, accepted at OOPSLA 2024.
It contains the code of the standard Scala XML library, migrated to the gradual compartmentalization Scala extension proposed in the paper. The README file of Scala XML was moved here.
The report describing how the code was migrated and how it can be verified is located here