Hello, I would be interested to try out CiaoPP. In particular, I would like to implement a couple of abstract domains [1] within its framework. I have the sources of an old version of the pre-processor (2005) which I am not able to use, because it does not compile with newer versions of Ciao (and older versions of Ciao do not compile with my GCC). Is it possible to get a newver version of CiaoPP which works with CiaoDE 1.13 ?
Thanks,
--gianluca amato
[1] G. Amato, F. Scozzari. On the interaction between sharing and linearity. Theory and Practice of Logic Programming 10(1), pp. 49-112, ©Cambridge University Press 2009.
======================================= Message: Address: Action: help majordomo(a)clip.dia.fi.upm.es Info. on useful commands subscribe ciao-users-request(a)clip.dia.fi.upm.es Subscribe to this list unsubscribe ciao-users-request(a)clip.dia.fi.upm.es Unsubscribe from this list <whatever> ciao-users(a)clip.dia.fi.upm.es Send message to list ----------------------------------------------------------------------------- Archived messages: http://www.clip.dia.fi.upm.es/Mail/ciao-users/ -----------------------------------------------------------------------------