[PPL-devel] ppl/interfaces/Prolog Ciao/ppl_ciao.cc XSB/ppl ...

Sat Oct 2 13:48:53 CEST 2004

CVSROOT:	/cvs/ppl
Module name:	ppl
Branch: 	altnum
Changes by:	roberto at cs.unipr.it	2004-10-02 13:48:53

Modified files:
	interfaces/Prolog/Ciao: ppl_ciao.cc 
	interfaces/Prolog/XSB: ppl_xsb.cc 
	interfaces/Prolog/YAP: ppl_yap.cc 

Log message:
	Use checked numbers to detect overflows.

Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/ppl_ciao.cc.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.23.2.1&r2=1.23.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/ppl_xsb.cc.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.51.2.2&r2=1.51.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/YAP/ppl_yap.cc.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.78.2.2&r2=1.78.2.3