Hi there,
I'm trying to install the latest of ProofPower 2.8.1a10, but I got some
problems.
The last lines of build.log that I got is:
cat install_holdemo.sh >install_holdemo
chmod a+x install_holdemo
[ -d "/usr/local/pp"/man ] || mkdir "/usr/local/pp"/man
[ -d "/usr/local/pp"/man/man1 ] || m
ZTypesAndTermsSupport
Exception Fail: Fail "Static errors (pass2)" raised abandoning file
imp048.sml
at line 521
+++ Compiled imp048.sml: Failed (Compilation Run Complete) +++
Artur
2008/12/19 Philip Clayton
> Artur Oliveira Gomes wrote:
>
>> Hi there,
>>
>> I'm try
_terminal. Quit.
--
Artur Oliveira Gomes
___
Proofpower mailing list
Proofpower@lemma-one.com
http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
-> int
> > end
> > val it = () : unit
> > +++ Compiled dtd048.sml: OK (Compilation Run Complete) +++
> > Exception Fail * The database name has not been set [save_and_exit.36010]
> *
> > raised
> >
> > :) End of input to use_terminal. Quit.
>
>
--
Artur Oliveira Gomes
___
Proofpower mailing list
Proofpower@lemma-one.com
http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
inues outputing the same things than before. I have compared the
output
before and after the replacement, it is the same. Looks like that the
replaced
file is not even readed by the script, or, the changes are not enough to fix
the problem.
Regards,
Artur Oliveira Gomes
Proofpower/OpenProofPower-2.8.1a10/src'
make: *** [zed_build] Error 2
Then,
ar...@firebird:~/Proofpower/OpenProofPower-2.8.1a10$ cat src/dtd048.log
cat: src/dtd048.log: No such file or directory
--
Artur Oliveira Gomes
___
Proofpower mailing
It ends with:
ar...@firebird:~/Proofpower/OpenProofPower-2.8.1a10$ cat src/dtd048.ldd
cat: src/dtd048.ldd: No such file or directory
2009/1/23 Rob Arthan
> Artur (& Steven),
>
> On 23 Jan 2009, at 17:23, Artur Oliveira Gomes wrote:
>
> Hi there,
>>
>> Build.l
also got Poly/ML installed in somehwere
> other
> than the default location.
>
> Regards,
>
> Rob.
>
>
--
Artur Oliveira Gomes
___
Proofpower mailing list
Proofpower@lemma-one.com
http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
Hi there,
Does somebody knows how to round real numbers
in order to get a Z number using ProofPower?
Regards,
--
Artur Oliveira Gomes
___
Proofpower mailing list
Proofpower@lemma-one.com
http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
%%BH%%BH%%BH%%BH%%BH%
Regards,
--
Artur Oliveira Gomes
___
Proofpower mailing list
Proofpower@lemma-one.com
http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
to work you would need the signature
>of NewState to be the same as for State.
Is there any other solution for my problem?
Thanks,
--
Artur Oliveira Gomes
___
Proofpower mailing list
Proofpower@lemma-one.com
http://lemma-one.com/mailman/li
Thank you, Roger.
Regards,
--
Artur Oliveira Gomes
___
Proofpower mailing list
Proofpower@lemma-one.com
http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
Hi there,
I'm having hard times to achieve some proofs of preciondition
and initialization using ProofPower.
The file attached contains 3 examples that I still can not prove.
If anyone could help me out with those proofs, I will be thankful.
Best,
--
Artur Oliveira Gomes
example
r those cases,
what I choose as witness does not satisfy the predicate.
I sent the file in order to see if someone could find the right
witness for each of the three goals. ;-)
Regards,
--
Artur Oliveira Gomes
___
Proofpower mailing list
Proofpower@lemma
] * raised
Is everything fine?
Artur
2009/3/24 Roger Bishop Jones
> Artur,
>
> On Tuesday 24 March 2009 10:35:51 Artur Oliveira Gomes wrote:
>
> >The problem is: only for those cases,
> >what I choose as witness does not satisfy the predicate.
>
> Well, any sequen
Hi there,
How could I prove that given two real numbers, 20 and 30, that 20 <=40?
Moreover, given three real numbers, 20, 30 and 40,
how could I prove that 30 20..40.
Regards,
--
Artur Oliveira Gomes
___
Proofpower mailing list
Proofpower@le
Hi there
Now I know how to prove it: using z_R_<=_conv.
Thanks anyway,
Artur
2009/3/25 Artur Oliveira Gomes
> Hi there,
>
> How could I prove that given two real numbers, 20 and 30, that 20 <=40?
> Moreover, given three real numbers, 20, 30 and 40,
> how could I
hange the goal to:
%SZT%0.1 %leq%%down%R 0.4 %and% 0.4 %leq%%down%R 1.9%>%
How can I prove it?
Thanks again.
Regards,
--
Artur Oliveira Gomes
___
Proofpower mailing list
Proofpower@lemma-one.com
http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
blem, please ask for
more.
Regards,
--
Artur Oliveira Gomes
___
Proofpower mailing list
Proofpower@lemma-one.com
http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
Thanks for the tips.
Regards,
Artur
-- Forwarded message --
From:
Date: 2009/4/14
Subject: Re: [ProofPower] Error when opening ProofPower
To: Artur Oliveira Gomes
Cc: proofpower@lemma-one.com
> Hi there,
>
> A colleague has installed ProofPower in its computer bu
e rewriting does not occur due to the parenthesis in the LHS.
Does anyone know what should I do to solve this problem?
Cheers,
--
Artur Oliveira Gomes
___
Proofpower mailing list
Proofpower@lemma-one.com
http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
ions of SA etc. that can be
> run?
>
Yes, an example is attached here as follows.
Thanks in advance,
--
Artur Oliveira Gomes
example-09-05-18.doc
Description: MS-Word document
___
Proofpower mailing list
Proofpower@lemma-one.com
http://l
z_E_tac, in the
beginning of the proof.
Could someone guide me through this please?
Cheers,
--
Artur Oliveira Gomes
example-06-05.doc
Description: MS-Word document
___
Proofpower mailing list
Proofpower@lemma-one.com
http://lemma-one.com/mailman/listinfo
Roger,
2009/6/5 Roger Bishop Jones
> On Friday 05 June 2009 08:32:29 Artur Oliveira Gomes wrote:
>
> ...
>
> >Could someone guide me through this please?
>
> The main problem with your proof so far is that
> you have constructed the witness for the existential
> fr
of what I am trying to
do.
Best regards,
--
Artur Oliveira Gomes
exemple-19-08-09.doc
Description: MS-Word document
___
Proofpower mailing list
Proofpower@lemma-one.com
http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
that are not very
clever with linux commands.
It just need to execute: sh install-proofpower-ubuntu.sh
and provide the user password for the SUDO command.
Hope it helps.
Best wishes,
--
Artur Oliveira Gomes
install-proofpower-ubuntu.sh
Description: Bourne shell s
>
> _______
> Proofpower mailing list
> Proofpower@lemma-one.com
> http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
>
--
Artur Oliveira Gomes
___
Proofpower mailing list
Proofpower@lemma-one.com
http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
gt; Proofpower mailing list
> Proofpower@lemma-one.com
> http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
>
>
--
Artur Oliveira Gomes
___
Proofpower mailing list
Proofpower@lemma-one.com
http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
u have any problems with the palette, send us an email. ;)
Cheers,
--
Artur Oliveira Gomes
Professor - Sistemas de Informação
Universidade Federal do Mato Grosso do Sul
On 10 May 2013 08:18, Roger Bishop Jones wrote:
> Further to my last, this is what I did before building on Ubuntu 12.04
>
29 matches
Mail list logo
