microsoft / verisol
File Change Frequency

File change frequency (churn) shows the distribution of file updates (days with at least one commit).

File Change Frequency Overall
File Change Frequency Overall
The number of recorded file updates
  • There are 55 files with 12,317 lines of code.
    • 1 files changed more than 100 times (3,056 lines of code)
    • 1 files changed 51-100 times (799 lines of code)
    • 10 files changed 21-50 times (2,420 lines of code)
    • 12 files changed 6-20 times (4,218 lines of code)
    • 31 files changed 1-5 times (1,824 lines of code)
24% | 6% | 19% | 34% | 14%
Legend:
101+
51-100
21-50
6-20
1-5

Detailed data...

File Change Frequency per File Extension
json, cs, csproj, txt, md, gitignore, gitattributes, props, yml, cmd, pl
File Change Frequency per Extension
The number of recorded file updates
101+
51-100
21-50
6-20
1-5
cs24% | 6% | 19% | 33% | 14%
yml0% | 0% | 0% | 100% | 0%
props0% | 0% | 0% | 100% | 0%
File Change Frequency per Logical Decomposition
primary
primary (file change frequency)
The number of recorded file updates
101+
51-100
21-50
6-20
1-5
Sources/SolToBoogie41% | 10% | 21% | 16% | 10%
Sources/VeriSol0% | 0% | 100% | 0% | 0%
Sources/SolToBoogieTest0% | 0% | 94% | 0% | 5%
Sources/SolidityAST0% | 0% | 0% | 78% | 21%
Sources/BoogieAST0% | 0% | 0% | 99% | <1%
Sources/ExternalToolsManager0% | 0% | 0% | 42% | 57%
ROOT0% | 0% | 0% | 100% | 0%
Sources0% | 0% | 0% | 100% | 0%
Sources/SolidityCFG0% | 0% | 0% | 0% | 100%
Most Frequently Changed Files (Top 20)

See data for all files...

File# lines# unitslast modified
(days ago)		created
(days ago)		# changes
ProcedureTranslator.cs
in Sources/SolToBoogie
 3056 105 654 1123 120
TransUtils.cs
in Sources/SolToBoogie
 799 38 661 1123 55
GhostVarAndAxiomGenerator.cs
in Sources/SolToBoogie
 611 39 661 1123 45
HarnessGenerator.cs
in Sources/SolToBoogie
 330 15 658 1123 43
RegressionExecutor.cs
in Sources/SolToBoogieTest
 246 9 797 1109 36
VeriSolExecuter.cs
in Sources/VeriSol
 383 12 620 940 34
TranslatorContext.cs
in Sources/SolToBoogie
 441 48 658 1123 34
BoogieTranslator.cs
in Sources/SolToBoogie
 68 1 661 1123 33
Program.cs
in Sources/VeriSol
 98 3 810 940 33
TranslatorFlags.cs
in Sources/SolToBoogie
 57 1 661 892 28
MapArrayHelper.cs
in Sources/SolToBoogie
 125 4 661 1123 26
Program.cs
in Sources/SolToBoogieTest
 61 3 661 1109 22
azure-pipelines.yml
in root
 36 - 614 1123 18
BoogieAST.cs
in Sources/BoogieAST
 1181 108 661 1123 17
FallbackGenerator.cs
in Sources/SolToBoogie
 158 5 717 866 15
SolidityAST.cs
in Sources/SolidityAST
 1474 150 851 1123 14
RevertLogicGenerator.cs
in Sources/SolToBoogie
 479 14 661 879 13
ParseUtils.cs
in Sources/SolToBoogie
 157 - 661 810 11
ModifierCollector.cs
in Sources/SolToBoogie
 93 2 658 1101 10
SolidityDesugaring.cs
in Sources/SolToBoogie
 281 35 851 1123 10