dialyzer: integrate offline usage
If dialyzer is run offline, we could have it save the warnings in a file (in Erlang term format!) and then show them in the problems view. This could be done by a "dialyzer builder light" that just looks for the file and creates warnings from it.
The warnings should be possible to be marked as "done" and hidden from the view, so that one knows which ones have been handled.
The next offline run will of course ignore these annotations.
The warnings should be possible to be marked as "done" and hidden from the view, so that one knows which ones have been handled.
The next offline run will of course ignore these annotations.
Leave a comment
on 2011-03-03 11:39 *
By Vlad Dumitrescu
Updating tickets (#737, #242, #364, #373, #411, #473, #561, #218, #339, #358, #422, #423, #424, #425, #428, #432, #535, #543, #599, #636, #671, #684, #693, #694, #699, #41, #52, #64, #83, #93, #120, #149, #157, #163, #177, #179, #194, #195, #219, #222, #228, #261, #274, #281, #283, #285, #298, #318, #335, #349, #351, #375, #379, #383, #401, #405, #409, #412, #413, #434, #442, #449, #450, #451, #454, #460, #471, #492, #523, #537, #555, #559, #574, #577, #581, #598, #603, #615, #619, #632, #634, #639, #640, #641, #642, #643, #645, #658, #660, #662, #664, #665, #667, #673, #674, #679, #685, #695, #696, #700, #705, #707, #709, #716, #719, #720, #722, #728, #736, #738, #741, #743, #744, #746, #759, #760, #761, #762, #766, #767, #768, #769, #770, #771, #772, #773, #774, #775, #776, #779, #780, #786, #788, #789, #790, #791, #159, #372, #443, #479, #564, #601, #610, #622, #677, #429, #489)
on 2011-03-03 11:40 *
By Vlad Dumitrescu
Updating tickets (#560, #613, #737, #41, #52, #64, #83, #93, #120, #149, #157, #159, #163, #177, #179, #194, #195, #218, #219, #222, #228, #242, #261, #274, #281, #283, #285, #298, #318, #335, #339, #349, #351, #358, #364, #372, #373, #375, #379, #383, #401, #405, #409, #411, #412, #413, #422, #423, #424, #425, #428, #429, #432, #434, #442, #443, #449, #450, #451, #454, #460, #471, #473, #479, #489, #492, #523, #535, #537, #543, #555, #559, #561, #564, #574, #577, #581, #598, #599, #601, #603, #610, #615, #619, #622, #632, #634, #636, #639, #640, #641, #642, #643, #645, #658, #660, #662, #664, #665, #667, #671, #673, #674, #677, #679, #684, #685, #693, #694, #695, #696, #699, #700, #705, #707, #709, #716, #719, #720, #722, #728, #736, #738, #741, #743, #744, #746, #759, #760, #761, #762, #766, #767, #768, #769, #770, #771, #772, #773, #774, #775, #776, #779, #780, #786, #788, #789, #790, #791)
on 2011-08-24 09:17 *
By Vlad Dumitrescu
Updating tickets (#802, #52, #64, #460, #720, #749, #769, #775, #776, #786, #851, #83, #93, #149, #157, #163, #179, #194, #195, #222, #228, #274, #281, #283, #285, #335, #339, #349, #351, #358, #364, #373, #375, #379, #383, #401, #405, #409, #411, #413, #422, #424, #425, #428, #434, #442, #443, #449, #450, #454, #471, #479, #492, #523, #535, #537, #543, #561, #564, #574, #590, #598, #599, #603, #610, #615, #619, #632, #634, #636, #639, #640, #641, #642, #643, #645, #658, #660, #662, #664, #665, #674, #677, #684, #685, #688, #689, #693, #694, #695, #696, #699, #700, #707, #709, #719, #736, #743, #744, #746, #748, #759, #760, #761, #762, #774, #778, #780, #788, #789, #796, #798, #799, #800, #803, #809, #812, #813, #816, #820, #822, #829, #836, #837, #840, #841, #842, #848, #849, #850, #853, #854, #855, #856, #857, #860, #867, #868, #871, #872, #873, #875, #41, #159, #372, #429, #489, #577, #601, #622, #667, #679, #767, #768, #772, #785, #771)
on 2013-05-22 12:02 *
By Vlad Dumitrescu
Found in version changed from 0.9.0 to -none-
Milestone changed from backlog to after v1.0
Found in version changed from 0.9.0 to -none-
Milestone changed from backlog to after v1.0