Re: [abc-users] Relational aspects as tracematches

Hi, Theo. No, not yet. We plan a new release some time soon. This will
contain the extension.

However, you can get the code from our SVN repository:

svn co http://abc.comlab.ox.ac.uk/products/trunk/abc-with-tests

The code is in abc/src/abc/ra.

You can enable the extension using:

java -cp abc-complete.jar abc.main.Main -ext abc.ra

Eric

On 27/02/2008, Alan Teoh <alan.teoh07_at_imperial.ac.uk> wrote:
> Hi,
>
> The latest abc binary release does not contain the extension for
> relational aspects as tracematches does it?
>
> Thanks.
>
>

-- 
Eric Bodden
Sable Research Group
McGill University, Montréal, Canada