August 2004 - PPL-devel - BUGSENG Mailman

ppl TODO
by Roberto Bagnara 04 Aug '04

04 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-08-04 20:05:31 Modified files: . : TODO Log message: The Polyhedron::*recycled*() methods do not make sense for the Prolog interface. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.70…

1 0

ppl/demos/ppl_lpsol
by Roberto Bagnara 04 Aug '04

04 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-08-04 17:40:50 ppl/demos/ppl_lpsol Update of /cvs/ppl/ppl/demos/ppl_lpsol In directory spartacus.cs.unipr.it:/tmp/cvs-serv6161/ppl_lpsol Log Message: Directory /cvs/ppl/ppl/demos/ppl_lpsol added to the repository

1 0

ppl/tests adddimensions11.cc dualhypercubes.cc
by Roberto Bagnara 04 Aug '04

04 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: roberto(a)cs.unipr.it 2004-08-04 16:55:36 Modified files: tests : adddimensions11.cc dualhypercubes.cc Log message: The main program must catch exceptions. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/adddimensions11.cc.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/dualhypercubes.cc.diff?…

1 0

ppl TODO
by Roberto Bagnara 04 Aug '04

04 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-08-04 16:54:46 Modified files: . : TODO Log message: Some things to do will only be done in PPL 0.7 or later version. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.69…

1 0

ppl/src Interval.defs.hh Interval.inlines.hh
by Enea Zaffanella 04 Aug '04

04 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: zaffanella(a)cs.unipr.it 2004-08-04 15:54:44 Modified files: src : Interval.defs.hh Interval.inlines.hh Log message: Returning by const reference when appropriate. (numerator and denominator). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval.defs.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval.inlines.hh.diff?…

1 0

ppl/src Checked_Integer.defs.hh Checked_Intege ...
by Roberto Bagnara 04 Aug '04

04 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: roberto(a)cs.unipr.it 2004-08-04 15:53:06 Modified files: src : Checked_Integer.defs.hh Checked_Integer.inlines.hh Native_Integer.defs.hh Native_Integer.inlines.hh Log message: Use Integer_macros.hh to declare and define all the required functions. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Checked_Integer.defs.hh.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Checked_Integer.inlines.h… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Native_Integer.defs.hh.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Native_Integer.inlines.hh…

1 0

ppl/src Matrix.cc
by Roberto Bagnara 04 Aug '04

04 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: roberto(a)cs.unipr.it 2004-08-04 15:50:09 Modified files: src : Matrix.cc Log message: Wrongly-named variable references fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.cc.diff?cvsroot=pp…

1 0

ppl/src Makefile.am Integer_macros.hh
by Roberto Bagnara 04 Aug '04

04 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: roberto(a)cs.unipr.it 2004-08-04 15:49:08 Modified files: src : Makefile.am Added files: src : Integer_macros.hh Log message: Helper macros for the implementation of Native_Integer and Checked_Integer. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Integer_macros.hh?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Makefile.am.diff?cvsroot=…

1 0

ppl Makefile.am
by Roberto Bagnara 04 Aug '04

04 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: roberto(a)cs.unipr.it 2004-08-04 15:32:42 Modified files: . : Makefile.am Log message: Temporarily disable the `interfaces' directory. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Makefile.am.diff?cvsroot=ppl&…

1 0

ppl ./CREDITS ./configure.ac src/BoundingBox.c ...
by Roberto Bagnara 04 Aug '04

04 Aug '04

1 0