September 2005 - PPL-devel - BUGSENG Mailman

ppl/tests/Grid Makefile.am bug1.cc bug1.dat
by Roberto Bagnara 03 Sep '05

03 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: roberto(a)cs.unipr.it 2005-09-03 23:06:24 Modified files: tests/Grid : Makefile.am Removed files: tests/Grid : bug1.cc bug1.dat Log message: Obsolete test program removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/Makefile.am.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/bug1.cc.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/bug1.dat.diff?cvsr…

1 0

ppl/src NNC_Polyhedron.inlines.hh
by Roberto Bagnara 03 Sep '05

03 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: roberto(a)cs.unipr.it 2005-09-03 23:03:16 Modified files: src : NNC_Polyhedron.inlines.hh Log message: Added the implementation of NNC_Polyhedron::upper_bound_assign_if_exact(const NNC_Polyhedron&). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/NNC_Polyhedron.inlines.hh…

1 0

ppl/src NNC_Polyhedron.inlines.hh
by Roberto Bagnara 03 Sep '05

03 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-09-03 23:02:53 Modified files: src : NNC_Polyhedron.inlines.hh Log message: Added the implementation of NNC_Polyhedron::upper_bound_assign_if_exact(const NNC_Polyhedron&). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/NNC_Polyhedron.inlines.hh…

1 0

w3ppl/htdocs/Documentation ppl.bib
by Enea Zaffanella 03 Sep '05

03 Sep '05

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: zaffanella(a)cs.unipr.it 2005-09-03 13:52:30 Modified files: htdocs/Documentation: ppl.bib Log message: Completed the entry for BagnaraHZ05FAC. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl.bi…

1 0

ppl/src Determinate.defs.hh Determinate.inline ...
by Roberto Bagnara 03 Sep '05

03 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: roberto(a)cs.unipr.it 2005-09-03 13:47:41 Modified files: src : Determinate.defs.hh Determinate.inlines.hh Polyhedra_Powerset.defs.hh Polyhedra_Powerset.inlines.hh Log message: Added constructors taking congruence systems. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Determinate.defs.hh.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Determinate.inlines.hh.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedra_Powerset.defs.h… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedra_Powerset.inline…

1 0

ppl demos/ppl_lpsol/ppl_lpsol.c interfaces/C/p ...
by Roberto Bagnara 03 Sep '05

03 Sep '05

1 0

ppl/src Powerset.inlines.hh
by Roberto Bagnara 03 Sep '05

03 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-09-03 13:29:31 Modified files: src : Powerset.inlines.hh Log message: Output function fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Powerset.inlines.hh.diff?…

1 0

ppl/src Powerset.inlines.hh
by Roberto Bagnara 03 Sep '05

03 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-09-03 13:13:15 Modified files: src : Powerset.inlines.hh Log message: Bracketing fixed in operator<<(std::ostream&, const Powerset<CS>&). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Powerset.inlines.hh.diff?…

1 0

ppl/src Determinate.inlines.hh
by Roberto Bagnara 03 Sep '05

03 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-09-03 13:12:40 Modified files: src : Determinate.inlines.hh Log message: Do not refer to element().poly_hull_assign(): refer to element().upper_bound_assign() instead. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Determinate.inlines.hh.di…

1 0

ppl/src Grid_nonpublic.cc Grid_conversion.cc G ...
by Matthew Mundell 03 Sep '05

03 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-09-03 12:47:33 Modified files: src : Grid_nonpublic.cc Grid_conversion.cc Grid_Status.cc Congruence_System.inlines.hh Log message: Update FSF address. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_nonpublic.cc.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_conversion.cc.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_Status.cc.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence_System.inlines…

1 0