October 2004 - PPL-devel - BUGSENG Mailman

ppl interfaces/Prolog/tests/expected3_int8 dem ...
by Roberto Bagnara 25 Oct '04

25 Oct '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-10-25 10:39:12 Modified files: interfaces/Prolog/tests: expected3_int8 Added files: demos/ppl_lcdd : expected_int8 interfaces/Prolog/XSB: expected3_int8 Log message: New and revised expectations. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/expected_int8?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/expecte… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expec…

1 0

ppl interfaces/Prolog/XSB/expected2_int32 inte ...
by Roberto Bagnara 25 Oct '04

25 Oct '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-10-25 10:24:17 Modified files: interfaces/Prolog/XSB: expected2_int32 interfaces/Prolog/tests: expected2_int32 expected3_int64 Added files: demos/ppl_lcdd : expected_int64 interfaces/Prolog/XSB: expected3_int32 expected3_int64 Log message: New and revised expectations. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/expected_int64… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/expecte… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/expecte… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/expecte… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expec… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expec…

1 0

ppl ./configure.ac interfaces/Prolog/Makefile. ...
by Roberto Bagnara 25 Oct '04

25 Oct '04

1 0

ppl/interfaces/Prolog/tests
by Roberto Bagnara 25 Oct '04

25 Oct '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-10-25 09:06:23 ppl/interfaces/Prolog/tests Update of /cvs/ppl/ppl/interfaces/Prolog/tests In directory spartacus.cs.unipr.it:/tmp/cvs-serv5113/tests Log Message: Directory /cvs/ppl/ppl/interfaces/Prolog/tests added to the repository

1 0

ppl ./configure.ac demos/ppl_lcdd/Makefile.am ...
by Roberto Bagnara 24 Oct '04

24 Oct '04

1 0

w3ppl/htdocs FAQ.raw
by Roberto Bagnara 24 Oct '04

24 Oct '04

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2004-10-24 21:06:34 Modified files: htdocs : FAQ.raw Log message: Wrong tag fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/FAQ.raw.diff?cvsroot…

1 0

ppl/demos/ppl_lcdd ppl_lcdd.cc
by Roberto Bagnara 24 Oct '04

24 Oct '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-10-24 18:18:53 Modified files: demos/ppl_lcdd : ppl_lcdd.cc Log message: Print more about which kind of arithmetic overflow occurred. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/ppl_lcdd.cc.di…

1 0

ppl/src Checked_Number.inlines.hh
by Abramo Bagnara 24 Oct '04

24 Oct '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: abramo(a)cs.unipr.it 2004-10-24 16:38:15 Modified files: src : Checked_Number.inlines.hh Log message: Generate overflow exception instead of inappropriate domain one. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Checked_Number.inlines.hh…

1 0

ppl/interfaces/Prolog expected3_int8 SWI/Makef ...
by Roberto Bagnara 24 Oct '04

24 Oct '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-10-24 12:21:00 Modified files: interfaces/Prolog: expected3_int8 interfaces/Prolog/SWI: Makefile.am interfaces/Prolog/XSB: Makefile.am Added files: interfaces/Prolog/XSB: expected2_int8 expected_int8 Log message: More infrastructure to conditionalize our expectations about the tests outcome on the kind of coefficients we use. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/expected3_i… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/Makefil… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/expecte… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/expecte… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/Makefil…

1 0

ppl/interfaces/Prolog pl_check.pl
by Roberto Bagnara 24 Oct '04

24 Oct '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-10-24 12:18:37 Modified files: interfaces/Prolog: pl_check.pl Log message: Catch all exceptions. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/pl_check.pl…

1 0