Just to let you know,
Of course, you would want to use the diminished scale over a diminished chord. However, if you want to be a little daring, you can play it over a dominant seventh chord to go "outside" the progression. It may sound a little off to some people, but it will work. A lot of jazz players do this very frequently.