sp ed0fc6134e removed imagerecordercallback 5 months ago
..
stormpy initial commit 10 months ago