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 |
---|---|---|---|---|---|
core-extensions.tex in spec/bounds_safety |
1396 | - | 153 | 2191 | 43 |
interoperation.tex in spec/bounds_safety |
1364 | - | 146 | 2191 | 45 |
design-alternatives.tex in spec/bounds_safety |
884 | - | 311 | 2191 | 23 |
introduction.tex in spec/bounds_safety |
449 | - | 369 | 2191 | 27 |
simple-invariants.tex in spec/bounds_safety |
384 | - | 311 | 2191 | 12 |
lessons.tex in spec/bounds_safety |
328 | - | 1455 | 2191 | 8 |
pointers-to-pointers.tex in spec/bounds_safety |
258 | - | 311 | 2191 | 10 |
structure-bounds.tex in spec/bounds_safety |
224 | - | 953 | 2191 | 19 |
checkedc.tex in spec/bounds_safety |
221 | - | 269 | 2191 | 38 |
fragments.tex in spec/bounds_safety |
85 | - | 1455 | 2191 | 7 |
open-issues.tex in spec/bounds_safety |
81 | - | 1455 | 2191 | 15 |
abstract.tex in spec/bounds_safety |
39 | - | 1243 | 2191 | 8 |
sources.bib in spec/bounds_safety |
2135 | - | 850 | 2189 | 12 |
rel-align-picture1.tex in spec/bounds_safety/pictures |
32 | - | 1455 | 2188 | 3 |
build-pics.tex in spec/bounds_safety/pictures |
12 | - | 2169 | 2188 | 2 |
checking-variable-bounds.tex in spec/bounds_safety |
2120 | - | 235 | 2183 | 30 |
variable-bounds.tex in spec/bounds_safety |
1566 | - | 311 | 2183 | 36 |
span-compilation.tex in spec/bounds_safety |
182 | - | 1455 | 2112 | 2 |
related-work.tex in spec/bounds_safety |
795 | - | 850 | 2088 | 7 |
LICENSE.TXT in root |
19 | - | 2058 | 2063 | 2 |
File | # lines | # units | last modified (days ago) | created (days ago) | # changes |
---|---|---|---|---|---|
build-pics.tex in spec/bounds_safety/pictures |
12 | - | 2169 | 2188 | 2 |
LICENSE.TXT in root |
19 | - | 2058 | 2063 | 2 |
_builtin_common.h in include |
12 | - | 1548 | 1705 | 3 |
_builtin_string_checked.h in include |
56 | - | 1546 | 1795 | 5 |
_builtin_stdio_checked.h in include |
132 | - | 1546 | 1795 | 4 |
bm_res_install.r in papers/dynamic_checks/scripts |
1 | - | 1470 | 1470 | 1 |
bm_results_tab.tex in papers/dynamic_checks/scripts |
16 | - | 1470 | 1470 | 1 |
conclusion.tex in papers/dynamic_checks |
19 | - | 1470 | 1470 | 1 |
bm_results_macros.tex in papers/dynamic_checks/scripts |
20 | - | 1470 | 1470 | 1 |
abstract.tex in papers/dynamic_checks |
21 | - | 1470 | 1470 | 1 |
lvalue-expressions.tex in papers/dynamic_checks/grammars |
28 | - | 1470 | 1470 | 1 |
canonical.tex in papers/dynamic_checks/tables |
29 | - | 1470 | 1470 | 1 |
bmresults.tex in papers/dynamic_checks/tables |
31 | - | 1470 | 1470 | 1 |
bmdesc.tex in papers/dynamic_checks/tables |
35 | - | 1470 | 1470 | 1 |
listing-label.sty in papers/dynamic_checks |
38 | - | 1470 | 1470 | 1 |
tr02.tex in papers/dynamic_checks |
57 | - | 1470 | 1470 | 1 |
related_work.tex in papers/dynamic_checks |
69 | - | 1470 | 1470 | 1 |
c_syntax.tex in papers/dynamic_checks |
74 | - | 1470 | 1470 | 1 |
propagation_rules.tex in papers/dynamic_checks |
94 | - | 1470 | 1470 | 1 |
introduction.tex in papers/dynamic_checks |
107 | - | 1470 | 1470 | 1 |
File | # lines | # units | last modified (days ago) | created (days ago) | # changes |
---|---|---|---|---|---|
inttypes_checked_internal.h in include |
40 | - | 305 | 305 | 1 |
inet.h in include/arpa |
16 | - | 305 | 305 | 1 |
socket.h in include/sys |
16 | - | 305 | 305 | 1 |
threads.h in include |
16 | - | 305 | 305 | 1 |
unistd.h in include |
16 | - | 305 | 305 | 1 |
assert.h in include |
12 | - | 305 | 305 | 1 |
errno.h in include |
12 | - | 305 | 305 | 1 |
fenv.h in include |
12 | - | 305 | 305 | 1 |
math.h in include |
12 | - | 305 | 305 | 1 |
signal.h in include |
12 | - | 305 | 305 | 1 |
stdio.h in include |
12 | - | 305 | 305 | 1 |
stdlib.h in include |
12 | - | 305 | 305 | 1 |
string.h in include |
12 | - | 305 | 305 | 1 |
time.h in include |
12 | - | 305 | 305 | 1 |
void-ptr-replacements.tex in spec/bounds_safety |
314 | - | 180 | 1243 | 5 |
socket_checked.h in include/sys |
110 | - | 305 | 1244 | 5 |
inet_checked.h in include/arpa |
21 | - | 305 | 1244 | 4 |
assert_checked.h in include |
38 | - | 305 | 1272 | 5 |
errno_checked.h in include |
23 | - | 305 | 1278 | 4 |
checkedc_extensions.h in include |
25 | 1 | 234 | 1287 | 6 |
File | # lines | # units | last modified (days ago) | created (days ago) | # changes |
---|---|---|---|---|---|
interoperation.tex in spec/bounds_safety |
1364 | - | 146 | 2191 | 45 |
core-extensions.tex in spec/bounds_safety |
1396 | - | 153 | 2191 | 43 |
void-ptr-replacements.tex in spec/bounds_safety |
314 | - | 180 | 1243 | 5 |
stdio_checked.h in include |
140 | - | 234 | 1872 | 17 |
checkedc_extensions.h in include |
25 | 1 | 234 | 1287 | 6 |
checking-variable-bounds.tex in spec/bounds_safety |
2120 | - | 235 | 2183 | 30 |
checkedc.tex in spec/bounds_safety |
221 | - | 269 | 2191 | 38 |
socket_checked.h in include/sys |
110 | - | 305 | 1244 | 5 |
string_checked.h in include |
105 | - | 305 | 1872 | 19 |
stdlib_checked.h in include |
84 | - | 305 | 1872 | 14 |
threads_checked.h in include |
67 | - | 305 | 1872 | 6 |
inttypes_checked_internal.h in include |
40 | - | 305 | 305 | 1 |
assert_checked.h in include |
38 | - | 305 | 1272 | 5 |
time_checked.h in include |
32 | - | 305 | 1872 | 7 |
unistd_checked.h in include |
32 | - | 305 | 1546 | 7 |
math_checked.h in include |
29 | - | 305 | 1872 | 7 |
errno_checked.h in include |
23 | - | 305 | 1278 | 4 |
fenv_checked.h in include |
22 | - | 305 | 1872 | 6 |
signal_checked.h in include |
22 | - | 305 | 1872 | 6 |
inet_checked.h in include/arpa |
21 | - | 305 | 1244 | 4 |