1. 567e178 rename all mentions of null contracts to null spec (specification). by Stephan Herrmann · 11 years ago
  2. 46b2273 find the affected argument name also when the selected node *is* the argument. by Stephan Herrmann · 11 years ago
  3. 15d883b Several issues regarding initialization order by Stephan Herrmann · 11 years ago
  4. 24ccbe8 offer two proposals also in case of unknown nullness / missing annotation by Stephan Herrmann · 11 years ago
  5. f3e0c45 ranking of proposals: local change before change in super class. by Stephan Herrmann · 11 years ago
  6. 15e141c further adjust quickfixes to current implementation by Stephan Herrmann · 11 years ago
  7. 411b63d unify diagnostics for different nodes, using the same "type mismatch" messages throughout by Stephan Herrmann · 11 years ago
  8. acb097f + renamed one IProblem + adjust irritants to avoid conflict in v_C01 by Stephan Herrmann · 11 years ago
  9. 6f5943f New test and required fix: by Stephan Herrmann · 11 years ago
  10. e57451e separate out non-OTDT projects like the nullity prototype by Stephan Herrmann · 11 years ago