Skip to content
This is the first published version of CodeRed. It contains the features described in the first version of my (Kai Sellschopp) PhD Thesis and works for some examples that I tested locally, but review and editing of Thesis and code are still needed.