March 2003 - PPL-devel - BUGSENG Mailman

ppl/interfaces/Prolog ppl_prolog.icc
by Roberto Bagnara 11 Mar '03

11 Mar '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-03-11 17:24:56 Modified files: interfaces/Prolog: ppl_prolog.icc Log message: Indentation fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog.…

1 0

ppl/interfaces/Prolog pl_check.pl ppl_prolog.i ...
by Patricia Hill 11 Mar '03

11 Mar '03

1 0

ppl/interfaces/Prolog/Ciao ciao_clpq.pl ciao_c ...
by Roberto Bagnara 11 Mar '03

11 Mar '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-03-11 13:59:35 Modified files: interfaces/Prolog/Ciao: ciao_clpq.pl ciao_clpq2.pl Log message: Import as few predicates as possible. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/ciao_c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/ciao_c…

1 0

ppl/interfaces/Prolog/Ciao ppl_ciao.pl
by Roberto Bagnara 11 Mar '03

11 Mar '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-03-11 13:59:11 Modified files: interfaces/Prolog/Ciao: ppl_ciao.pl Log message: Complete declarations for ppl_Polyhedron_H79_widening_assign_with_tokens/3. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/ppl_ci…

1 0

ppl/interfaces/Prolog pl_check.pl Ciao/ppl_cia ...
by Patricia Hill 11 Mar '03

11 Mar '03

1 0

ppl/interfaces/Prolog ppl_prolog.icc
by Roberto Bagnara 11 Mar '03

11 Mar '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-03-11 10:50:05 Modified files: interfaces/Prolog: ppl_prolog.icc Log message: Translate std::bad_alloc into a usable Prolog exception. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog.…

1 0

ppl/interfaces/Prolog ppl_prolog.icc
by Roberto Bagnara 11 Mar '03

11 Mar '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-03-11 10:34:36 Modified files: interfaces/Prolog: ppl_prolog.icc Log message: PIFunc::max_in_codomain() fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog.…

1 0

ppl/interfaces/Prolog Prolog_interface.dox
by Patricia Hill 11 Mar '03

11 Mar '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2003-03-11 09:26:08 Modified files: interfaces/Prolog: Prolog_interface.dox Log message: Descriptions of "with_token" predicates improved. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Prolog_inte…

1 0

w3ppl/htdocs/Credits Credits.raw
by Roberto Bagnara 10 Mar '03

10 Mar '03

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2003-03-10 19:52:21 Modified files: htdocs/Credits : Credits.raw Log message: Give credit to the CLIP people. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Credits/Credits.raw.…

1 0

ppl ./NEWS interfaces/Prolog/Ciao/Makefile.am ...
by Roberto Bagnara 10 Mar '03

10 Mar '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-03-10 19:41:46 Modified files: . : NEWS Log message: The Prolog interface now supports also Ciao Prolog and XSB. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.67… Modified files: interfaces/Prolog/Ciao: Makefile.am ciao_clpq.pl ppl_ciao.cc ppl_ciao.pl Added files: interfaces/Prolog/Ciao: ciao_clpq2.pl Log message: Ciao Prolog interface fixed and now part of the regression testing mechanism. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/ciao_c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/Makefi… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/ciao_c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/ppl_ci… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/ppl_ci…

1 0