March 2008 - PPL-devel - BUGSENG Mailman

ppl/src Polyhedron.templates.hh
by Enea Zaffanella 01 Mar '08

01 Mar '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-03-01 14:55:13 Modified files: src : Polyhedron.templates.hh Log message: Modified implementation of templatic constructor taking a Box: open bounds are now approximated using topologically closed halfspaces if the polyhedron being built is necessarily closed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.templates.hh.d…

1 0

ppl/tests/Box boundedaffinepreimage1.cc
by Enea Zaffanella 01 Mar '08

01 Mar '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-03-01 14:53:11 Modified files: tests/Box : boundedaffinepreimage1.cc Log message: In test09() a C_Polyhedron is enough to check the result obtained. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/boundedaffinepreima…

1 0

ppl/tests ppl_test.hh
by Roberto Bagnara 01 Mar '08

01 Mar '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-03-01 13:41:24 Modified files: tests : ppl_test.hh Log message: Improved check_result() functions. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/ppl_test.hh.diff?cvsroo…

1 0

ppl/tests/Box generalizedaffinepreimage1.cc
by Roberto Bagnara 01 Mar '08

01 Mar '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-03-01 09:26:04 Modified files: tests/Box : generalizedaffinepreimage1.cc Log message: Indentation fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/generalizedaffinepr…

1 0

ppl/tests/Box boundedaffinepreimage1.cc
by Roberto Bagnara 01 Mar '08

01 Mar '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-03-01 09:23:03 Modified files: tests/Box : boundedaffinepreimage1.cc Log message: Temporarily patched test09(); FIXME added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/boundedaffinepreima…

1 0

ppl/tests/Box boundedaffinepreimage1.cc
by Roberto Bagnara 01 Mar '08

01 Mar '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-03-01 08:39:21 Modified files: tests/Box : boundedaffinepreimage1.cc Log message: Indentation fixed. Please do insert the lines ;; Do not use tabs for indentation. (setq-default indent-tabs-mode nil) into your .emacs file. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/boundedaffinepreima…

1 0

ppl/tests/Box boundedaffinepreimage1.cc
by Patricia Hill 01 Mar '08

01 Mar '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-03-01 08:08:59 Modified files: tests/Box : boundedaffinepreimage1.cc Log message: Revised check_result expected results for test12. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/boundedaffinepreima…

1 0