Re: AW: [abc] Runtime verification, abc docs, benchmarks

From: Pavel Avgustinov <pavel.avgustinov@magdalen.oxford.ac.uk>
Date: Sun Jan 15 2006 - 14:41:03 GMT

It's used for -O3.

- P

Eric Bodden wrote:
> Hi.
>
> Another small question about packaging abc:
> The file "javabdd.jar" seems only to be packaged into abc-complete.jar
> at the moment, but not actually to be used (i.e. for
> compilation/linking). So what is it good for? Should we keep it?
>
> Eric
>
>
>
Received on Sun Jan 15 14:41:27 2006

This message: [ Message body ]
Next message: Ganesh Sittampalam: "[abc] test run results"
Previous message: Ondrej LHOTAK: "[abc] test run results (with re-weaving)"
In reply to: Eric Bodden: "AW: [abc] Runtime verification, abc docs, benchmarks"

Contemporary messages sorted: [ By Date ] [ By Thread ] [ By Subject ] [ By Author ] [ By messages with attachments ]

This archive was generated by hypermail 2.1.8 : Mon Jan 16 2006 - 03:20:08 GMT