ChangeLog

   1 version: 0.03
   2 date: Tue Jun 29 13:16:46 CEST 2010
   3 changes:
   4         - new printing functions
   5         - support for "may" accesses in dependence analysis
   6         - improved coalescing
   7         - improved transitive closure
   8         - fix several hard to trigger bugs
   9         - improved argument parsing
  10         - support parametric vertex enumeration for barvinok
  11         - optionally use Bernstein expansion to compute bounds