Hi Michael,
Apparently this list did not get through to the ciaopp-users list
since it was over the size limit. I resend it to the ciao-bug list.
German
--
===============================================================
| German Puebla | http://clip.dia.fi.upm.es/~german |
| Facultad de Informatica | Universidad Politecnica de Madrid |
===============================================================
==============================================================================
Message: Address: Action:
help majordomo(a)clip.dia.fi.upm.es Info. on useful commands
subscribe ciaopp-users-request(a)clip.dia.fi.upm.es Subscribe to this list
unsubscribe ciaopp-users-request(a)clip.dia.fi.upm.es Unsubscribe from list
<whatever> ciaopp-users(a)clip.dia.fi.upm.es Send message to list
-----------------------------------------------------------------------------
Archived messages: http://www.clip.dia.fi.upm.es/Mail/ciaopp-users/
-----------------------------------------------------------------------------
Francisco Bueno Carrillo wrote:
> > The only thing that I'm still confused about
> > is all of the different options for analysis / specialisation but I've
> > found a few references to papers that I can check.
>
>Amoss, maybe the current manual page on the subject is of some help:
>most options are now briefly documented. Please, find it enclosed.
>
>Paco
>
>
>
I've found that section of the manual, some of the descriptions are
helpful but there are some missing. For instance, the unfolding rules
for local control don't have any descriptions or even full names to
google for papers describing them. I've moved on to trying to specialise
our target program now which is an interpreter and although ciaopp seems
to unfold some of the predicates as I would expect it leaves others as
residuals. Any arithmetic expression, or control flow dependant on
arthimetic comparisons seems to stay in the residual. For example:
:- entry mem(X,[1,2,3]) : (ground(X)).
mem(X,[X|_]).
mem(X,[_|Y]) :- member(X,Y).
This code specialises to what I would expect, namely three clauses, one
for each success case. If I try a similar code that uses some basic
arithmetic then I don't get the same results :
:- entry loop(1,10).
loop(X,L) :- X>=L.
loop(X,L) :-
X<L,
write(dude),
X2 is X+1,
loop(X2,L).
This code specialises to:
:- entry loop(1,10).
loop(1,10) :-
user:write(dude),
A is 1+1,
user:loop(A,10).
This isn't actually correct as it will write 'dude' once and then fail,
where-as the original will write 'dude' nine times and then succeed. But
also, I would expect the loop to be unfolded to yield something (close to):
loop(1,10) :-
write(dude),
write(dude),
write(dude),
write(dude),
write(dude),
write(dude),
write(dude),
write(dude),
write(dude).
How can I get ciaopp to unfold arithmetic expressions like this? Is it a
different set of menu options to the one that I am using to select a
different type of analysis, or is it a different local-control rule?
Amoss
==============================================================================
Message: Address: Action:
help majordomo(a)clip.dia.fi.upm.es Info. on useful commands
subscribe ciaopp-users-request(a)clip.dia.fi.upm.es Subscribe to this list
unsubscribe ciaopp-users-request(a)clip.dia.fi.upm.es Unsubscribe from list
<whatever> ciaopp-users(a)clip.dia.fi.upm.es Send message to list
-----------------------------------------------------------------------------
Archived messages: http://www.clip.dia.fi.upm.es/Mail/ciaopp-users/
-----------------------------------------------------------------------------
Hi all,
I'm trying to install ciaopp-1.0p914 on our system here. I had a look in
CIAOPPSETTINGS.pl but all of the hardcoded paths seem to be commented
out and replaced with the settings from ciao. I ran 'lpmake install' in
the source directory and it got as far as :
...
*** ----------------------------------------------------------------------
*** installhtmlindex: Install docs in install area html index
*** ----------------------------------------------------------------------
{ERROR (system_extra): In set_perms/2, file 'autofigbyrdbox.jpg' not found}
{ERROR (system_extra): In set_perms/2, file 'autofigxfgraph.jpg' not found}
{ERROR (system_extra): In set_perms/2, file 'autofigxmgraph.jpg' not found}
...
*** ----------------------------------------------------------------------
*** installhtmlindex: Install docs in install area html index
*** ----------------------------------------------------------------------
{ERROR (system_extra): In set_perms/2, file 'autofigbyrdbox.jpg' not found}
{ERROR (system_extra): In set_perms/2, file 'autofigxfgraph.jpg' not found}
{ERROR (system_extra): In set_perms/2, file 'autofigxmgraph.jpg' not found}
...
*** ----------------------------------------------------------------------
*** installreadme: Install readme in install area
*** ----------------------------------------------------------------------
lpmake <- lpmake: Leaving `...f/moss/asap/ciaopp-1.0p914/doc/reference`
lpmake <- lpmake: Leaving `...staff/moss/asap/ciaopp-1.0p914/doc`
*** ----------------------------------------------------------------------
*** installlib: Install ciaopp lib from
/home/project-pool/asap/ciaopp-1.0p914 to
/home/project-pool/asap/local/lib/ciaopp/ciaopp-1.0.
*** ----------------------------------------------------------------------
*** ----------------------------------------------------------------------
*** {ERROR: format/3 -
invalid_arguments(format(...,[126,119,58,32|Creation or update of the
.ciaorc configuration file],[ciaorc]))}
{Program ended with failure}
We're using ciao1.11p300 which is currently installed in
/home/project-pool/asap/local. Any ideas on how I can fix this?
Amoss
==============================================================================
Message: Address: Action:
help majordomo(a)clip.dia.fi.upm.es Info. on useful commands
subscribe ciaopp-users-request(a)clip.dia.fi.upm.es Subscribe to this list
unsubscribe ciaopp-users-request(a)clip.dia.fi.upm.es Unsubscribe from list
<whatever> ciaopp-users(a)clip.dia.fi.upm.es Send message to list
-----------------------------------------------------------------------------
Archived messages: http://www.clip.dia.fi.upm.es/Mail/ciaopp-users/
-----------------------------------------------------------------------------