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

Re: K_conversion

Bart Jacobs wrote:
> Therefore, I am interested to know if other PVS users share
> my (negative) experiences with K_conversions.
> And also whether the developers are willing to remove this
> feature (or at least to make it a non-default option) in a
> next version of PVS.

I have also been bitten by K_conversion in the fashion you describe.
I would certainly welcome making it optional.