you mean the voice processing was automated via midi?
you know, it is no problem to make such vocal effects using vst... i recently discovered how it works.
what i use is a reverse reverb, delay, filters and distortion so i dunno if this is a vocoder..
if it is one, it needs to have those effects i think.
but i have no clue anyway
just want to know what they used, dunno why, maybe some gearslut knows..