September 2008 - PPL-devel - BUGSENG Mailman

Sebastian Pop - Re: GCC 4.4.0 Status Report (2008-09-02)
by Roberto Bagnara 03 Sep '08

03 Sep '08

http://gcc.gnu.org/ml/gcc/2008-09/msg00016.html -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it

1 0

ppl/interfaces/Prolog/XSB Makefile.am ppl_inte ...
by Roberto Bagnara 03 Sep '08

03 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-09-03 11:16:25 Modified files: interfaces/Prolog/XSB: Makefile.am ppl_interface_generator_xsb_cc.m4 Added files: interfaces/Prolog/XSB: ppl_prolog_sysdep.hh xsb_efli.cc xsb_efli.hh Log message: Started adapting the XSB interface in order to support separate compilation. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/ppl_pro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/xsb_efl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/xsb_efl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/Makefil… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/ppl_int…

1 0

ppl/interfaces/Prolog SWI/swi_efli.cc GNU/gpro ...
by Roberto Bagnara 03 Sep '08

03 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-09-03 10:01:43 Modified files: interfaces/Prolog/SWI: swi_efli.cc interfaces/Prolog/GNU: gprolog_efli.cc interfaces/Prolog/SICStus: sicstus_efli.cc Log message: Comments belong to the header files: removed from the implementation files. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/swi_efl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/gprolog… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/sic…

1 0

ppl ./configure.ac interfaces/Prolog/SICStus/M ...
by Roberto Bagnara 02 Sep '08

02 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-09-02 17:10:35 Modified files: . : configure.ac interfaces/Prolog/SICStus: Makefile.am ppl_interface_generator_sicstus_sd_cc.m4 sicstus_cfli.ic Added files: interfaces/Prolog/SICStus: ppl_prolog_sysdep.hh sicstus_efli.cc sicstus_efli.hh Log message: The SICStus Prolog interface now uses separate compilation. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/ppl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/sic… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/sic… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/Mak… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/ppl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/sic…

1 0

ppl/interfaces/Prolog ppl_prolog_common.cc ppl ...
by Roberto Bagnara 02 Sep '08

02 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-09-02 17:09:35 Modified files: interfaces/Prolog: ppl_prolog_common.cc ppl_prolog_common.defs.hh Log message: Fixed the declaration of `prolog_interface_atoms'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog_… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog_…

1 0

ppl ./configure.ac interfaces/Prolog/YAP/Makef ...
by Roberto Bagnara 01 Sep '08

01 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-09-01 22:07:26 Modified files: . : configure.ac interfaces/Prolog/YAP: Makefile.am ppl_interface_generator_yap_cc.m4 yap_cfli.hh Added files: interfaces/Prolog/YAP: ppl_prolog_sysdep.hh yap_efli.cc yap_efli.hh Log message: Enabled separate compilation in the YAP interface. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/YAP/ppl_pro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/YAP/yap_efl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/YAP/yap_efl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/YAP/Makefil… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/YAP/ppl_int… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/YAP/yap_cfl…

1 0

ppl/interfaces/C C_interface.dox
by Enea Zaffanella 01 Sep '08

01 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-09-01 11:44:15 Modified files: interfaces/C : C_interface.dox Log message: Started adjusting the polyehdra domain documentation for the C language interface; function categorized as either generic domain functions or ad hoc functions for the domain of polyhedra, so as to clarify which ones are also available for other domain instantiations. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/C_interface.dox.…

1 0