February 2008 - PPL-devel - BUGSENG Mailman

ppl src/Box.templates.hh tests/Box/Makefile.am ...
by Patricia Hill 29 Feb '08

29 Feb '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-02-29 15:57:16 Modified files: src : Box.templates.hh tests/Box : Makefile.am generalizedaffinepreimage1.cc Added files: tests/Box : boundedaffinepreimage1.cc Log message: Added code for generalized_affine_preimage (both versions) and bounded_affine_preimage. Minor improvement to bounded_affine_image where we add the constraint that the lower bound expression must be less than the upper bound expression (or vice versa if the denominator is negative). Some tests added or revised. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.templates.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/boundedaffinepreima… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/Makefile.am.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/generalizedaffinepr…

1 0

ppl/tests/Box boundedaffineimage1.cc
by Roberto Bagnara 29 Feb '08

29 Feb '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-02-29 11:10:45 Modified files: tests/Box : boundedaffineimage1.cc Log message: test09() and test10() provoke an overflow only with assertions enabled. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/boundedaffineimage1…

1 0

ppl/tests/Box addspacedims1.cc boundedaffineim ...
by Roberto Bagnara 29 Feb '08

29 Feb '08

1 0

ppl/tests/Box refine2.cc
by Roberto Bagnara 29 Feb '08

29 Feb '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-02-29 09:41:43 Modified files: tests/Box : refine2.cc Log message: Adapted test02() to the new dump format. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/refine2.cc.diff?cvs…

1 0

ppl/src Box.templates.hh
by Roberto Bagnara 29 Feb '08

29 Feb '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-02-29 09:41:17 Modified files: src : Box.templates.hh Log message: Spurious separator avoided in ascii_dump(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.templates.hh.diff?cvs…

1 0

ppl/tests/BD_Shape addconstraints1.cc addspace ...
by Roberto Bagnara 29 Feb '08

29 Feb '08

1 0

ppl/tests/Box generalizedaffineimage1.cc gener ...
by Roberto Bagnara 29 Feb '08

29 Feb '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-02-29 07:57:29 Modified files: tests/Box : generalizedaffineimage1.cc generalizedaffineimage2.cc Log message: Always the check_result() function to check results. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/generalizedaffineim… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/generalizedaffineim…

1 0

ppl/tests/Box boundedaffineimage1.cc
by Roberto Bagnara 29 Feb '08

29 Feb '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-02-29 07:36:05 Modified files: tests/Box : boundedaffineimage1.cc Log message: test09() and test10() cause overflows with 32-bit or narrower coefficients. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/boundedaffineimage1…

1 0

ppl/tests/Box addconstraints1.cc addspacedims1 ...
by Roberto Bagnara 28 Feb '08

28 Feb '08

1 0

ppl/tests/Box boxhull.cc
by Roberto Bagnara 28 Feb '08

28 Feb '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-02-28 22:20:03 Removed files: tests/Box : boxhull.cc Log message: Unwanted file removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/boxhull.cc.diff?cvs…

1 0