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

*To*: Sam Owre <owre@xxxxxxxxxxx>*Subject*: Re: [PVS-Help] Very slow proveit/PVS proofs*From*: Ben Hocking <ben.hocking@xxxxxxxxxxxxxxxxxxxxxxx>*Date*: Wed, 19 Nov 2014 09:21:46 +0900*Cc*: pvs-help@xxxxxxxxxxx*In-reply-to*: <C1447E36-1435-4AFD-B88A-2FD2DA810E08@dependablecomputing.com>*List-archive*: <http://mls.csl.sri.com/pipermail/pvs-help>*List-help*: <mailto:pvs-help-request@csl.sri.com?subject=help>*List-id*: PVS-Help <pvs-help.csl.sri.com>*List-post*: <mailto:pvs-help@csl.sri.com>*List-subscribe*: <https://mls.csl.sri.com/cgi-bin/mailman/listinfo/pvs-help>, <mailto:pvs-help-request@csl.sri.com?subject=subscribe>*List-unsubscribe*: <https://mls.csl.sri.com/cgi-bin/mailman/options/pvs-help>, <mailto:pvs-help-request@csl.sri.com?subject=unsubscribe>*References*: <F88D25FC-4E8B-45E6-81AB-07FB2A25A540@dependablecomputing.com> <2D334402-D184-4A32-8DA3-9A31334E5273@dependablecomputing.com> <10459.1416047269@ubi> <53C73402-C56D-4C64-87E9-1C033944DC0A@dependablecomputing.com> <18613B2A-0C1B-409E-BC96-838C4C4A31A9@dependablecomputing.com> <21019.1416277147@ubi> <C6AB3395-9328-4588-8FDE-DF6B71A1C573@dependablecomputing.com> <C1447E36-1435-4AFD-B88A-2FD2DA810E08@dependablecomputing.com>*Sender*: pvs-help-bounces+archive=csl.sri.com@xxxxxxxxxxx

There's one other weird behavior I'm seeing. Somehow I've gotten into a state where I cannot load *any* file into PVS from a particular directory. Whatever file I load, even a blank one, leads to a message similar to the one shown in the screen shot below: That said, I can copy the necessary files into a separate directory (sandbox), including lib_erqmod_lib_smooth_Division, and I am able to prove what I need to prove for this particular case. I've tried deleting pvsbin and lib_erqmod_lib_smooth_Division.prf in case the problem was some old state, but that did not resolve my problem. On Nov 18, 2014, at 11:43 AM, Ben Hocking <ben.hocking@xxxxxxxxxxxxxxxxxxxxxxx> wrote: |

**Follow-Ups**:**Re: [PVS-Help] Very slow proveit/PVS proofs***From:*Ben Hocking

**References**:**[PVS-Help] Very slow proveit/PVS proofs***From:*Ben Hocking

**Re: [PVS-Help] Very slow proveit/PVS proofs***From:*Ben Hocking

**Re: [PVS-Help] Very slow proveit/PVS proofs***From:*Sam Owre

**Re: [PVS-Help] Very slow proveit/PVS proofs***From:*Ben Hocking

**Re: [PVS-Help] Very slow proveit/PVS proofs***From:*Ben Hocking

**Re: [PVS-Help] Very slow proveit/PVS proofs***From:*Sam Owre

**Re: [PVS-Help] Very slow proveit/PVS proofs***From:*Ben Hocking

- Prev by Date:
**Re: [PVS-Help] Very slow proveit/PVS proofs** - Next by Date:
**Re: [PVS-Help] Very slow proveit/PVS proofs** - Previous by thread:
**Re: [PVS-Help] Very slow proveit/PVS proofs** - Next by thread:
**Re: [PVS-Help] Very slow proveit/PVS proofs** - Index(es):