January 2005 - PPL-devel - BUGSENG Mailman

ppl/tests/BD_Shape ascii_dump_load1.cc
by Roberto Bagnara 26 Jan '05

26 Jan '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-01-26 16:29:30 Modified files: tests/BD_Shape : ascii_dump_load1.cc Log message: Be noisy so as to show that things are not working as expected. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/ascii_dump_loa…

1 0

ppl/src BD_Shape.inlines.hh
by Roberto Bagnara 26 Jan '05

26 Jan '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-01-26 16:07:52 Modified files: src : BD_Shape.inlines.hh Log message: Use the function is_nonnegative() instead of the method is_nonnegative(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.inlines.hh.diff?…

1 0

ppl/src Checked_Number.defs.hh Checked_Number. ...
by Abramo Bagnara 26 Jan '05

26 Jan '05

1 0

ppl/tests ppl_test.hh
by Roberto Bagnara 26 Jan '05

26 Jan '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-01-26 09:43:34 Modified files: tests : ppl_test.hh Log message: Added void negate_round_down(Checked_Number<T, Policy>& to, const Checked_Number<T, Policy>& x). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/ppl_test.hh.diff?cvsroo…

1 0

ppl/tests ppl_test.hh
by Roberto Bagnara 26 Jan '05

26 Jan '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-01-26 09:34:03 Modified files: tests : ppl_test.hh Log message: Added bool is_nonnegative(const Checked_Number<T, Policy>&). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/ppl_test.hh.diff?cvsroo…

1 0

ppl/tests print.hh
by Roberto Bagnara 26 Jan '05

26 Jan '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-01-26 08:25:22 Modified files: tests : print.hh Log message: Added void print_constraints(const BD_Shape<T>&, const string&, ostream&). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/print.hh.diff?cvsroot=p…

1 0

ppl/tests ppl_test.hh
by Abramo Bagnara 25 Jan '05

25 Jan '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: abramo(a)cs.unipr.it 2005-01-25 23:23:38 Modified files: tests : ppl_test.hh Log message: Fixed compilation for mpz coefficients. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/ppl_test.hh.diff?cvsroo…

1 0

ppl/src Makefile.am
by Abramo Bagnara 25 Jan '05

25 Jan '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: abramo(a)cs.unipr.it 2005-01-25 23:22:18 Modified files: src : Makefile.am Log message: Checked_* include files are now needed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Makefile.am.diff?cvsroot=…

1 0

ppl/tests ppl_test.hh BD_Shape/maxspacedim.cc
by Abramo Bagnara 25 Jan '05

25 Jan '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: abramo(a)cs.unipr.it 2005-01-25 18:25:27 Modified files: tests : ppl_test.hh tests/BD_Shape : maxspacedim.cc Log message: Use new templatic implementation for extended numbers. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/ppl_test.hh.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/maxspacedim.cc…

1 0

ppl/src BD_Shape.inlines.hh DB_Row.inlines.hh
by Abramo Bagnara 25 Jan '05

25 Jan '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: abramo(a)cs.unipr.it 2005-01-25 18:25:17 Modified files: src : BD_Shape.inlines.hh DB_Row.inlines.hh Log message: Use new templatic implementation for extended numbers. 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/DB_Row.inlines.hh.diff?cv…

1 0