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..