facebookincubator / smt2utils
Libraries and tools for the SMT-LIB-2 standard.
GitHub Repo
 
Summary
email_034-attachment-send-file-code-cssCreated with Sketch.
Main Code: 7,403 LOC (27 files) = RS (98%) + TOML (1%)
Secondary code: Test: 116 LOC (1); Generated: 0 LOC (0); Build & Deploy: 0 LOC (0); Other: 398 LOC (13);
Artboard 48 Duplication: 8%
File Size: 15% long (>1000 LOC), 8% short (<= 200 LOC)
Unit Size: 21% long (>100 LOC), 55% short (<= 10 LOC)
Conditional Complexity: 2% complex (McCabe index > 50), 79% simple (McCabe index <= 5)
Logical Component Decomposition: primary (9 components)
files_time

1 year, 2 months old

  • 92% of code older than 365 days
  • <1% of code not updated in the past 365 days

0% of code updated more than 50 times

Also see temporal dependencies for files frequently changed in same commits.
Goals: Keep the system simple and easy to change (4)
Straight_Line
Features of interest:
TODOs
4 files
Commits Trend

Latest commit date: 2021-10-13

Reference analysis date: 2022-04-01

0
commits
(30 days)
0
contributors
(30 days)
Commits

138
Contributors

4
2021
show commits trend per language
Reports
Analysis Report
email_034-attachment-send-file-code-cssCreated with Sketch.
Source Code Overview
Analysis Report
Components
Analysis Report
Artboard 48
Duplication
Analysis Report
File Size
Analysis Report
files_time
File Age
Analysis Report
File Change Frequency
Analysis Report
Temporal Dependencies
Analysis Report
Commits
Analysis Report
Contributors
Analysis Report
Unit Size
Analysis Report
Conditional Complexity
Analysis Report
Straight_Line
Features of Interest
Analysis Report
All Metrics
Analysis Report
Goals & Controls
Analysis Report
Trend
Analysis Report
76_startup_sticky_notes
Notes & Findings

generated by sokrates.dev (configuration) on 2022-04-15; reference date: 2022-04-01