September 2005 - PPL-devel - BUGSENG Mailman

ppl ./ChangeLog Watchdog/ChangeLog
by Roberto Bagnara 19 Sep '05

19 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-09-19 14:38:44 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/src Constraint_System.defs.hh
by Enea Zaffanella 19 Sep '05

19 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2005-09-19 14:38:32 Modified files: src : Constraint_System.defs.hh Log message: Added documentation for Constraint_System::primal_simplex(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint_System.defs.hh…

1 0

ppl TODO
by Roberto Bagnara 19 Sep '05

19 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-09-19 14:22:52 Modified files: . : TODO Log message: Updated. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.14…

1 0

ppl/src Saturation_Row.inlines.hh
by Roberto Bagnara 19 Sep '05

19 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-09-19 10:38:15 Modified files: src : Saturation_Row.inlines.hh Log message: Include <cassert>. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Saturation_Row.inlines.hh…

1 0

ppl/src Native_Integer.inlines.hh
by Matthew Mundell 19 Sep '05

19 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2005-09-19 10:00:39 Modified files: src : Native_Integer.inlines.hh Log message: In template gcd take the absolute value of the resulting gcd instead of initially taking the absolute value of both arguments. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Native_Integer.inlines.hh…

1 0

ppl/src Native_Integer.types.hh
by Roberto Bagnara 19 Sep '05

19 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-09-19 09:37:48 Modified files: src : Native_Integer.types.hh Log message: Fixed struct Coefficient_traits_template<Native_Integer<int64_t>. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Native_Integer.types.hh.d…

1 0

ppl/src BD_Shape.defs.hh Bounding_Box.defs.hh ...
by Roberto Bagnara 19 Sep '05

19 Sep '05

1 0

ppl/src GMP_Integer.defs.hh
by Roberto Bagnara 19 Sep '05

19 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-09-19 09:07:24 Modified files: src : GMP_Integer.defs.hh Log message: Doxygen comments and sectioning revised. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GMP_Integer.defs.hh.diff?…

1 0

ppl/src Ask_Tell.defs.hh BD_Shape.defs.hh BHRZ ...
by Roberto Bagnara 19 Sep '05

19 Sep '05

1 0

ppl/src BD_Shape.inlines.hh Checked_Number.def ...
by Roberto Bagnara 19 Sep '05

19 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-09-19 07:33:45 Modified files: src : BD_Shape.inlines.hh Checked_Number.defs.hh GMP_Integer.defs.hh Native_Integer.defs.hh Log message: Added a couple of blank lines to improve readability. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.inlines.hh.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Checked_Number.defs.hh.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GMP_Integer.defs.hh.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Native_Integer.defs.hh.di…

1 0