December 2004 - PPL-devel - BUGSENG Mailman

ppl/src Polyhedron_public.cc Polyhedron_nonpub ...
by Enea Zaffanella 13 Dec '04

13 Dec '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2004-12-13 15:39:16 Modified files: src : Polyhedron_public.cc Polyhedron_nonpublic.cc Log message: Minor documentation changes; use const where appropriate. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_public.cc.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_nonpublic.cc.d…

1 0

ppl TODO
by Enea Zaffanella 13 Dec '04

13 Dec '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2004-12-13 08:47:04 Modified files: . : TODO Log message: The sorting routines have been completely rewritten.CVS: ---------------------------------------------------------------------- Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.12…

1 0

w3ppl/htdocs/Download requirements.raw
by Roberto Bagnara 12 Dec '04

12 Dec '04

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2004-12-12 20:40:20 Modified files: htdocs/Download: requirements.raw Log message: Updated the versions of the software we recommend and use. Updated the link to Graphviz. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Download/requirement…

1 0

ppl ./CREDITS src/Makefile.am src/globals.defs ...
by Roberto Bagnara 12 Dec '04

12 Dec '04

1 0

ppl/tests/Polyhedron Makefile.am
by Roberto Bagnara 12 Dec '04

12 Dec '04

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: roberto(a)cs.unipr.it 2004-12-12 12:24:16 Modified files: tests/Polyhedron: Makefile.am Log message: The `BBox' class implementation is now contained in the convenience library `libppl_tests'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/Makefile.am.…

1 0

ppl ./configure.ac tests/.cvsignore tests/Make ...
by Roberto Bagnara 12 Dec '04

12 Dec '04

1 0

ppl/tests/Polyhedron
by Roberto Bagnara 12 Dec '04

12 Dec '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-12-12 11:47:16 ppl/tests/Polyhedron Update of /cvs/ppl/ppl/tests/Polyhedron In directory spartacus.cs.unipr.it:/tmp/cvs-serv13360/Polyhedron Log Message: Directory /cvs/ppl/ppl/tests/Polyhedron added to the repository --> Using per-directory sticky tag `altnum'

1 0

w3ppl/htdocs FAQ.raw
by Roberto Bagnara 12 Dec '04

12 Dec '04

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2004-12-12 10:59:03 Modified files: htdocs : FAQ.raw Log message: Rewritten the FAQ about GMP. Written a FAQ about the name of the library. Two others drafted. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/FAQ.raw.diff?cvsroot…

1 0

ppl/src Native_Integer.inlines.hh
by Roberto Bagnara 12 Dec '04

12 Dec '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-12-12 10:45:19 Modified files: src : Native_Integer.inlines.hh Log message: Added the implementation of constructors from native floating-point types. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Native_Integer.inlines.hh…

1 0

ppl ./NEWS ./README ./STANDARDS ./TODO ./confi ...
by Roberto Bagnara 11 Dec '04

11 Dec '04

1 0