[PPL-devel] ppl/tests/Polyhedron Makefile.am nncminimize2.cc
Roberto Bagnara
bagnara at cs.unipr.it
Sun Feb 26 12:25:55 CET 2006
CVSROOT: /cvs/ppl
Module name: ppl
Changes by: bagnara at cs.unipr.it 2006-02-26 12:25:55
Modified files:
tests/Polyhedron: Makefile.am
Added files:
tests/Polyhedron: nncminimize2.cc
Log message:
New test for NNC_Polyhedron::ph.minimized_generators().
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/nncminimize2.cc?cvsroot=ppl&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/Makefile.am.diff?cvsroot=ppl&r1=1.52&r2=1.53
More information about the PPL-devel
mailing list