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).
Summary
- Number of files: 501
- Daily file updates (only one update per file and date counted): 1542
- First update: 2015-10-04
- Latest update: 2021-11-17
- Days between first and latest update: 2237 (319 weeks, estimated 1595 working days)
- Active days (at least one file change): 58
- Data:
File Change History Overall
File Age Distribution Overall
Days since first update
- There are 487 files with 61,764 lines of code in files.
- 312 files that are 366+ days old (45,221 lines of code)
- 169 files that are 181-365 days old (15,950 lines of code)
- 6 files that are 91-180 days old (593 lines of code)
- 0 files that are 31-90 days old (0 lines of code)
- 0 files that are 1-30 days old (0 lines of code)
Legend:
366+
181-365
91-180
31-90
1-30
Latest Change Distribution Overall
Days since last update
- There are 487 files with 61,764 lines of code in files.
- 311 files have been last changed 366+ days ago (45,193 lines of code)
- 153 files have been last changed 181-365 days ago (12,922 lines of code)
- 23 files have been last changed 91-180 days ago (3,649 lines of code)
- 0 files have been last changed 31-90 days ago (0 lines of code)
- 0 files have been last changed 1-30 days ago (0 lines of code)
Legend:
366+
181-365
91-180
31-90
1-30
File Change History per File Extension
cs, gitignore, csproj, cpp, xml, py, fs, txt, asm, ps1, md, cscfg, h, bat, vcxproj, ccproj, csdef, xaml, vim, smt2, cmd, vsixmanifest, sh, json, smt, inc, filters, resx
File Age Distribution per Extension
Days since first update
366+
181-365
91-180
31-90
1-30
Latest Change Distribution per Extension
Days since last update
366+
181-365
91-180
31-90
1-30
File Change History per Logical Decomposition
primary
primary (file age distribution)
Days since first update
366+
181-365
91-180
31-90
1-30
primary (latest change distribution)
Days since last update
366+
181-365
91-180
31-90
1-30
Oldest Files (Top 20)
| File | # lines | # units | last modified (days ago) | created (days ago) | # changes |
|---|---|---|---|---|---|
make-project.vcxproj in ironfleet/tools/scripts/integration-project |
59 | - | 2274 | 2295 | 2 |
 integration-testing.ps1 in ironfleet/tools/scripts |
54 | - | 2274 | 2295 | 2 |
dafnyBuildVsix.ps1 in ironfleet/tools/scripts |
26 | - | 2273 | 2295 | 2 |
 dafny-oneproc.py in ironfleet/tools/scripts |
28 | 2 | 314 | 2284 | 4 |
parse.py in ironfleet/tools/DepGraph |
62 | 4 | 2273 | 2279 | 2 |
main.fs in ironclad-apps/tools/Beat |
1856 | - | 2267 | 2267 | 1 |
 CompileMethod.cs in ironclad-apps/tools/DafnyCC |
1837 | 43 | 2267 | 2267 | 1 |
 blentry16.asm in ironclad-apps/src/Checked/BootLoader/SingLdrPc |
1458 | - | 2267 | 2267 | 1 |
blcrtasm.asm in ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86 |
1348 | - | 2267 | 2267 | 1 |
DafnyCC.cs in ironclad-apps/tools/DafnyCC |
1239 | 39 | 2267 | 2267 | 1 |
DafnySpecAst.cs in ironclad-apps/tools/DafnySpec/DafnySpecAst |
1215 | 66 | 2267 | 2267 | 1 |
Compile.cs in ironclad-apps/tools/DafnySpec |
1125 | 49 | 2267 | 2267 | 1 |
 bl.h in ironclad-apps/src/Checked/BootLoader/SingLdrPc |
1022 | - | 2267 | 2267 | 1 |
main.fs in ironclad-apps/tools/BoogieAsm |
876 | - | 2267 | 2267 | 1 |
 blfat.cpp in ironclad-apps/src/Checked/BootLoader/SingLdrPc |
852 | 1 | 2267 | 2267 | 1 |
DafnyRuntime.cs in ironclad-apps/tools/Dafny |
827 | 97 | 2267 | 2267 | 1 |
DafnySpec.cs in ironclad-apps/tools/DafnySpec |
797 | 53 | 2267 | 2267 | 1 |
blsingularity.cpp in ironclad-apps/src/Checked/BootLoader/SingLdrPc |
682 | 2 | 2267 | 2267 | 1 |
blstring.cpp in ironclad-apps/src/Checked/BootLoader/SingLdrPc |
679 | - | 2267 | 2267 | 1 |
blmm.cpp in ironclad-apps/src/Checked/BootLoader/SingLdrPc |
632 | - | 2267 | 2267 | 1 |
Files Not Recently Changed (Top 20)
| File | # lines | # units | last modified (days ago) | created (days ago) | # changes |
|---|---|---|---|---|---|
integration-testing.ps1 in ironfleet/tools/scripts |
54 | - | 2274 | 2295 | 2 |
make-project.vcxproj in ironfleet/tools/scripts/integration-project |
59 | - | 2274 | 2295 | 2 |
dafnyBuildVsix.ps1 in ironfleet/tools/scripts |
26 | - | 2273 | 2295 | 2 |
parse.py in ironfleet/tools/DepGraph |
62 | 4 | 2273 | 2279 | 2 |
aik.h in ironclad-apps/src/Checked/BootLoader/SingLdrPc/tpm |
2 | - | 2267 | 2267 | 1 |
env.ps1 in ironclad-apps |
5 | - | 2267 | 2267 | 1 |
parse_util.fs in ironclad-apps/tools/Beat |
7 | - | 2267 | 2267 | 1 |
TestEcho.py in ironclad-apps/src/Clients/Benchmark |
7 | - | 2267 | 2267 | 1 |
MainWindow.xaml in ironclad-apps/src/Clients/Benchmark/BenchmarkRequestGui |
7 | - | 2267 | 2267 | 1 |
App.xaml in ironclad-apps/src/Clients/Benchmark/BenchmarkRequestGui |
7 | - | 2267 | 2267 | 1 |
zero.asm in ironclad-apps/tools/scripts |
8 | - | 2267 | 2267 | 1 |
ServiceConfiguration.Local.cscfg in ironclad-apps/tools/NuBuild/NuBuildExecutionService |
8 | - | 2267 | 2267 | 1 |
ServiceConfiguration.Cloud.cscfg in ironclad-apps/tools/NuBuild/NuBuildExecutionService |
8 | - | 2267 | 2267 | 1 |
VirtualContents.cs in ironclad-apps/tools/NuBuild/NuBuild |
8 | - | 2267 | 2267 | 1 |
ServiceDefinition.csdef in ironclad-apps/tools/NuBuild/NuBuildExecutionService |
9 | - | 2267 | 2267 | 1 |
UnverifiedSentinelVirtualContents.cs in ironclad-apps/tools/NuBuild/NuBuild |
9 | - | 2267 | 2267 | 1 |
IRejectable.cs in ironclad-apps/tools/NuBuild/NuBuild |
9 | - | 2267 | 2267 | 1 |
IObligationsProducer.cs in ironclad-apps/tools/NuBuild/NuBuild |
9 | - | 2267 | 2267 | 1 |
IIncludePathContext.cs in ironclad-apps/tools/NuBuild/NuBuild |
9 | - | 2267 | 2267 | 1 |
IAsmProducer.cs in ironclad-apps/tools/NuBuild/NuBuild |
9 | - | 2267 | 2267 | 1 |
Most Recently Created Files (Top 20)
| File | # lines | # units | last modified (days ago) | created (days ago) | # changes |
|---|---|---|---|---|---|
dafny-line-count.py in ironfleet/tools/scripts |
283 | 17 | |||
build-summary.py in ironfleet/tools/scripts |
175 | 14 | |||
Vocabulary.cs in ironfleet/src/RedisClient/IronfleetShtClient |
120 | 5 | |||
Experiment.cs in ironfleet/src/RedisClient/IronfleetShtClient |
93 | 4 | |||
function_call_graph.py in ironfleet/tools/scripts |
92 | 12 | |||
Program.cs in ironfleet/src/RedisClient/IronfleetShtClient |
70 | 2 | |||
purge.py in ironfleet/tools/scripts |
68 | 11 | |||
RedisClient.cs in ironfleet/src/RedisClient/IronfleetShtClient |
42 | 3 | |||
StrawDog.cs in ironfleet/src/RedisClient/IronfleetShtClient |
37 | 2 | |||
IVocabularyModule.cs in ironfleet/src/RedisClient/IronfleetShtClient |
25 | 1 | |||
KeyValueStoreClient.cs in ironfleet/src/RedisClient/IronfleetShtClient |
20 | 1 | |||
AssemblyInfo.cs in ironfleet/src/RedisClient/IronfleetShtClient/Properties |
15 | - | |||
check-lf.ps1 in ironfleet/tools/scripts |
4 | - | |||
build.py in ironfleet/tools/scripts/integration-project |
1 | - | |||
Params.cs in ironfleet/src/CreateIronServiceCerts |
156 | 5 | 172 | 172 | 1 |
Params.cs in ironfleet/src/IronSHTServer |
105 | 5 | 172 | 172 | 1 |
Params.cs in ironfleet/src/IronLockServer |
92 | 4 | 172 | 172 | 1 |
Params.cs in ironfleet/src/TestIoFramework |
92 | 4 | 172 | 172 | 1 |
Program.cs in ironfleet/src/TestIoFramework |
80 | 4 | 172 | 172 | 1 |
Program.cs in ironfleet/src/CreateIronServiceCerts |
68 | 1 | 172 | 172 | 1 |
Most Recently Changed Files (Top 20)
| File | # lines | # units | last modified (days ago) | created (days ago) | # changes |
|---|---|---|---|---|---|
dafny-line-count.py in ironfleet/tools/scripts |
283 | 17 | |||
build-summary.py in ironfleet/tools/scripts |
175 | 14 | |||
Vocabulary.cs in ironfleet/src/RedisClient/IronfleetShtClient |
120 | 5 | |||
Experiment.cs in ironfleet/src/RedisClient/IronfleetShtClient |
93 | 4 | |||
function_call_graph.py in ironfleet/tools/scripts |
92 | 12 | |||
Program.cs in ironfleet/src/RedisClient/IronfleetShtClient |
70 | 2 | |||
purge.py in ironfleet/tools/scripts |
68 | 11 | |||
RedisClient.cs in ironfleet/src/RedisClient/IronfleetShtClient |
42 | 3 | |||
StrawDog.cs in ironfleet/src/RedisClient/IronfleetShtClient |
37 | 2 | |||
IVocabularyModule.cs in ironfleet/src/RedisClient/IronfleetShtClient |
25 | 1 | |||
KeyValueStoreClient.cs in ironfleet/src/RedisClient/IronfleetShtClient |
20 | 1 | |||
AssemblyInfo.cs in ironfleet/src/RedisClient/IronfleetShtClient/Properties |
15 | - | |||
check-lf.ps1 in ironfleet/tools/scripts |
4 | - | |||
build.py in ironfleet/tools/scripts/integration-project |
1 | - | |||
IoFramework.cs in ironfleet/src/Dafny/Distributed/Common/Native |
990 | 69 | 172 | 275 | 6 |
Client.cs in ironfleet/src/IronSHTClient |
529 | 25 | 172 | 272 | 7 |
IoNative.cs in ironfleet/src/Dafny/Distributed/Common/Native |
229 | 18 | 172 | 314 | 8 |
Program.cs in ironfleet/src/Dafny/Distributed/Services/RSL |
190 | 6 | 172 | 271 | 3 |
Params.cs in ironfleet/src/CreateIronServiceCerts |
156 | 5 | 172 | 172 | 1 |
Service.cs in ironfleet/src/IronRSLKVServer |
147 | 5 | 172 | 271 | 3 |