File age measurements show the distribution of file ages (days since the first commit) and the recency of file updates (days since the latest commit).
File | # lines | # units | last modified (days ago) | created (days ago) | # changes |
---|---|---|---|---|---|
lang.v in theories |
84 | - | 43 | 48 | 3 |
modality.v in theories |
134 | - | 42 | 43 | 2 |
heap.v in theories |
54 | - | 41 | 43 | 3 |
examples.v in theories |
308 | - | 41 | 42 | 2 |
adequacy.v in theories |
615 | - | 2 | 41 | 3 |
interp.v in theories |
277 | - | 2 | 41 | 2 |
File | # lines | # units | last modified (days ago) | created (days ago) | # changes |
---|---|---|---|---|---|
lang.v in theories |
84 | - | 43 | 48 | 3 |
modality.v in theories |
134 | - | 42 | 43 | 2 |
heap.v in theories |
54 | - | 41 | 43 | 3 |
examples.v in theories |
308 | - | 41 | 42 | 2 |
interp.v in theories |
277 | - | 2 | 41 | 2 |
adequacy.v in theories |
615 | - | 2 | 41 | 3 |
File | # lines | # units | last modified (days ago) | created (days ago) | # changes |
---|---|---|---|---|---|
adequacy.v in theories |
615 | - | 2 | 41 | 3 |
interp.v in theories |
277 | - | 2 | 41 | 2 |
examples.v in theories |
308 | - | 41 | 42 | 2 |
modality.v in theories |
134 | - | 42 | 43 | 2 |
heap.v in theories |
54 | - | 41 | 43 | 3 |
lang.v in theories |
84 | - | 43 | 48 | 3 |
File | # lines | # units | last modified (days ago) | created (days ago) | # changes |
---|---|---|---|---|---|
adequacy.v in theories |
615 | - | 2 | 41 | 3 |
interp.v in theories |
277 | - | 2 | 41 | 2 |
examples.v in theories |
308 | - | 41 | 42 | 2 |
heap.v in theories |
54 | - | 41 | 43 | 3 |
modality.v in theories |
134 | - | 42 | 43 | 2 |
lang.v in theories |
84 | - | 43 | 48 | 3 |