January 2006 - PPL-devel - BUGSENG Mailman

ppl/src checked.cc
by Roberto Bagnara 02 Jan '06

02 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-01-02 10:50:14 Modified files: src : checked.cc Log message: Functions get_digit() and sum_sign() properly commented. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked.cc.diff?cvsroot=p…

1 0

ppl/tests/Polyhedron numberinput1.cc
by Roberto Bagnara 02 Jan '06

02 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-01-02 10:49:05 Modified files: tests/Polyhedron: numberinput1.cc Log message: Got rid of (non-working and too expensive) tests for large exponents. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/numberinput1…

1 0

ppl/tests/BD_Shape generalizedaffinepreimage1.cc
by Roberto Bagnara 02 Jan '06

02 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-01-02 09:36:01 Modified files: tests/BD_Shape : generalizedaffinepreimage1.cc Log message: If (and only if) the Coefficient type is not wide enough, test10() does nothing. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/generalizedaff…

1 0

ppl/src LP_Problem.cc LP_Problem.inlines.hh
by Enea Zaffanella 02 Jan '06

02 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-01-02 00:21:48 Modified files: src : LP_Problem.cc LP_Problem.inlines.hh Log message: Drafted implementations for total_ and external_memory_in_bytes() and for ascii_dump(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LP_Problem.cc.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LP_Problem.inlines.hh.dif…

1 0

ppl/interfaces/Prolog/tests pl_check.pl
by Patricia Hill 01 Jan '06

01 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-01-01 23:01:42 Modified files: interfaces/Prolog/tests: pl_check.pl Log message: Many improvements to LP_Problem tests. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/pl_ch…

1 0

ppl Watchdog/src/EList.defs.hh Watchdog/src/Pe ...
by Enea Zaffanella 01 Jan '06

01 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-01-01 22:47:43 Modified files: Watchdog/src : EList.defs.hh Pending_List.defs.hh Time.defs.hh src : version.hh.in Log message: Do adopt the new format for multiline brief doxygen documentation. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/src/EList.defs.hh.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/src/Pending_List.def… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/src/Time.defs.hh.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/version.hh.in.diff?cvsroo…

1 0

ppl/tests/BD_Shape generalizedaffinepreimage1.cc
by Enea Zaffanella 01 Jan '06

01 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-01-01 22:46:44 Modified files: tests/BD_Shape : generalizedaffinepreimage1.cc Log message: Temporarily disabled test10(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/generalizedaff…

1 0

ppl/interfaces/Prolog XSB/expected_clpq2_int32 ...
by Roberto Bagnara 01 Jan '06

01 Jan '06

1 0

w3ppl/htdocs/Documentation ppl.bib
by Roberto Bagnara 01 Jan '06

01 Jan '06

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2006-01-01 19:32:51 Modified files: htdocs/Documentation: ppl.bib Log message: Trailing blanks removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl.bi…

1 0

w3ppl/htdocs/Documentation ppl.bib
by Roberto Bagnara 01 Jan '06

01 Jan '06

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2006-01-01 19:28:06 Modified files: htdocs/Documentation: ppl.bib Log message: Missing comma added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl.bi…

1 0