August 2004 - PPL-devel - BUGSENG Mailman

ppl/src Polyhedron_chdims.cc
by Roberto Bagnara 11 Aug '04

11 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-08-11 15:33:10 Modified files: src : Polyhedron_chdims.cc Log message: Fixed a bug in Polyhedron::expand_dimension(). Polyhedron::fold_dimensions() drafted. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_chdims.cc.diff…

1 0

CVSROOT users
by Roberto Bagnara 11 Aug '04

11 Aug '04

CVSROOT: /cvs/ppl Module name: CVSROOT Changes by: roberto(a)cs.unipr.it 2004-08-11 12:58:12 Modified files: . : users Log message: Added Abramo to the list of users making committs. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/CVSROOT/users.diff?cvsroot=ppl&r1…

1 0

ppl/src Checked_Number.cc Checked_Number.defs. ...
by Abramo Bagnara 11 Aug '04

11 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abramo(a)cs.unipr.it 2004-08-11 12:03:41 Added files: src : Checked_Number.cc Checked_Number.defs.hh Checked_Number.inlines.hh Checked_Number.types.hh Log message: Replacement for Checked_Integer and more Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Checked_Number.cc?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Checked_Number.defs.hh?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Checked_Number.inlines.hh… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Checked_Number.types.hh?c…

1 0

ppl/src float.types.hh
by Abramo Bagnara 11 Aug '04

11 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abramo(a)cs.unipr.it 2004-08-11 12:03:07 Added files: src : float.types.hh Log message: Native float type declaration Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/float.types.hh?cvsroot=pp…

1 0

ppl/src Result_Info.defs.hh
by Abramo Bagnara 11 Aug '04

11 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abramo(a)cs.unipr.it 2004-08-11 12:02:28 Added files: src : Result_Info.defs.hh Log message: Result info for checked functions Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Result_Info.defs.hh?cvsro…

1 0

ppl/src checked.defs.hh checked_float.cc check ...
by Abramo Bagnara 11 Aug '04

11 Aug '04

1 0

ppl src/Polyhedron_chdims.cc tests/Makefile.am ...
by Roberto Bagnara 11 Aug '04

11 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-08-11 10:39:20 Modified files: src : Polyhedron_chdims.cc tests : Makefile.am Added files: tests : expanddim1.cc Log message: Added a prototype implementation of Polyhedron::expand_dimension(Variable var, dimension_type m). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_chdims.cc.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/expanddim1.cc?cvsroot=p… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo…

1 0

ppl README
by Roberto Bagnara 09 Aug '04

09 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-08-09 23:05:12 Modified files: . : README Log message: Started revision for the PPL 0.6 release. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/README.diff?cvsroot=ppl&r1=1.…

1 0

ppl TODO
by Roberto Bagnara 09 Aug '04

09 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-08-09 22:57:16 Modified files: . : TODO Log message: Section on portability migrated to README.configure. Section on constructions on polyhedra revised. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.74…

1 0

ppl README.configure
by Roberto Bagnara 09 Aug '04

09 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-08-09 22:51:56 Added files: . : README.configure Log message: New file describing the PPL-specific aspects of configuration, compilation and installation of the library. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/README.configure?cvsroot=ppl&…

1 0