Asap-users October 2004

asap-users@cliplab.org

2 participants
2 discussions

Slicing
by German Puebla 07 Oct '04

07 Oct '04

Dear Michael, I have added a flag to ciaopp in order to control whether infinite failure should be preserved or not. This way, the results obtained for the example you showed about slicing seem to be as expected. I have added your example to CVS:Benchmarks/Slicing/slicing.pl There is a checkout of the Benchmarks at /home/asapdemo. I send the dialogue with the ciaopp menu. As can be seen, you can run it on clip using the asapdemo user. Please let us know if you have any questions. Best regards, German & The UPMers ---------------------------------------------------------- Ciao-Prolog 1.11 #262: Wed Oct 6 18:12:38 CEST 2004 ciaopp ?- customize_and_exec('/home/asapdemo/Benchmarks/ciaopp/Slicing/slicing.pl'). (Press h for help) Select Menu Level: [naive, expert] (naive) ? e Select Action Group: [analyze, check_assertions, optimize] (analyze) ? o Select Optimize: [none, spec, parallelize] (spec) ? (Press h for help) Select Abs Specialization: [off, mono, poly] (off) ? m Preserve Finite Failure: [off, on] (off) ? on Select Analysis Domain: [none, pd, pdb, def, gr, share, shareson, shfr, shfrson, shfrnv, son, aeq, depth, path, difflsign, fr, frdef, lsign, eterms, ptypes, svterms, terms] (pd) ? eterms Select Local Control: [off, orig, inst, det, det_la, depth, first_sol, first_sol_d, hom_emb, hom_emb_as, hom_emb_local_as, all_sol] (hom_emb_as) ? off Note: Current Saved Menu Configurations: [] Menu Configuration Name: (none) ? {Loading current module from /home/asapdemo/Benchmarks/ciaopp/Slicing/slicing.pl {loaded in 1440.0 msec.} } {Analyzing /home/asapdemo/Benchmarks/ciaopp/Slicing/slicing.pl {preprocessed for plai in 10.0 msec.} {analyzed by plai using eterms in 30.0 msec.} } {Transforming /home/asapdemo/Benchmarks/ciaopp/Slicing/slicing.pl } {Analyzing /home/asapdemo/Benchmarks/ciaopp/Slicing/slicing.pl {analyzed by seff in 0.0 msec.} {updated seff info in 0.0 msec.} } {Transforming /home/asapdemo/Benchmarks/ciaopp/Slicing/slicing.pl {transformed by simp in 10.0 msec.} } {written file /home/asapdemo/Benchmarks/ciaopp/Slicing/slicing_eterms_codegen_seff_simp_co.pl} yes ciaopp ?- -- =============================================================== | 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/ -----------------------------------------------------------------------------

1 0

The asapdemo user at clip machines
by German Puebla 07 Oct '04

07 Oct '04

Dear All, I have just crated the 'asapdemo' user at clip.dia.fi.upm.es The idea is that all ASAP tools should be installed there for several reasons: - It will certainly be easier for all partners to test an already installed tool than installing it yourself from scratch. - As mentioned during our last meeting in Roskilde, the project web site should have a "demonstrator" of the capabilities of our tools. Thus we need all our tools installed in clip.dia.fi.upm.es The password for this user is the usual one. If you do not know it, just let me know. Please let the rest of the partners know as soon as your tool is installed. You have access to ciao-1.11p261 and SICStus 3.8.6. Please let us know if there are other things which you need and are not installed. Best regards, 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 asap-users-request(a)clip.dia.fi.upm.es Subscribe to this list unsubscribe asap-users-request(a)clip.dia.fi.upm.es Unsubscribe from list <whatever> asap-users(a)clip.dia.fi.upm.es Send message to list ----------------------------------------------------------------------------- Archived messages: http://www.clip.dia.fi.upm.es/Mail/asap-users/ -----------------------------------------------------------------------------

1 1

2026

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

Asap-users October 2004