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

From: Eric Bodden <eric.bodden@mail.mcgill.ca>
Date: Sun Jan 15 2006 - 03:01:58 GMT

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 03:02:10 2006

This message: [ Message body ]
Next message: Ganesh Sittampalam: "[abc] test run results"
Previous message: Ondrej LHOTAK: "[abc] test run results (with re-weaving)"
Next in thread: Pavel Avgustinov: "Re: AW: [abc] Runtime verification, abc docs, benchmarks"
Reply: Pavel Avgustinov: "Re: 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 : Sun Jan 15 2006 - 14:50:09 GMT