January 2006 - PPL-devel - BUGSENG Mailman

ppl/src Checked_Number.defs.hh Checked_Number. ...
by Roberto Bagnara 08 Jan '06

08 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-01-08 08:29:44 Modified files: src : Checked_Number.defs.hh Checked_Number.inlines.hh Log message: Restored function template <typename T, typename Policy> void neg_assign(Checked_Number<T, Policy>& x) and macro DEF_ASSIGN_FUN2_1. Patches: 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/Checked_Number.inlines.hh…

1 0

ppl/src Checked_Number.defs.hh Checked_Number. ...
by Roberto Bagnara 07 Jan '06

07 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-01-07 20:56:17 Modified files: src : Checked_Number.defs.hh Checked_Number.inlines.hh Log message: The following redundant functions have been removed: template <typename T, typename Policy> void neg_assign(Checked_Number<T, Policy>& x); template <typename T, typename Policy> void gcd_assign(Checked_Number<T, Policy>& x, const Checked_Number<T, Policy>& y); template <typename T, typename Policy> void lcm_assign(Checked_Number<T, Policy>& x, const Checked_Number<T, Policy>& y); template <typename T, typename Policy> void exact_div_assign(Checked_Number<T, Policy>& x, const Checked_Number<T, Policy>& y); template <typename T, typename Policy> void sqrt_assign(Checked_Number<T, Policy>& x). No longer used macros DEF_ASSIGN_FUN2_1 and DEF_ASSIGN_FUN3_2 removed as well. Patches: 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/Checked_Number.inlines.hh…

1 0

ppl/tests/Polyhedron lpproblem1.cc
by Enea Zaffanella 06 Jan '06

06 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Branch: simplex Changes by: zaffanella(a)cs.unipr.it 2006-01-06 21:01:54 Added files: tests/Polyhedron: lpproblem1.cc Log message: Put under CVS control. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/lpproblem1.c…

1 0

ppl ./ChangeLog ./Makefile.am ./NEWS ./README ...
by Enea Zaffanella 06 Jan '06

06 Jan '06

1 0

ppl/src Grid_widenings.cc Grid_simplify.cc Gri ...
by Matthew Mundell 06 Jan '06

06 Jan '06

1 0

ppl/src Matrix.defs.hh
by Matthew Mundell 06 Jan '06

06 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2006-01-06 18:44:47 Modified files: src : Matrix.defs.hh Log message: Take out old grid includes and declaration. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.defs.hh.diff?cvsro…

1 0

ppl/src Grid_Status.idefs.hh Grid_Generator_Sy ...
by Matthew Mundell 06 Jan '06

06 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2006-01-06 18:13:55 Modified files: src : Grid_Status.idefs.hh Grid_Generator_System.defs.hh Grid_Generator.defs.hh Grid_Certificate.defs.hh Grid.defs.hh Congruence_System.defs.hh Congruence.defs.hh Log message: Update the format of brief comments to the new standard. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_Status.idefs.hh.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_Generator_System.def… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_Generator.defs.hh.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_Certificate.defs.hh.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.defs.hh.diff?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence_System.defs.hh… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence.defs.hh.diff?c…

1 0

ppl/interfaces/Prolog/tests pl_check.pl
by Patricia Hill 06 Jan '06

06 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-01-06 08:53:21 Modified files: interfaces/Prolog/tests: pl_check.pl Log message: Added a comment explaining the large number tests. Revised the catch code for the ppl_overflow_error exception. Reordered tests so that when there is an expected overflow exception, more tests are done before that. Other minor changes. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/pl_ch…

1 0

ppl/interfaces/Prolog/tests expected_pchk_int64_a
by Patricia Hill 05 Jan '06

05 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-01-05 21:44:46 Modified files: interfaces/Prolog/tests: expected_pchk_int64_a Log message: Restore expected output. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expec…

1 0

ppl/src Grid_public.cc
by Matthew Mundell 05 Jan '06

05 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2006-01-05 19:45:24 Modified files: src : Grid_public.cc Log message: Leave the modulus handling as it is in the inverse relation case of generalized_affine_preimage(var..). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_public.cc.diff?cvsro…

1 0