Does Galaxy Mini S5570 support ICS?
As you said, there is no official ICS for Galaxy Mini.

But CyanogenMod 10 and 10.1 work on the Galaxy Mini. I'm using cyanogenmod 10.1 RC5. It's a Jelly Bean ROM, but it works perfectly with my Mini. You can find it on xda-developers.