January 2006 - PPL-devel - BUGSENG Mailman

ppl configure.ac
by Roberto Bagnara 10 Jan '06

10 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-01-10 11:37:37 Modified files: . : configure.ac Log message: Version number bumped. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl…

1 0

ppl ./config.guess ./config.sub Watchdog/confi ...
by Roberto Bagnara 09 Jan '06

09 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-01-09 22:03:37 Modified files: . : config.guess config.sub Watchdog : config.guess config.sub Log message: Updated. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/config.guess.diff?cvsroot=ppl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/config.sub.diff?cvsroot=ppl&r… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/config.guess.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/config.sub.diff?cvsr…

1 0

ppl ./ChangeLog Watchdog/ChangeLog
by Roberto Bagnara 09 Jan '06

09 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-01-09 21:49:42 Modified files: . : ChangeLog Watchdog : ChangeLog Log message: Updated. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/ChangeLog.diff?cvsroot=ppl&r1… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/ChangeLog.diff?cvsro…

1 0

ppl/interfaces/Prolog/XSB ppl_xsb.cc
by Roberto Bagnara 09 Jan '06

09 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-01-09 21:10:56 Modified files: interfaces/Prolog/XSB: ppl_xsb.cc Log message: XSB supports only 32-bit integers: two FIXMEs resolved. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/ppl_xsb…

1 0

ppl/src BD_Shape.defs.hh
by Enea Zaffanella 09 Jan '06

09 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-01-09 18:23:15 Modified files: src : BD_Shape.defs.hh Log message: Removed a FIXME that was already dealt with. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.defs.hh.diff?cvs…

1 0

ppl ./NEWS interfaces/Prolog/Prolog_interface. ...
by Patricia Hill 09 Jan '06

09 Jan '06

1 0

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

09 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-01-09 14:34:38 Modified files: src : LP_Problem.inlines.hh Log message: Definitions reordered for clarity as well as to actually allow inlining. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LP_Problem.inlines.hh.dif…

1 0

ppl/src BDS_Status.inlines.hh
by Enea Zaffanella 09 Jan '06

09 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-01-09 14:33:19 Modified files: src : BDS_Status.inlines.hh Log message: Methods OK(), ascii_dump() and ascii_load() are no longer inlined. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BDS_Status.inlines.hh.dif…

1 0

ppl/interfaces/Prolog Prolog_interface.dox XSB ...
by Patricia Hill 09 Jan '06

09 Jan '06

1 0

ppl src/Linear_System.cc src/Linear_System.def ...
by Roberto Bagnara 08 Jan '06

08 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-01-08 22:29:02 Modified files: src : Linear_System.cc Linear_System.defs.hh Removed files: tests/Polyhedron: gramschmidt1.cc Log message: Method Linear_System::gram_schmidt() removed: it was buggy and not used. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_System.cc.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_System.defs.hh.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/gramschmidt1…

1 0