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: 55
- Daily file updates (only one update per file and date counted): 689
- First update: 2019-01-04
- Latest update: 2020-05-27
- Days between first and latest update: 510 (72 weeks, estimated 360 working days)
- Active days (at least one file change): 194
- Data:
File Change History Overall
File Age Distribution Overall
Days since first update
- There are 55 files with 12,317 lines of code in files.
- 55 files that are 366+ days old (12,317 lines of code)
- 0 files that are 181-365 days old (0 lines of code)
- 0 files that are 91-180 days old (0 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 55 files with 12,317 lines of code in files.
- 55 files have been last changed 366+ days ago (12,317 lines of code)
- 0 files have been last changed 181-365 days ago (0 lines of code)
- 0 files have been last changed 91-180 days ago (0 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
json, cs, csproj, txt, md, gitignore, gitattributes, props, yml, cmd, pl
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 |
|---|---|---|---|---|---|
 ProcedureTranslator.cs in Sources/SolToBoogie |
3056 | 105 | 654 | 1123 | 120 |
SolidityAST.cs in Sources/SolidityAST |
1474 | 150 | 851 | 1123 | 14 |
BoogieAST.cs in Sources/BoogieAST |
1181 | 108 | 661 | 1123 | 17 |
TransUtils.cs in Sources/SolToBoogie |
799 | 38 | 661 | 1123 | 55 |
GhostVarAndAxiomGenerator.cs in Sources/SolToBoogie |
611 | 39 | 661 | 1123 | 45 |
TranslatorContext.cs in Sources/SolToBoogie |
441 | 48 | 658 | 1123 | 34 |
HarnessGenerator.cs in Sources/SolToBoogie |
330 | 15 | 658 | 1123 | 43 |
SolidityDesugaring.cs in Sources/SolToBoogie |
281 | 35 | 851 | 1123 | 10 |
CFGBuilder.cs in Sources/SolidityCFG |
157 | 11 | 1115 | 1123 | 2 |
RegressionExecutor.cs in Sources/SolidityAST |
141 | 5 | 924 | 1123 | 6 |
MapArrayHelper.cs in Sources/SolToBoogie |
125 | 4 | 661 | 1123 | 26 |
BasicASTVisitor.cs in Sources/SolidityAST |
106 | 2 | 1115 | 1123 | 2 |
SolidityCFG.cs in Sources/SolidityCFG |
104 | 9 | 1115 | 1123 | 2 |
SourceInfoCollector.cs in Sources/SolToBoogie |
99 | 6 | 1102 | 1123 | 4 |
IASTVisitor.cs in Sources/SolidityAST |
99 | - | 1115 | 1123 | 2 |
FunctionEventResolver.cs in Sources/SolToBoogie |
98 | 6 | 888 | 1123 | 3 |
StateVariableResolver.cs in Sources/SolToBoogie |
92 | 6 | 1115 | 1123 | 2 |
BoogieTranslator.cs in Sources/SolToBoogie |
68 | 1 | 661 | 1123 | 33 |
TestMain.cs in Sources/SolidityCFG |
68 | 3 | 1115 | 1123 | 2 |
SolidityCompiler.cs in Sources/SolidityAST |
67 | 2 | 1115 | 1123 | 3 |
Files Not Recently Changed (Top 20)
| File | # lines | # units | last modified (days ago) | created (days ago) | # changes |
|---|---|---|---|---|---|
TestMain.cs in Sources/BoogieAST |
11 | 1 | 1115 | 1123 | 2 |
CFGNodeFactory.cs in Sources/SolidityCFG |
16 | 2 | 1115 | 1123 | 2 |
Utils.cs in Sources/SolidityAST |
17 | 1 | 1115 | 1123 | 2 |
ContractCollector.cs in Sources/SolToBoogie |
18 | 2 | 1115 | 1123 | 2 |
StateVariableCollector.cs in Sources/SolToBoogie |
26 | 2 | 1115 | 1123 | 2 |
InheritanceCollector.cs in Sources/SolToBoogie |
26 | 2 | 1115 | 1123 | 2 |
NodeMapper.cs in Sources/SolidityAST |
28 | 3 | 1115 | 1123 | 2 |
FunctionEventCollector.cs in Sources/SolToBoogie |
36 | 5 | 1115 | 1123 | 2 |
MapArrayCollector.cs in Sources/SolToBoogie |
37 | 4 | 1115 | 1123 | 2 |
IASTGenericVisitor.cs in Sources/SolidityAST |
53 | - | 1115 | 1123 | 2 |
ResolutionHelper.cs in Sources/SolToBoogie |
59 | 4 | 1115 | 1123 | 2 |
SolidityCompiler.cs in Sources/SolidityAST |
67 | 2 | 1115 | 1123 | 3 |
TestMain.cs in Sources/SolidityCFG |
68 | 3 | 1115 | 1123 | 2 |
StateVariableResolver.cs in Sources/SolToBoogie |
92 | 6 | 1115 | 1123 | 2 |
IASTVisitor.cs in Sources/SolidityAST |
99 | - | 1115 | 1123 | 2 |
SolidityCFG.cs in Sources/SolidityCFG |
104 | 9 | 1115 | 1123 | 2 |
BasicASTVisitor.cs in Sources/SolidityAST |
106 | 2 | 1115 | 1123 | 2 |
CFGBuilder.cs in Sources/SolidityCFG |
157 | 11 | 1115 | 1123 | 2 |
CompilerOutput.cs in Sources/SolidityAST |
48 | 2 | 1106 | 1123 | 4 |
SourceInfoCollector.cs in Sources/SolToBoogie |
99 | 6 | 1102 | 1123 | 4 |
Most Recently Created Files (Top 20)
| File | # lines | # units | last modified (days ago) | created (days ago) | # changes |
|---|---|---|---|---|---|
UsingCollector.cs in Sources/SolToBoogie |
37 | 4 | 746 | 753 | 2 |
ParseUtils.cs in Sources/SolToBoogie |
157 | - | 661 | 810 | 11 |
ModSetAnalysis.cs in Sources/SolToBoogie |
167 | 5 | 848 | 852 | 3 |
SolcManager.cs in Sources/ExternalToolsManager |
24 | 2 | 846 | 853 | 4 |
FallbackGenerator.cs in Sources/SolToBoogie |
158 | 5 | 717 | 866 | 15 |
DownloadedToolManager.cs in Sources/ExternalToolsManager |
173 | 11 | 846 | 867 | 6 |
DotnetCliToolManager.cs in Sources/ExternalToolsManager |
82 | 5 | 845 | 867 | 5 |
ToolManager.cs in Sources/ExternalToolsManager |
64 | 3 | 845 | 867 | 4 |
ExternalToolsManager.cs in Sources/ExternalToolsManager |
48 | 3 | 661 | 867 | 4 |
ToolSourceSettings.cs in Sources/ExternalToolsManager |
18 | - | 847 | 867 | 3 |
VeriSol.props in Sources |
14 | - | 614 | 867 | 7 |
RevertLogicGenerator.cs in Sources/SolToBoogie |
479 | 14 | 661 | 879 | 13 |
TranslatorFlags.cs in Sources/SolToBoogie |
57 | 1 | 661 | 892 | 28 |
VeriSolExecuter.cs in Sources/VeriSol |
383 | 12 | 620 | 940 | 34 |
Program.cs in Sources/VeriSol |
98 | 3 | 810 | 940 | 33 |
ModifierCollector.cs in Sources/SolToBoogie |
93 | 2 | 658 | 1101 | 10 |
RegressionExecutor.cs in Sources/SolToBoogieTest |
246 | 9 | 797 | 1109 | 36 |
Program.cs in Sources/SolToBoogieTest |
61 | 3 | 661 | 1109 | 22 |
CorralConfiguration.cs in Sources/SolToBoogieTest |
18 | - | 810 | 1109 | 4 |
ProcedureTranslator.cs in Sources/SolToBoogie |
3056 | 105 | 654 | 1123 | 120 |
Most Recently Changed Files (Top 20)
| File | # lines | # units | last modified (days ago) | created (days ago) | # changes |
|---|---|---|---|---|---|
 azure-pipelines.yml in root |
36 | - | 614 | 1123 | 18 |
VeriSol.props in Sources |
14 | - | 614 | 867 | 7 |
VeriSolExecuter.cs in Sources/VeriSol |
383 | 12 | 620 | 940 | 34 |
ProcedureTranslator.cs in Sources/SolToBoogie |
3056 | 105 | 654 | 1123 | 120 |
TranslatorContext.cs in Sources/SolToBoogie |
441 | 48 | 658 | 1123 | 34 |
HarnessGenerator.cs in Sources/SolToBoogie |
330 | 15 | 658 | 1123 | 43 |
ModifierCollector.cs in Sources/SolToBoogie |
93 | 2 | 658 | 1101 | 10 |
BoogieAST.cs in Sources/BoogieAST |
1181 | 108 | 661 | 1123 | 17 |
TransUtils.cs in Sources/SolToBoogie |
799 | 38 | 661 | 1123 | 55 |
GhostVarAndAxiomGenerator.cs in Sources/SolToBoogie |
611 | 39 | 661 | 1123 | 45 |
RevertLogicGenerator.cs in Sources/SolToBoogie |
479 | 14 | 661 | 879 | 13 |
ParseUtils.cs in Sources/SolToBoogie |
157 | - | 661 | 810 | 11 |
MapArrayHelper.cs in Sources/SolToBoogie |
125 | 4 | 661 | 1123 | 26 |
BoogieTranslator.cs in Sources/SolToBoogie |
68 | 1 | 661 | 1123 | 33 |
Program.cs in Sources/SolToBoogieTest |
61 | 3 | 661 | 1109 | 22 |
TranslatorFlags.cs in Sources/SolToBoogie |
57 | 1 | 661 | 892 | 28 |
ExternalToolsManager.cs in Sources/ExternalToolsManager |
48 | 3 | 661 | 867 | 4 |
TestMain.cs in Sources/SolidityAST |
35 | 2 | 661 | 1123 | 3 |
FallbackGenerator.cs in Sources/SolToBoogie |
158 | 5 | 717 | 866 | 15 |
UsingCollector.cs in Sources/SolToBoogie |
37 | 4 | 746 | 753 | 2 |