[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PVS-Help] Using theory interpretations
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.
Thomas Witkowski <firstname.lastname@example.org> wrote:
> 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.