Re: [abc-users] Relational aspects as tracematches

From: Eric Bodden <>
Date: Wed, 27 Feb 2008 11:49:25 -0500

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

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


On 27/02/2008, Alan Teoh <> 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
Received on Wed Feb 27 2008 - 16:49:28 GMT

This archive was generated by hypermail 2.2.0 : Thu Feb 28 2008 - 03:40:19 GMT