September 2005 - PPL-devel - BUGSENG Mailman

ppl/src Row.cc
by Roberto Bagnara 16 Sep '05

16 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-09-16 19:16:46 Modified files: src : Row.cc Log message: Row::normalize() speeded up. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.cc.diff?cvsroot=ppl&r…

1 0

ppl/src simplex.cc
by Roberto Bagnara 16 Sep '05

16 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-09-16 17:59:49 Modified files: src : simplex.cc Log message: Reduced the scope of a using declaration. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/simplex.cc.diff?cvsroot=p…

1 0

ppl/src simplex.cc
by Roberto Bagnara 16 Sep '05

16 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-09-16 17:41:18 Modified files: src : simplex.cc Log message: Avoid duplicating code in order to normalize a Row object. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/simplex.cc.diff?cvsroot=p…

1 0

ppl/src Linear_Row.cc Linear_Row.defs.hh Row.c ...
by Roberto Bagnara 16 Sep '05

16 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-09-16 17:15:20 Modified files: src : Linear_Row.cc Linear_Row.defs.hh Row.cc Row.defs.hh Log message: The normalize() method has been moved from Linear_Row to its base class Row. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_Row.cc.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_Row.defs.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.cc.diff?cvsroot=ppl&r… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.defs.hh.diff?cvsroot=…

1 0

ppl/src checked.inlines.hh
by Abramo Bagnara 16 Sep '05

16 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: abramo(a)cs.unipr.it 2005-09-16 12:16:38 Modified files: src : checked.inlines.hh Log message: Removed unneeded checks. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked.inlines.hh.diff?c…

1 0

ppl src/Linear_System.cc src/Linear_System.def ...
by Roberto Bagnara 16 Sep '05

16 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-09-16 09:45:39 Modified files: src : Linear_System.cc Linear_System.defs.hh Added files: tests/Polyhedron: gramschmidt1.cc Removed files: tests/Polyhedron: gramshmidt1.cc Log message: Spelling correction: it is "Gram-Schmidt" (the orthonormalization procedure), not "Gram-Shmidt". Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_System.cc.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_System.defs.hh.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/gramschmidt1… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/gramshmidt1.…

1 0

ppl/src Bounding_Box.inlines.hh Polyhedron.inl ...
by Abramo Bagnara 16 Sep '05

16 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: abramo(a)cs.unipr.it 2005-09-16 06:43:46 Modified files: src : Bounding_Box.inlines.hh Polyhedron.inlines.hh Log message: Fixed mpq building from arbitrary coefficient type. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Bounding_Box.inlines.hh.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.inlines.hh.dif…

1 0

ppl/interfaces/Prolog XSB/expected3_int16 XSB/ ...
by Roberto Bagnara 15 Sep '05

15 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-09-15 22:10:38 Modified files: interfaces/Prolog/XSB: expected3_int16 expected3_int32 expected3_int8 interfaces/Prolog/tests: expected_pchk_int16 expected_pchk_int32 expected_pchk_int8 Log message: Adapted to the recent changes in pl_check.pl. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/expecte… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/expecte… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/expecte… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expec… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expec… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expec…

1 0

ppl/interfaces/Prolog/tests expected_pchk_int8_a
by Roberto Bagnara 15 Sep '05

15 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-09-15 22:03:33 Modified files: interfaces/Prolog/tests: expected_pchk_int8_a Log message: Adapted to the recent changes in pl_check.pl. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expec…

1 0

ppl/interfaces/Prolog/tests expected_pchk_int32_a
by Roberto Bagnara 15 Sep '05

15 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-09-15 21:55:36 Modified files: interfaces/Prolog/tests: expected_pchk_int32_a Log message: Adapted to the recent changes in pl_check.pl. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expec…

1 0