apache / incubator-teaclave-verification
File Age & Freshness

File age measurements show the distribution of file ages (days since the first commit) and the file freshness (days since the latest commit).

Summary
File Change History Overall
File Age Distribution Overall
Days since first update
  • There are 29 files with 3,555 lines of code in files.
    • 29 files that are 366+ days old (3,555 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)
100% | 0% | 0% | 0% | 0%
Legend:
366+
181-365
91-180
31-90
1-30

explore: grouped by folders | grouped by age
File Freshness Distribution Overall
Days since last update
  • There are 29 files with 3,555 lines of code in files.
    • 29 files have been last changed 366+ days ago (3,555 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)
100% | 0% | 0% | 0% | 0%
Legend:
366+
181-365
91-180
31-90
1-30

explore: grouped by folders | grouped by freshness
File Change History per File Extension
thy, md, txt, json, yml
File Age Distribution per Extension
Days since first update
366+
181-365
91-180
31-90
1-30
thy100% | 0% | 0% | 0% | 0%
File Freshness Distribution per Extension
Days since last update
366+
181-365
91-180
31-90
1-30
thy100% | 0% | 0% | 0% | 0%
File Change History per Logical Decomposition
primary
primary (file age distribution)
Days since first update
366+
181-365
91-180
31-90
1-30
access_control_module100% | 0% | 0% | 0% | 0%
primary (file freshness distribution)
Days since last update
366+
181-365
91-180
31-90
1-30
access_control_module100% | 0% | 0% | 0% | 0%
Oldest Files (Top 29)
File# lines# unitscreatedlast modified# changes
(days)		# contributorsfirst
contributor		latest
contributor
thy
AttrConf.thy
in access_control_module
 623 - 2021-02-26 2022-01-29 4 3 caoshuang.cs@antgroup.com 77425230+seanver@users.nore...
thy
I_FMT_MSA.thy
in access_control_module/interpretation
 439 - 2021-02-26 2022-01-29 4 3 caoshuang.cs@antgroup.com 77425230+seanver@users.nore...
thy
I_ResrcAttr.thy
in access_control_module/interpretation
 226 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
I_AttrConf.thy
in access_control_module/interpretation
 221 - 2021-02-26 2022-01-29 4 3 caoshuang.cs@antgroup.com 77425230+seanver@users.nore...
thy
ResrcAttr.thy
in access_control_module
 213 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
FMT_MSA.thy
in access_control_module
 178 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
I_FDP_ACF.thy
in access_control_module/interpretation
 153 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
TeaclaveAccessControl.thy
in access_control_module
 152 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
ModelConf.thy
in access_control_module
 143 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
I_SysId.thy
in access_control_module/interpretation
 133 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
I_ModelConf.thy
in access_control_module/interpretation
 132 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
FDP_ACF.thy
in access_control_module
 129 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
FDP_ACC.thy
in access_control_module
 109 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
FIA_USB.thy
in access_control_module
 76 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
TeaclaveRequirements.thy
in access_control_module
 75 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
I_ResrcType.thy
in access_control_module/interpretation
 58 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
I_FIA_USB.thy
in access_control_module/interpretation
 50 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
ResrcType.thy
in access_control_module
 48 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
UsrAttr.thy
in access_control_module
 48 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
I_TeaclaveAccessControl.thy
in access_control_module/interpretation
 42 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
I_UsrAttr.thy
in access_control_module/interpretation
 41 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
I_TrustLevel.thy
in access_control_module/interpretation
 40 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
I_InfoType.thy
in access_control_module/interpretation
 40 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
TrustLevel.thy
in access_control_module
 38 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
I_FDP_ACC.thy
in access_control_module/interpretation
 38 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
InfoType.thy
in access_control_module
 38 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
SysId.thy
in access_control_module
 28 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
FDP_IFF.thy
in access_control_module
 22 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
FDP_IFC.thy
in access_control_module
 22 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
Files Not Recently Changed (Top 29)
File# lines# unitscreatedlast modified# changes
(days)		# contributorsfirst
contributor		latest
contributor
thy
FDP_IFC.thy
in access_control_module
 22 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
FDP_IFF.thy
in access_control_module
 22 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
SysId.thy
in access_control_module
 28 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
InfoType.thy
in access_control_module
 38 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
I_FDP_ACC.thy
in access_control_module/interpretation
 38 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
TrustLevel.thy
in access_control_module
 38 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
I_InfoType.thy
in access_control_module/interpretation
 40 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
I_TrustLevel.thy
in access_control_module/interpretation
 40 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
I_UsrAttr.thy
in access_control_module/interpretation
 41 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
I_TeaclaveAccessControl.thy
in access_control_module/interpretation
 42 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
UsrAttr.thy
in access_control_module
 48 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
ResrcType.thy
in access_control_module
 48 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
I_FIA_USB.thy
in access_control_module/interpretation
 50 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
I_ResrcType.thy
in access_control_module/interpretation
 58 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
TeaclaveRequirements.thy
in access_control_module
 75 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
FIA_USB.thy
in access_control_module
 76 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
FDP_ACC.thy
in access_control_module
 109 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
FDP_ACF.thy
in access_control_module
 129 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
I_ModelConf.thy
in access_control_module/interpretation
 132 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
I_SysId.thy
in access_control_module/interpretation
 133 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
ModelConf.thy
in access_control_module
 143 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
TeaclaveAccessControl.thy
in access_control_module
 152 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
I_FDP_ACF.thy
in access_control_module/interpretation
 153 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
FMT_MSA.thy
in access_control_module
 178 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
ResrcAttr.thy
in access_control_module
 213 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
I_ResrcAttr.thy
in access_control_module/interpretation
 226 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
I_AttrConf.thy
in access_control_module/interpretation
 221 - 2021-02-26 2022-01-29 4 3 caoshuang.cs@antgroup.com 77425230+seanver@users.nore...
thy
I_FMT_MSA.thy
in access_control_module/interpretation
 439 - 2021-02-26 2022-01-29 4 3 caoshuang.cs@antgroup.com 77425230+seanver@users.nore...
thy
AttrConf.thy
in access_control_module
 623 - 2021-02-26 2022-01-29 4 3 caoshuang.cs@antgroup.com 77425230+seanver@users.nore...
Most Recently Created Files (Top 29)
File# lines# unitscreatedlast modified# changes
(days)		# contributorsfirst
contributor		latest
contributor
thy
AttrConf.thy
in access_control_module
 623 - 2021-02-26 2022-01-29 4 3 caoshuang.cs@antgroup.com 77425230+seanver@users.nore...
thy
I_FMT_MSA.thy
in access_control_module/interpretation
 439 - 2021-02-26 2022-01-29 4 3 caoshuang.cs@antgroup.com 77425230+seanver@users.nore...
thy
I_ResrcAttr.thy
in access_control_module/interpretation
 226 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
I_AttrConf.thy
in access_control_module/interpretation
 221 - 2021-02-26 2022-01-29 4 3 caoshuang.cs@antgroup.com 77425230+seanver@users.nore...
thy
ResrcAttr.thy
in access_control_module
 213 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
FMT_MSA.thy
in access_control_module
 178 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
I_FDP_ACF.thy
in access_control_module/interpretation
 153 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
TeaclaveAccessControl.thy
in access_control_module
 152 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
ModelConf.thy
in access_control_module
 143 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
I_SysId.thy
in access_control_module/interpretation
 133 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
I_ModelConf.thy
in access_control_module/interpretation
 132 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
FDP_ACF.thy
in access_control_module
 129 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
FDP_ACC.thy
in access_control_module
 109 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
FIA_USB.thy
in access_control_module
 76 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
TeaclaveRequirements.thy
in access_control_module
 75 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
I_ResrcType.thy
in access_control_module/interpretation
 58 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
I_FIA_USB.thy
in access_control_module/interpretation
 50 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
ResrcType.thy
in access_control_module
 48 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
UsrAttr.thy
in access_control_module
 48 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
I_TeaclaveAccessControl.thy
in access_control_module/interpretation
 42 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
I_UsrAttr.thy
in access_control_module/interpretation
 41 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
I_TrustLevel.thy
in access_control_module/interpretation
 40 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
I_InfoType.thy
in access_control_module/interpretation
 40 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
TrustLevel.thy
in access_control_module
 38 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
I_FDP_ACC.thy
in access_control_module/interpretation
 38 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
InfoType.thy
in access_control_module
 38 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
SysId.thy
in access_control_module
 28 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
FDP_IFF.thy
in access_control_module
 22 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
FDP_IFC.thy
in access_control_module
 22 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
Most Recently Changed Files (Top 29)
File# lines# unitscreatedlast modified# changes
(days)		# contributorsfirst
contributor		latest
contributor
thy
AttrConf.thy
in access_control_module
 623 - 2021-02-26 2022-01-29 4 3 caoshuang.cs@antgroup.com 77425230+seanver@users.nore...
thy
I_FMT_MSA.thy
in access_control_module/interpretation
 439 - 2021-02-26 2022-01-29 4 3 caoshuang.cs@antgroup.com 77425230+seanver@users.nore...
thy
I_AttrConf.thy
in access_control_module/interpretation
 221 - 2021-02-26 2022-01-29 4 3 caoshuang.cs@antgroup.com 77425230+seanver@users.nore...
thy
I_ResrcAttr.thy
in access_control_module/interpretation
 226 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
ResrcAttr.thy
in access_control_module
 213 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
FMT_MSA.thy
in access_control_module
 178 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
I_FDP_ACF.thy
in access_control_module/interpretation
 153 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
TeaclaveAccessControl.thy
in access_control_module
 152 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
ModelConf.thy
in access_control_module
 143 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
I_SysId.thy
in access_control_module/interpretation
 133 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
I_ModelConf.thy
in access_control_module/interpretation
 132 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
FDP_ACF.thy
in access_control_module
 129 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
FDP_ACC.thy
in access_control_module
 109 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
FIA_USB.thy
in access_control_module
 76 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
TeaclaveRequirements.thy
in access_control_module
 75 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
I_ResrcType.thy
in access_control_module/interpretation
 58 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
I_FIA_USB.thy
in access_control_module/interpretation
 50 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
ResrcType.thy
in access_control_module
 48 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
UsrAttr.thy
in access_control_module
 48 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
I_TeaclaveAccessControl.thy
in access_control_module/interpretation
 42 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
I_UsrAttr.thy
in access_control_module/interpretation
 41 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
I_TrustLevel.thy
in access_control_module/interpretation
 40 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
I_InfoType.thy
in access_control_module/interpretation
 40 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
TrustLevel.thy
in access_control_module
 38 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
I_FDP_ACC.thy
in access_control_module/interpretation
 38 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
InfoType.thy
in access_control_module
 38 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
SysId.thy
in access_control_module
 28 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
FDP_IFF.thy
in access_control_module
 22 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com
thy
FDP_IFC.thy
in access_control_module
 22 - 2021-02-26 2021-02-26 1 1 caoshuang.cs@antgroup.com caoshuang.cs@antgroup.com