1 Oct
2001
1 Oct
'01
4:49 p.m.
CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: ericci@sandbox.cs.unipr.it 01/10/01 16:49:44
Modified files: src : Polyhedron.cc
Log message: Commented the function limited_widening_assign(...). Added a comment to check_universe().