#870
  • Created on
    2011-06-29 11:23
  • Reported by
    Vlad Dumitrescu
  • Work remaining
    24.0 hours
  • Worked hours
    8.0 hours
  • Status
    New
  • Priority
    Normal (3)
  • Assigned to
    -
  • Milestone
    freezebox
  • Plan Level
    -
  • Permission type
    None
  • Estimate
    None/Small/Medium/Large None
  • Due Date
    -

Attachments

Related Tickets

Add new subtask or bug

dialyzer: filter out uninteresting warnings

When using dialyzer on a codebase with incomplete plt information, there will be many warnings that are cause by that missing information.

The user should be able to filter out these (maybe as a quick fix), hiding them from view, and also to restore hidden messages.

The list of filtered messages should be persistent between eclipse sessions (though it is unclear how to detect if the same message has moved to a different line because the file was edited).
User picture
  on 2011-06-29 11:23 *
By Vlad Dumitrescu
Category changed from Bug to New feature
Category changed from Bug to New feature
User picture
  on 2011-08-23 11:46 *
By Vlad Dumitrescu
Assigned to set to jakobc
Assigned to set to jakobc
User picture
  on 2011-08-29 13:42 *
By jakobc
Work remaining changed from 0.0 to 8.0
Work remaining changed from 0.0 to 8.0
User picture
  on 2011-08-29 13:46 *
By jakobc
Work remaining changed from 8.0 to 24.0
Work remaining changed from 8.0 to 24.0
User picture
  on 2011-09-27 10:51 *
By Vlad Dumitrescu
Component changed from None to other tools
Component changed from None to other tools
Updating tickets (#894, #608, #908, #613, #861, #840, #842, #841, #870, #619, #860)
User picture
  on 2011-10-05 11:51 *
By Vlad Dumitrescu
Milestone changed from sprint #23 to sprint #25
Milestone changed from sprint #23 to sprint #25
Updating tickets (#894, #861, #870, #889, #834)
User picture
  on 2011-10-11 09:12 *
By jakobc
Milestone changed from sprint #25 to sprint #26
Milestone changed from sprint #25 to sprint #26
Updating tickets (#861, #908, #916, #917, #831, #608, #834, #870, #889, #894, #919, #876, #847, #858, #859, #882, #930, #891, #909, #933, #934, #932, #807)
User picture
  on 2011-11-17 12:30 *
By jakobc
Milestone changed from sprint #26 to sprint #27
Milestone changed from sprint #26 to sprint #27
Updating tickets (#908, #608, #870, #894)
User picture
  on 2011-12-13 12:53 *
By Vlad Dumitrescu
Milestone changed from sprint #27 - 0.14.0 to sprint #28 - 0.14.1
Milestone changed from sprint #27 - 0.14.0 to sprint #28 - 0.14.1
User picture
  on 2012-01-12 14:10 *
By Vlad Dumitrescu
Milestone changed from sprint #28 - 0.15 to backlog
Milestone changed from sprint #28 - 0.15 to backlog
Updating tickets (#608, #861, #870, #894, #908)
User picture
  on 2013-01-22 20:13 *
By Vlad Dumitrescu
Found in version changed from 0.13.0 to -none-
Milestone changed from backlog to after v1.0
Found in version changed from 0.13.0 to -none-
Milestone changed from backlog to after v1.0
User picture
  on 2013-01-23 11:08 *
By Vlad Dumitrescu
Assigned to changed from jakobc to -none-
Assigned to changed from jakobc to -none-