[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [PVS-Help] Using theory interpretations

Hi Thomas,

Sorry I didn't respond sooner - I've been working on your bug reports,
and I'm just about to build a new pre-release version that I'll put in
my ftp directory shortly that I believe fixes them all.  I'll let you
know when it's available.

Sam Owre

Thomas Witkowski <s7118188@inf.tu-dresden.de> wrote:

> Hi,
> who of you is using theory interpretations? What are you doing with it? I
> want to make something like a refinement-chain of theories. But either I
> get a bug in PVS or it doesn't work as I've thought about.
> Bye,
> Thomas