[LLVMdev] ACATS

[Andre Tavares]

Hello,

I have written a LLVM pass for strongly typed languages. My pass 
implements the ABCD algorithm. I'm not going to get into what is ABCD, 
since it has been discussed here.

I would like to test it, and on my proposal Duncan Sands told me to use 
Ada ACATS.
Can someone tell me how to use ACATS? I have searched for documentation, 
but found none.


Thanks,

-- 
Andre Tavares
Master Student in Computer Science - UFMG - Brasil
http://dcc.ufmg.br/~andrelct