October 2007 - PPL-devel - BUGSENG Mailman

ppl/tests/Polyhedron maxspacedim1.cc
by Enea Zaffanella 29 Oct '07

29 Oct '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2007-10-29 11:37:21 Modified files: tests/Polyhedron: maxspacedim1.cc Log message: Test corrected so as to take into proper account 32bit architectures. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/maxspacedim1…

1 0

ppl/tests/Polyhedron h79widening1.cc
by Enea Zaffanella 27 Oct '07

27 Oct '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2007-10-27 14:47:20 Modified files: tests/Polyhedron: h79widening1.cc Log message: Simplified the logic underlying test01. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/h79widening1…

1 0

ppl/tests/Grid affinepreimage1.cc
by Patricia Hill 27 Oct '07

27 Oct '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2007-10-27 13:07:41 Modified files: tests/Grid : affinepreimage1.cc Log message: Removed TODO comment and uncommented gr.add_congruence((3*A - 6*B %= 3) / 9); Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/affinepreimage1.cc…

1 0

ppl/tests/Polyhedron dualhypercubes.cc
by Enea Zaffanella 27 Oct '07

27 Oct '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2007-10-27 12:36:30 Modified files: tests/Polyhedron: dualhypercubes.cc Log message: Modified to compute (and print in noisy mode) information on the cardinality of the intermediate results, as well as checking the cardinalities of the final results to match those reported in the FAC 2005 paper. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/dualhypercub…

1 0

ppl/tests/Octagonal_Shape writeoctagon1.cc
by Roberto Bagnara 27 Oct '07

27 Oct '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-10-27 08:36:00 Modified files: tests/Octagonal_Shape: writeoctagon1.cc Log message: Tests extended and FIXMEs resolved. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/writeoc…

1 0

ppl/tests/Grid affinepreimage1.cc
by Roberto Bagnara 27 Oct '07

27 Oct '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-10-27 07:05:53 Modified files: tests/Grid : affinepreimage1.cc Log message: Avoid abusing logical operators. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/affinepreimage1.cc…

1 0

ppl/tests/Grid membytes1.cc
by Roberto Bagnara 27 Oct '07

27 Oct '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-10-27 06:38:34 Modified files: tests/Grid : membytes1.cc Log message: TODO dealt with. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/membytes1.cc.diff?…

1 0

ppl/tests/Polyhedron maxspacedim1.cc
by Roberto Bagnara 27 Oct '07

27 Oct '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-10-27 06:28:14 Modified files: tests/Polyhedron: maxspacedim1.cc Log message: One FIXME resolved, another one added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/maxspacedim1…

1 0

ppl/tests/Polyhedron .cvsignore writegensys1.c ...
by Roberto Bagnara 26 Oct '07

26 Oct '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-10-26 22:01:06 Modified files: tests/Polyhedron: .cvsignore writegensys1.cc writepolyhedron1.cc writepolyhedron2.cc Log message: Several FIXMEs resolved. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/.cvsignore.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/writegensys1… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/writepolyhed… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/writepolyhed…

1 0

ppl/tests/Polyhedron linearpartition1.cc
by Roberto Bagnara 26 Oct '07

26 Oct '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-10-26 20:54:29 Modified files: tests/Polyhedron: linearpartition1.cc Log message: FIXME resolved: now test04() checks all the results. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/linearpartit…

1 0