April 2004 - PPL-devel - BUGSENG Mailman

ppl/interfaces/Prolog ppl_prolog.icc
by Roberto Bagnara 25 Apr '04

25 Apr '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-04-25 22:12:51 Modified files: interfaces/Prolog: ppl_prolog.icc Log message: Previous changes reverted. Rewritten a good part of the error handling code. Several bugs fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog.…

1 0

ppl/interfaces/Prolog exceptions.hh
by Roberto Bagnara 25 Apr '04

25 Apr '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-04-25 22:07:27 Modified files: interfaces/Prolog: exceptions.hh Log message: Exception classes revised. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/exceptions.…

1 0

ppl/interfaces/Prolog/SWI ppl_swiprolog.cc
by Roberto Bagnara 25 Apr '04

25 Apr '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-04-25 22:06:38 Modified files: interfaces/Prolog/SWI: ppl_swiprolog.cc Log message: Prolog_put_long() and Integer_to_integer_term() implemented properly. Added Prolog_put_ulong(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/ppl_swi…

1 0

ppl/interfaces/Prolog/SICStus ppl_sicstus_sd.cc
by Roberto Bagnara 25 Apr '04

25 Apr '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-04-25 22:04:45 Modified files: interfaces/Prolog/SICStus: ppl_sicstus_sd.cc Log message: The wrong exception was thrown by integer_term_to_Integer(): fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/ppl…

1 0

ppl/interfaces/Prolog/SICStus sicstus_cfli.ic
by Roberto Bagnara 25 Apr '04

25 Apr '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-04-25 22:03:18 Modified files: interfaces/Prolog/SICStus: sicstus_cfli.ic Log message: Added Prolog_put_ulong(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/sic…

1 0

ppl/interfaces/Prolog/XSB ppl_xsb.cc
by Roberto Bagnara 25 Apr '04

25 Apr '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-04-25 22:01:22 Modified files: interfaces/Prolog/XSB: ppl_xsb.cc Log message: Added a temporary, buggy version of Prolog_put_ulong(). All the XSB c2p_*() functions require that the second argument is an unbound variable: assertions added to check that we abide by this rule. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/ppl_xsb…

1 0

ppl/interfaces/Prolog Ciao/ppl_ciao.cc GNU/ppl ...
by Roberto Bagnara 25 Apr '04

25 Apr '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-04-25 21:58:14 Modified files: interfaces/Prolog/Ciao: ppl_ciao.cc interfaces/Prolog/GNU: ppl_gprolog_sd.cc interfaces/Prolog/YAP: ppl_yap.cc Log message: Added a temporary, buggy version of Prolog_put_ulong(). Patches: 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/GNU/ppl_gpr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/YAP/ppl_yap…

1 0

ppl/interfaces/Prolog pl_check.pl
by Roberto Bagnara 25 Apr '04

25 Apr '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-04-25 21:53:16 Modified files: interfaces/Prolog: pl_check.pl Log message: Previous changes reverted. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/pl_check.pl…

1 0

ppl/interfaces/Prolog ppl_prolog.icc pl_check.pl
by Patricia Hill 25 Apr '04

25 Apr '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2004-04-25 11:14:11 Modified files: interfaces/Prolog: ppl_prolog.icc pl_check.pl Log message: Bug in an interface predicate (ppl_Polyhedron_relation_with_constraints) that only caused an error with the XSB interface now fixed. pl_check revised to avoid warning messages with XSB compiler. 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/pl_check.pl…

1 0

ppl/interfaces/Prolog/SWI ppl_swiprolog.cc
by Roberto Bagnara 24 Apr '04

24 Apr '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-04-24 23:39:52 Modified files: interfaces/Prolog/SWI: ppl_swiprolog.cc Log message: SWI Prolog does not support unlimited precision integers. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/ppl_swi…

1 0