File change frequency (churn) shows the distribution of file updates (days with at least one commit).
File | # lines | # units | last modified (days ago) | created (days ago) | # changes |
---|---|---|---|---|---|
heap.v in theories |
54 | - | 41 | 43 | 3 |
lang.v in theories |
84 | - | 43 | 48 | 3 |
adequacy.v in theories |
615 | - | 2 | 41 | 3 |
modality.v in theories |
134 | - | 42 | 43 | 2 |
interp.v in theories |
277 | - | 2 | 41 | 2 |
examples.v in theories |
308 | - | 41 | 42 | 2 |