Changes between Version 3 and Version 4 of PerformanceWarnings


Ignore:
Timestamp:
Oct 5, 2010 9:10:57 AM (5 years ago)
Author:
simonmar
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • PerformanceWarnings

    v3 v4  
    3838 * Warn about possible space leaks due to `-ffull-laziness`
    3939 * Warn about possible loss of sharing due to `-fstate-hack`
     40 * SpecConstr warnings
    4041
    4142== Output format ==