Overview
File Change Frequency Overall
  • There are 335 files with 140,077 lines of code.
    • 0 files changed more than 100 times (0 lines of code)
    • 0 files changed 51-100 times (0 lines of code)
    • 0 files changed 21-50 times (0 lines of code)
    • 58 files changed 6-20 times (23,701 lines of code)
    • 277 files changed 1-5 times (116,376 lines of code)
0% | 0% | 0% | 16% | 83%
Legend:
101+
51-100
21-50
6-20
1-5

explore: grouped by folders | grouped by update frequency | data
Contributors Count Frequency Overall
  • There are 335 files with 140,077 lines of code.
    • 0 files changed by more than 25 contributors (0 lines of code)
    • 0 files changed by 11-25 contributors (0 lines of code)
    • 12 files changed by 6-10 contributors (6,460 lines of code)
    • 144 files changed by 2-5 contributors (60,492 lines of code)
    • 179 files changed by 1 contributor (73,125 lines of code)
0% | 0% | 4% | 43% | 52%
Legend:
26+
11-25
6-10
2-5
1

explore: grouped by folders | grouped by contributors count | data
File Change Frequency per File Extension
hpp, cpp, h, c, rst, txt, json, yml, in, py, md, cc, svg, gitignore, xml, yaml, inc, clang-format, toml
File Change Frequency per Extension
The number of recorded file updates
101+
51-100
21-50
6-20
1-5
hpp0% | 0% | 0% | 46% | 53%
cpp0% | 0% | 0% | 3% | 96%
c0% | 0% | 0% | 0% | 100%
h0% | 0% | 0% | 0% | 100%
in0% | 0% | 0% | 0% | 100%
cc0% | 0% | 0% | 0% | 100%
py0% | 0% | 0% | 0% | 100%
inc0% | 0% | 0% | 0% | 100%
yaml0% | 0% | 0% | 0% | 100%
toml0% | 0% | 0% | 0% | 100%
xml0% | 0% | 0% | 0% | 100%
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
lib0% | 0% | 0% | 16% | 83%
experiments0% | 0% | 0% | 30% | 69%
tools0% | 0% | 0% | 0% | 100%
ROOT0% | 0% | 0% | 0% | 100%
.ql0% | 0% | 0% | 0% | 100%
Most Frequently Changed Files (Top 50)

See data for all files...

File# lines# unitscreatedlast modified# changes
(days)
# contributorsline
churn
first
contributor
latest
contributor
constructors.hpp
in lib/kitty/kitty
1077 32 2018-06-09 2025-05-19 17 8 +1664 / -77 mathias.soeken@gmail.com 89910597+costamag@users.nor...
verilog.hpp
in lib/lorina/lorina
1252 73 2018-07-11 2022-11-28 17 5 +2750 / -264 heinz.riener@gmail.com siang-yun.lee@epfl.ch
npn.hpp
in lib/kitty/kitty
748 19 2018-06-09 2025-05-19 16 7 +1351 / -24 mathias.soeken@gmail.com 89910597+costamag@users.nor...
properties.hpp
in lib/kitty/kitty
228 14 2018-06-09 2025-05-19 15 7 +419 / -45 mathias.soeken@gmail.com 89910597+costamag@users.nor...
blif.hpp
in lib/lorina/lorina
329 16 2018-05-13 2021-11-17 14 6 +1177 / -49 mathias.soeken@epfl.ch siang-yun.lee@epfl.ch
utils.hpp
in lib/lorina/lorina/detail
166 11 2018-05-13 2021-11-17 13 6 +1378 / -300 mathias.soeken@epfl.ch siang-yun.lee@epfl.ch
bit_operations.hpp
in lib/kitty/kitty
361 37 2018-06-09 2025-07-30 13 6 +614 / -34 mathias.soeken@gmail.com 89910597+costamag@users.nor...
print.hpp
in lib/kitty/kitty
385 18 2018-06-09 2025-05-19 13 5 +697 / -127 mathias.soeken@gmail.com 89910597+costamag@users.nor...
operations.hpp
in lib/kitty/kitty
1495 111 2018-06-09 2025-07-30 13 6 +2733 / -244 mathias.soeken@gmail.com 89910597+costamag@users.nor...
cube.hpp
in lib/kitty/kitty
200 23 2018-06-09 2025-05-19 12 6 +345 / -12 mathias.soeken@gmail.com 89910597+costamag@users.nor...
bench.hpp
in lib/lorina/lorina
204 10 2018-05-13 2021-11-17 12 4 +930 / -49 mathias.soeken@epfl.ch siang-yun.lee@epfl.ch
spec.hpp
in lib/percy/percy
335 15 2018-07-23 2022-11-28 12 5 +539 / -126 mathias.soeken@gmail.com siang-yun.lee@epfl.ch
aiger.hpp
in lib/lorina/lorina
625 37 2018-05-13 2026-08-07 12 6 +2517 / -179 mathias.soeken@epfl.ch marcel.walter@tum.de
percy.hpp
in lib/percy/percy
1651 9 2018-07-23 2022-11-28 12 5 +4205 / -2347 mathias.soeken@gmail.com siang-yun.lee@epfl.ch
experiments.hpp
in experiments
501 19 2019-04-03 2024-02-15 11 7 +664 / -54 mathias.soeken@gmail.com 44085674+aletempiac@users.n...
spectral.hpp
in lib/kitty/kitty
924 46 2018-06-09 2025-05-19 11 5 +1255 / -51 mathias.soeken@gmail.com 89910597+costamag@users.nor...
traits.hpp
in lib/kitty/kitty
17 - 2018-06-14 2025-05-19 10 5 +73 / -18 mathias.soeken@gmail.com 89910597+costamag@users.nor...
kitty.hpp
in lib/kitty/kitty
25 - 2018-06-09 2025-05-19 10 5 +76 / -6 mathias.soeken@gmail.com 89910597+costamag@users.nor...
dynamic_truth_table.hpp
in lib/kitty/kitty
69 16 2018-06-09 2025-05-19 10 5 +203 / -12 mathias.soeken@gmail.com 89910597+costamag@users.nor...
static_truth_table.hpp
in lib/kitty/kitty
104 30 2018-06-09 2025-05-19 10 5 +305 / -15 mathias.soeken@gmail.com 89910597+costamag@users.nor...
pla.hpp
in lib/lorina/lorina
196 19 2018-05-13 2021-05-05 10 5 +890 / -32 mathias.soeken@epfl.ch heinz.riener@googlemail.com
chain.hpp
in lib/percy/percy
706 13 2018-07-23 2023-01-18 10 4 +937 / -55 mathias.soeken@gmail.com siang-yun.lee@epfl.ch
decomposition.hpp
in lib/kitty/kitty
721 11 2019-03-31 2025-05-19 10 6 +1001 / -45 mathias.soeken@gmail.com 89910597+costamag@users.nor...
mapper.cpp
in experiments
71 1 2021-04-27 2024-02-15 9 3 +185 / -66 44085674+aletempiac@users.n... 44085674+aletempiac@users.n...
affine.hpp
in lib/kitty/kitty
110 11 2018-06-09 2025-05-19 9 5 +234 / -17 mathias.soeken@gmail.com 89910597+costamag@users.nor...
algorithm.hpp
in lib/kitty/kitty
263 26 2018-06-09 2025-05-19 9 5 +504 / -15 mathias.soeken@gmail.com 89910597+costamag@users.nor...
lorina.hpp
in lib/lorina/lorina
9 - 2018-05-13 2021-03-12 8 6 +129 / -10 mathias.soeken@epfl.ch siang-yun.lee@epfl.ch
tokenizer.hpp
in lib/lorina/lorina/detail
103 6 2018-07-11 2021-05-05 8 3 +323 / -26 heinz.riener@gmail.com heinz.riener@googlemail.com
implicant.hpp
in lib/kitty/kitty
139 3 2018-06-09 2025-05-19 8 5 +255 / -11 mathias.soeken@gmail.com 89910597+costamag@users.nor...
partial_truth_table.hpp
in lib/kitty/kitty
140 22 2020-04-07 2025-05-19 8 4 +327 / -27 lee30sonia@gmail.com 89910597+costamag@users.nor...
operators.hpp
in lib/kitty/kitty
332 5 2018-06-09 2025-05-19 8 5 +526 / -19 mathias.soeken@gmail.com 89910597+costamag@users.nor...
partial_dag.hpp
in lib/percy/percy
538 16 2018-07-23 2020-04-16 8 2 +2765 / -1495 mathias.soeken@gmail.com heinz.riener@googlemail.com
encoders.hpp
in lib/percy/percy
11 - 2018-07-23 2020-04-16 7 3 +26 / -12 mathias.soeken@gmail.com heinz.riener@googlemail.com
tt_utils.hpp
in lib/percy/percy
26 - 2018-07-23 2020-04-16 7 4 +65 / -33 mathias.soeken@gmail.com heinz.riener@googlemail.com
cnf.hpp
in lib/kitty/kitty
29 1 2018-06-09 2025-05-19 7 5 +85 / -6 mathias.soeken@gmail.com 89910597+costamag@users.nor...
utils.hpp
in lib/kitty/kitty/detail
41 6 2018-06-09 2025-05-19 7 4 +96 / -11 mathias.soeken@gmail.com 89910597+costamag@users.nor...
hash.hpp
in lib/kitty/kitty
44 4 2018-06-09 2025-05-19 7 5 +101 / -6 mathias.soeken@gmail.com 89910597+costamag@users.nor...
enumeration.hpp
in lib/kitty/kitty
48 1 2018-10-31 2025-05-19 7 4 +112 / -7 mathias.soeken@gmail.com 89910597+costamag@users.nor...
isop.hpp
in lib/kitty/kitty
70 2 2018-06-09 2025-05-19 7 5 +135 / -5 mathias.soeken@gmail.com 89910597+costamag@users.nor...
spp.hpp
in lib/kitty/kitty
94 1 2020-02-01 2025-05-19 7 5 +164 / -8 mathias.soeken@epfl.ch 89910597+costamag@users.nor...
misc.hpp
in lib/percy/percy
141 9 2018-07-23 2018-10-31 7 3 +258 / -44 mathias.soeken@gmail.com mathias.soeken@gmail.com
permutation.hpp
in lib/kitty/kitty
172 6 2018-06-09 2025-05-19 7 5 +292 / -6 mathias.soeken@gmail.com 89910597+costamag@users.nor...
encoder.hpp
in lib/percy/percy/encoders
175 12 2018-07-23 2018-10-31 7 3 +239 / -29 mathias.soeken@gmail.com mathias.soeken@gmail.com
diagnostics.hpp
in lib/lorina/lorina
199 12 2018-05-13 2021-05-05 7 5 +663 / -69 mathias.soeken@epfl.ch heinz.riener@googlemail.com
ssv_dag_encoder.hpp
in lib/percy/percy/encoders
227 - 2018-09-13 2020-04-16 7 2 +618 / -10 mathias.soeken@gmail.com heinz.riener@googlemail.com
partial_dag_encoder.hpp
in lib/percy/percy/encoders
990 26 2018-07-23 2018-10-31 7 3 +2010 / -376 mathias.soeken@gmail.com mathias.soeken@gmail.com
maj_encoder.hpp
in lib/percy/percy/encoders
1674 60 2018-08-02 2020-04-16 7 4 +3808 / -41 mathias.soeken@gmail.com heinz.riener@googlemail.com
mscfix.hpp
in lib/kitty/kitty/detail
6 - 2018-07-10 2025-05-19 6 4 +45 / -5 mathias.soeken@gmail.com 89910597+costamag@users.nor...
verilog_regex.hpp
in lib/lorina/lorina
14 - 2018-10-31 2022-11-28 6 4 +54 / -3 mathias.soeken@gmail.com siang-yun.lee@epfl.ch
41 1 2019-04-15 2022-08-05 6 4 +94 / -17 mathias.soeken@gmail.com siang-yun.lee@epfl.ch
Files With Most Churn (Top 50)
Based on the number of lines added and deleted across all commits.

See data for all files...

File# lines# unitscreatedlast modified# changes
(days)
# contributorsline
churn
first
contributor
latest
contributor
format.h
in lib/fmt/fmt
2797 305 2018-05-04 2020-04-12 5 4 +17339 / -5345 mathias.soeken@epfl.ch mathias.soeken@epfl.ch
glucose.hpp
in lib/bill/bill/sat/solver
3797 312 2020-03-24 2022-02-22 5 4 +6399 / -221 mathias.soeken@epfl.ch marcelwalter.mw@gmail.com
percy.hpp
in lib/percy/percy
1651 9 2018-07-23 2022-11-28 12 5 +4205 / -2347 mathias.soeken@gmail.com siang-yun.lee@epfl.ch
abc.hpp
in lib/bill/bill/sat/solver
4221 203 2020-03-24 2020-07-21 2 2 +5927 / -0 mathias.soeken@epfl.ch lee30sonia@gmail.com
maple.hpp
in lib/bill/bill/sat/solver
3746 277 2020-03-24 2021-11-17 6 5 +5847 / -8 mathias.soeken@epfl.ch siang-yun.lee@epfl.ch
phmap_base.h
in lib/parallel_hashmap/parallel_hashmap
3129 235 2020-12-07 2020-12-07 1 1 +5171 / -0 bruno.schmitt@epfl.ch bruno.schmitt@epfl.ch
ghack.hpp
in lib/bill/bill/sat/solver
3145 272 2020-03-24 2021-03-08 4 4 +5097 / -11 mathias.soeken@epfl.ch siang-yun.lee@epfl.ch
phmap.h
in lib/parallel_hashmap/parallel_hashmap
3171 315 2020-12-07 2024-07-15 2 2 +4545 / -1 bruno.schmitt@epfl.ch rocallahan@google.com
partial_dag.hpp
in lib/percy/percy
538 16 2018-07-23 2020-04-16 8 2 +2765 / -1495 mathias.soeken@gmail.com heinz.riener@googlemail.com
watercluster2.c
in lib/nauty
2792 79 2022-07-09 2022-07-09 1 1 +4078 / -0 siang-yun.lee@epfl.ch siang-yun.lee@epfl.ch
btree.h
in lib/parallel_hashmap/parallel_hashmap
3042 254 2020-12-07 2020-12-07 1 1 +4050 / -0 bruno.schmitt@epfl.ch bruno.schmitt@epfl.ch
maj_encoder.hpp
in lib/percy/percy/encoders
1674 60 2018-08-02 2020-04-16 7 4 +3808 / -41 mathias.soeken@gmail.com heinz.riener@googlemail.com
mig_encoder.hpp
in lib/percy/percy/encoders
1299 46 2018-10-31 2022-08-08 3 3 +2643 / -1113 mathias.soeken@gmail.com siang-yun.lee@epfl.ch
concurrentqueue.h
in lib/percy/percy
2625 99 2018-07-23 2018-07-23 1 1 +3634 / -0 mathias.soeken@gmail.com mathias.soeken@gmail.com
core.h
in lib/fmt/fmt
1235 112 2019-03-31 2020-04-12 2 2 +2621 / -832 mathias.soeken@gmail.com mathias.soeken@epfl.ch
printf.h
in lib/fmt/fmt
517 51 2018-05-04 2020-04-12 5 4 +2662 / -735 mathias.soeken@epfl.ch mathias.soeken@epfl.ch
naututil.c
in lib/nauty
2248 - 2022-07-09 2022-07-09 1 1 +3192 / -0 siang-yun.lee@epfl.ch siang-yun.lee@epfl.ch
verilog.hpp
in lib/lorina/lorina
1252 73 2018-07-11 2022-11-28 17 5 +2750 / -264 heinz.riener@gmail.com siang-yun.lee@epfl.ch
Glucose.cpp
in lib/abcsat
1021 34 2018-09-13 2018-09-28 2 2 +2998 / -0 mathias.soeken@gmail.com heinz.riener@googlemail.com
operations.hpp
in lib/kitty/kitty
1495 111 2018-06-09 2025-07-30 13 6 +2733 / -244 mathias.soeken@gmail.com 89910597+costamag@users.nor...
ssv_encoder.hpp
in lib/percy/percy/encoders
1166 19 2018-09-13 2020-04-16 6 2 +2844 / -119 mathias.soeken@gmail.com heinz.riener@googlemail.com
shift.hpp
in lib/kitty/kitty/detail
961 1 2019-12-04 2025-05-19 5 3 +1952 / -950 mathias.soeken@epfl.ch 89910597+costamag@users.nor...
gtools.c
in lib/nauty
2282 - 2022-07-09 2022-07-09 1 1 +2873 / -0 siang-yun.lee@epfl.ch siang-yun.lee@epfl.ch
aiger.hpp
in lib/lorina/lorina
625 37 2018-05-13 2026-08-07 12 6 +2517 / -179 mathias.soeken@epfl.ch marcel.walter@tum.de
satSolver.cpp
in lib/abcsat
1838 75 2018-07-23 2019-04-19 4 2 +2550 / -55 mathias.soeken@gmail.com mathias.soeken@gmail.com
format-inl.h
in lib/fmt/fmt
1115 60 2019-03-31 2020-04-12 2 2 +1989 / -586 mathias.soeken@gmail.com mathias.soeken@epfl.ch
matplotlibcpp.h
in lib/matplot/matplot
1844 87 2020-10-19 2020-10-19 1 1 +2554 / -0 heinz.riener@googlemail.com heinz.riener@googlemail.com
dreadnaut.c
in lib/nauty
2203 - 2022-07-09 2022-07-09 1 1 +2544 / -0 siang-yun.lee@epfl.ch siang-yun.lee@epfl.ch
geng.c
in lib/nauty
1783 - 2022-07-09 2022-07-09 1 1 +2450 / -0 siang-yun.lee@epfl.ch siang-yun.lee@epfl.ch
partial_dag_encoder.hpp
in lib/percy/percy/encoders
990 26 2018-07-23 2018-10-31 7 3 +2010 / -376 mathias.soeken@gmail.com mathias.soeken@gmail.com
ditt_encoder.hpp
in lib/percy/percy/encoders
958 4 2018-09-13 2019-03-31 5 2 +2326 / -14 mathias.soeken@gmail.com mathias.soeken@gmail.com
msv_encoder.hpp
in lib/percy/percy/encoders
981 5 2018-09-13 2019-03-31 5 2 +2330 / -10 mathias.soeken@gmail.com mathias.soeken@gmail.com
format.cc
in lib/fmt/fmt
132 3 2018-05-04 2020-04-12 5 4 +1670 / -504 mathias.soeken@epfl.ch mathias.soeken@epfl.ch
vecInt.h
in lib/abcsat/abc
1157 93 2018-07-23 2020-04-18 2 2 +2087 / -0 mathias.soeken@gmail.com mathias.soeken@epfl.ch
vecInt.h
in lib/abcesop/eabc
1146 93 2020-05-16 2020-05-17 2 1 +2075 / -5 mathias.soeken@epfl.ch mathias.soeken@epfl.ch
vecInt.h
in lib/bill/bill/sat/solver/abc
1150 93 2020-03-24 2020-03-24 1 1 +2078 / -0 mathias.soeken@epfl.ch mathias.soeken@epfl.ch
cubhamg.c
in lib/nauty
1598 - 2022-07-09 2022-07-09 1 1 +1985 / -0 siang-yun.lee@epfl.ch siang-yun.lee@epfl.ch
pstdint.h
in lib/abcsat/abc
604 1 2018-09-13 2018-09-28 2 2 +1838 / -0 mathias.soeken@gmail.com heinz.riener@googlemail.com
ssv_fence2_encoder.hpp
in lib/percy/percy/encoders
684 23 2018-09-13 2019-03-31 5 2 +1810 / -16 mathias.soeken@gmail.com mathias.soeken@gmail.com
nautinv.c
in lib/nauty
1295 - 2022-07-09 2022-07-09 1 1 +1752 / -0 siang-yun.lee@epfl.ch siang-yun.lee@epfl.ch
genbg.c
in lib/nauty
1384 1 2022-07-09 2022-07-09 1 1 +1746 / -0 siang-yun.lee@epfl.ch siang-yun.lee@epfl.ch
constructors.hpp
in lib/kitty/kitty
1077 32 2018-06-09 2025-05-19 17 8 +1664 / -77 mathias.soeken@gmail.com 89910597+costamag@users.nor...
nausparse.c
in lib/nauty
1262 - 2022-07-09 2022-07-09 1 1 +1741 / -0 siang-yun.lee@epfl.ch siang-yun.lee@epfl.ch
ssv_fence_encoder.hpp
in lib/percy/percy/encoders
493 - 2018-09-13 2019-03-31 5 2 +1702 / -7 mathias.soeken@gmail.com mathias.soeken@gmail.com
aig_encoder.hpp
in lib/percy/percy/encoders
1518 53 2018-10-31 2018-10-31 1 1 +1696 / -0 mathias.soeken@gmail.com mathias.soeken@gmail.com
posix.h
in lib/fmt/fmt
2 - 2018-05-04 2020-04-12 5 4 +1207 / -471 mathias.soeken@epfl.ch mathias.soeken@epfl.ch
utils.hpp
in lib/lorina/lorina/detail
166 11 2018-05-13 2021-11-17 13 6 +1378 / -300 mathias.soeken@epfl.ch siang-yun.lee@epfl.ch
sumlines.c
in lib/nauty
1379 1 2022-07-09 2022-07-09 1 1 +1663 / -0 siang-yun.lee@epfl.ch siang-yun.lee@epfl.ch
dag_generation.hpp
in lib/percy/percy
987 55 2018-07-23 2018-10-31 2 1 +1629 / -1 mathias.soeken@gmail.com mathias.soeken@gmail.com
genquarticg.c
in lib/nauty
1308 2 2022-07-09 2022-07-09 1 1 +1620 / -0 siang-yun.lee@epfl.ch siang-yun.lee@epfl.ch
Files With Most Contributors (Top 50)
Based on the number of unique email addresses found in commits.

See data for all files...

File# lines# unitscreatedlast modified# changes
(days)
# contributorsline
churn
first
contributor
latest
contributor
constructors.hpp
in lib/kitty/kitty
1077 32 2018-06-09 2025-05-19 17 8 +1664 / -77 mathias.soeken@gmail.com 89910597+costamag@users.nor...
npn.hpp
in lib/kitty/kitty
748 19 2018-06-09 2025-05-19 16 7 +1351 / -24 mathias.soeken@gmail.com 89910597+costamag@users.nor...
properties.hpp
in lib/kitty/kitty
228 14 2018-06-09 2025-05-19 15 7 +419 / -45 mathias.soeken@gmail.com 89910597+costamag@users.nor...
experiments.hpp
in experiments
501 19 2019-04-03 2024-02-15 11 7 +664 / -54 mathias.soeken@gmail.com 44085674+aletempiac@users.n...
blif.hpp
in lib/lorina/lorina
329 16 2018-05-13 2021-11-17 14 6 +1177 / -49 mathias.soeken@epfl.ch siang-yun.lee@epfl.ch
utils.hpp
in lib/lorina/lorina/detail
166 11 2018-05-13 2021-11-17 13 6 +1378 / -300 mathias.soeken@epfl.ch siang-yun.lee@epfl.ch
bit_operations.hpp
in lib/kitty/kitty
361 37 2018-06-09 2025-07-30 13 6 +614 / -34 mathias.soeken@gmail.com 89910597+costamag@users.nor...
operations.hpp
in lib/kitty/kitty
1495 111 2018-06-09 2025-07-30 13 6 +2733 / -244 mathias.soeken@gmail.com 89910597+costamag@users.nor...
aiger.hpp
in lib/lorina/lorina
625 37 2018-05-13 2026-08-07 12 6 +2517 / -179 mathias.soeken@epfl.ch marcel.walter@tum.de
cube.hpp
in lib/kitty/kitty
200 23 2018-06-09 2025-05-19 12 6 +345 / -12 mathias.soeken@gmail.com 89910597+costamag@users.nor...
decomposition.hpp
in lib/kitty/kitty
721 11 2019-03-31 2025-05-19 10 6 +1001 / -45 mathias.soeken@gmail.com 89910597+costamag@users.nor...
lorina.hpp
in lib/lorina/lorina
9 - 2018-05-13 2021-03-12 8 6 +129 / -10 mathias.soeken@epfl.ch siang-yun.lee@epfl.ch
verilog.hpp
in lib/lorina/lorina
1252 73 2018-07-11 2022-11-28 17 5 +2750 / -264 heinz.riener@gmail.com siang-yun.lee@epfl.ch
print.hpp
in lib/kitty/kitty
385 18 2018-06-09 2025-05-19 13 5 +697 / -127 mathias.soeken@gmail.com 89910597+costamag@users.nor...
spec.hpp
in lib/percy/percy
335 15 2018-07-23 2022-11-28 12 5 +539 / -126 mathias.soeken@gmail.com siang-yun.lee@epfl.ch
percy.hpp
in lib/percy/percy
1651 9 2018-07-23 2022-11-28 12 5 +4205 / -2347 mathias.soeken@gmail.com siang-yun.lee@epfl.ch
spectral.hpp
in lib/kitty/kitty
924 46 2018-06-09 2025-05-19 11 5 +1255 / -51 mathias.soeken@gmail.com 89910597+costamag@users.nor...
pla.hpp
in lib/lorina/lorina
196 19 2018-05-13 2021-05-05 10 5 +890 / -32 mathias.soeken@epfl.ch heinz.riener@googlemail.com
traits.hpp
in lib/kitty/kitty
17 - 2018-06-14 2025-05-19 10 5 +73 / -18 mathias.soeken@gmail.com 89910597+costamag@users.nor...
kitty.hpp
in lib/kitty/kitty
25 - 2018-06-09 2025-05-19 10 5 +76 / -6 mathias.soeken@gmail.com 89910597+costamag@users.nor...
static_truth_table.hpp
in lib/kitty/kitty
104 30 2018-06-09 2025-05-19 10 5 +305 / -15 mathias.soeken@gmail.com 89910597+costamag@users.nor...
dynamic_truth_table.hpp
in lib/kitty/kitty
69 16 2018-06-09 2025-05-19 10 5 +203 / -12 mathias.soeken@gmail.com 89910597+costamag@users.nor...
algorithm.hpp
in lib/kitty/kitty
263 26 2018-06-09 2025-05-19 9 5 +504 / -15 mathias.soeken@gmail.com 89910597+costamag@users.nor...
affine.hpp
in lib/kitty/kitty
110 11 2018-06-09 2025-05-19 9 5 +234 / -17 mathias.soeken@gmail.com 89910597+costamag@users.nor...
operators.hpp
in lib/kitty/kitty
332 5 2018-06-09 2025-05-19 8 5 +526 / -19 mathias.soeken@gmail.com 89910597+costamag@users.nor...
implicant.hpp
in lib/kitty/kitty
139 3 2018-06-09 2025-05-19 8 5 +255 / -11 mathias.soeken@gmail.com 89910597+costamag@users.nor...
diagnostics.hpp
in lib/lorina/lorina
199 12 2018-05-13 2021-05-05 7 5 +663 / -69 mathias.soeken@epfl.ch heinz.riener@googlemail.com
hash.hpp
in lib/kitty/kitty
44 4 2018-06-09 2025-05-19 7 5 +101 / -6 mathias.soeken@gmail.com 89910597+costamag@users.nor...
permutation.hpp
in lib/kitty/kitty
172 6 2018-06-09 2025-05-19 7 5 +292 / -6 mathias.soeken@gmail.com 89910597+costamag@users.nor...
isop.hpp
in lib/kitty/kitty
70 2 2018-06-09 2025-05-19 7 5 +135 / -5 mathias.soeken@gmail.com 89910597+costamag@users.nor...
cnf.hpp
in lib/kitty/kitty
29 1 2018-06-09 2025-05-19 7 5 +85 / -6 mathias.soeken@gmail.com 89910597+costamag@users.nor...
spp.hpp
in lib/kitty/kitty
94 1 2020-02-01 2025-05-19 7 5 +164 / -8 mathias.soeken@epfl.ch 89910597+costamag@users.nor...
maple.hpp
in lib/bill/bill/sat/solver
3746 277 2020-03-24 2021-11-17 6 5 +5847 / -8 mathias.soeken@epfl.ch siang-yun.lee@epfl.ch
bench.hpp
in lib/lorina/lorina
204 10 2018-05-13 2021-11-17 12 4 +930 / -49 mathias.soeken@epfl.ch siang-yun.lee@epfl.ch
chain.hpp
in lib/percy/percy
706 13 2018-07-23 2023-01-18 10 4 +937 / -55 mathias.soeken@gmail.com siang-yun.lee@epfl.ch
partial_truth_table.hpp
in lib/kitty/kitty
140 22 2020-04-07 2025-05-19 8 4 +327 / -27 lee30sonia@gmail.com 89910597+costamag@users.nor...
tt_utils.hpp
in lib/percy/percy
26 - 2018-07-23 2020-04-16 7 4 +65 / -33 mathias.soeken@gmail.com heinz.riener@googlemail.com
maj_encoder.hpp
in lib/percy/percy/encoders
1674 60 2018-08-02 2020-04-16 7 4 +3808 / -41 mathias.soeken@gmail.com heinz.riener@googlemail.com
enumeration.hpp
in lib/kitty/kitty
48 1 2018-10-31 2025-05-19 7 4 +112 / -7 mathias.soeken@gmail.com 89910597+costamag@users.nor...
utils.hpp
in lib/kitty/kitty/detail
41 6 2018-06-09 2025-05-19 7 4 +96 / -11 mathias.soeken@gmail.com 89910597+costamag@users.nor...
41 1 2019-04-15 2022-08-05 6 4 +94 / -17 mathias.soeken@gmail.com siang-yun.lee@epfl.ch
cut_rewriting.cpp
in experiments
47 1 2019-04-03 2022-08-05 6 4 +96 / -12 mathias.soeken@gmail.com siang-yun.lee@epfl.ch
verilog_regex.hpp
in lib/lorina/lorina
14 - 2018-10-31 2022-11-28 6 4 +54 / -3 mathias.soeken@gmail.com siang-yun.lee@epfl.ch
mscfix.hpp
in lib/kitty/kitty/detail
6 - 2018-07-10 2025-05-19 6 4 +45 / -5 mathias.soeken@gmail.com 89910597+costamag@users.nor...
42 1 2019-04-11 2024-09-23 5 4 +92 / -12 mathias.soeken@gmail.com 44085674+aletempiac@users.n...
60 1 2019-04-16 2022-08-05 5 4 +108 / -9 mathias.soeken@gmail.com siang-yun.lee@epfl.ch
glucose.hpp
in lib/bill/bill/sat/solver
3797 312 2020-03-24 2022-02-22 5 4 +6399 / -221 mathias.soeken@epfl.ch marcelwalter.mw@gmail.com
ostream.h
in lib/fmt/fmt
96 7 2018-05-04 2020-04-12 5 4 +467 / -108 mathias.soeken@epfl.ch mathias.soeken@epfl.ch
printf.h
in lib/fmt/fmt
517 51 2018-05-04 2020-04-12 5 4 +2662 / -735 mathias.soeken@epfl.ch mathias.soeken@epfl.ch
posix.h
in lib/fmt/fmt
2 - 2018-05-04 2020-04-12 5 4 +1207 / -471 mathias.soeken@epfl.ch mathias.soeken@epfl.ch
Files With Least Contributors (Top 50)
Based on the number of unique email addresses found in commits.

See data for all files...

File# lines# unitscreatedlast modified# changes
(days)
# contributorsline
churn
first
contributor
latest
contributor
phmap_base.h
in lib/parallel_hashmap/parallel_hashmap
3129 235 2020-12-07 2020-12-07 1 1 +5171 / -0 bruno.schmitt@epfl.ch bruno.schmitt@epfl.ch
btree.h
in lib/parallel_hashmap/parallel_hashmap
3042 254 2020-12-07 2020-12-07 1 1 +4050 / -0 bruno.schmitt@epfl.ch bruno.schmitt@epfl.ch
watercluster2.c
in lib/nauty
2792 79 2022-07-09 2022-07-09 1 1 +4078 / -0 siang-yun.lee@epfl.ch siang-yun.lee@epfl.ch
concurrentqueue.h
in lib/percy/percy
2625 99 2018-07-23 2018-07-23 1 1 +3634 / -0 mathias.soeken@gmail.com mathias.soeken@gmail.com
gtools.c
in lib/nauty
2282 - 2022-07-09 2022-07-09 1 1 +2873 / -0 siang-yun.lee@epfl.ch siang-yun.lee@epfl.ch
naututil.c
in lib/nauty
2248 - 2022-07-09 2022-07-09 1 1 +3192 / -0 siang-yun.lee@epfl.ch siang-yun.lee@epfl.ch
dreadnaut.c
in lib/nauty
2203 - 2022-07-09 2022-07-09 1 1 +2544 / -0 siang-yun.lee@epfl.ch siang-yun.lee@epfl.ch
matplotlibcpp.h
in lib/matplot/matplot
1844 87 2020-10-19 2020-10-19 1 1 +2554 / -0 heinz.riener@googlemail.com heinz.riener@googlemail.com
geng.c
in lib/nauty
1783 - 2022-07-09 2022-07-09 1 1 +2450 / -0 siang-yun.lee@epfl.ch siang-yun.lee@epfl.ch
cubhamg.c
in lib/nauty
1598 - 2022-07-09 2022-07-09 1 1 +1985 / -0 siang-yun.lee@epfl.ch siang-yun.lee@epfl.ch
aig_encoder.hpp
in lib/percy/percy/encoders
1518 53 2018-10-31 2018-10-31 1 1 +1696 / -0 mathias.soeken@gmail.com mathias.soeken@gmail.com
genbg.c
in lib/nauty
1384 1 2022-07-09 2022-07-09 1 1 +1746 / -0 siang-yun.lee@epfl.ch siang-yun.lee@epfl.ch
sumlines.c
in lib/nauty
1379 1 2022-07-09 2022-07-09 1 1 +1663 / -0 siang-yun.lee@epfl.ch siang-yun.lee@epfl.ch
genquarticg.c
in lib/nauty
1308 2 2022-07-09 2022-07-09 1 1 +1620 / -0 siang-yun.lee@epfl.ch siang-yun.lee@epfl.ch
nautinv.c
in lib/nauty
1295 - 2022-07-09 2022-07-09 1 1 +1752 / -0 siang-yun.lee@epfl.ch siang-yun.lee@epfl.ch
nausparse.c
in lib/nauty
1262 - 2022-07-09 2022-07-09 1 1 +1741 / -0 siang-yun.lee@epfl.ch siang-yun.lee@epfl.ch
vecInt.h
in lib/bill/bill/sat/solver/abc
1150 93 2020-03-24 2020-03-24 1 1 +2078 / -0 mathias.soeken@epfl.ch mathias.soeken@epfl.ch
vecInt.h
in lib/abcesop/eabc
1146 93 2020-05-16 2020-05-17 2 1 +2075 / -5 mathias.soeken@epfl.ch mathias.soeken@epfl.ch
in
nauty-h.in
in lib/nauty
1110 - 2022-07-09 2022-07-09 1 1 +1225 / -0 siang-yun.lee@epfl.ch siang-yun.lee@epfl.ch
gentourng.c
in lib/nauty
1102 - 2022-07-09 2022-07-09 1 1 +1467 / -0 siang-yun.lee@epfl.ch siang-yun.lee@epfl.ch
twohamg.c
in lib/nauty
1002 - 2022-07-09 2022-07-09 1 1 +1205 / -0 siang-yun.lee@epfl.ch siang-yun.lee@epfl.ch
genrang.c
in lib/nauty
998 - 2022-07-09 2022-07-09 1 1 +1215 / -0 siang-yun.lee@epfl.ch siang-yun.lee@epfl.ch
dag_generation.hpp
in lib/percy/percy
987 55 2018-07-23 2018-10-31 2 1 +1629 / -1 mathias.soeken@gmail.com mathias.soeken@gmail.com
showg.c
in lib/nauty
957 - 2022-07-09 2022-07-09 1 1 +1238 / -0 siang-yun.lee@epfl.ch siang-yun.lee@epfl.ch
testg.c
in lib/nauty
897 1 2022-07-09 2022-07-09 1 1 +1095 / -0 siang-yun.lee@epfl.ch siang-yun.lee@epfl.ch
nauty.c
in lib/nauty
841 1 2022-07-09 2022-07-09 1 1 +1229 / -0 siang-yun.lee@epfl.ch siang-yun.lee@epfl.ch
schreier.c
in lib/nauty
832 - 2022-07-09 2022-07-09 1 1 +1124 / -0 siang-yun.lee@epfl.ch siang-yun.lee@epfl.ch
genspecialg.c
in lib/nauty
820 - 2022-07-09 2022-07-09 1 1 +1020 / -0 siang-yun.lee@epfl.ch siang-yun.lee@epfl.ch
zdd.hpp
in lib/bill/bill/dd
763 35 2020-03-24 2020-03-24 1 1 +928 / -0 mathias.soeken@epfl.ch mathias.soeken@epfl.ch
nauty.h
in lib/nauty
761 - 2022-07-09 2022-07-09 1 1 +1225 / -0 siang-yun.lee@epfl.ch siang-yun.lee@epfl.ch
multig.c
in lib/nauty
680 1 2022-07-09 2022-07-09 1 1 +857 / -0 siang-yun.lee@epfl.ch siang-yun.lee@epfl.ch
gutil1.c
in lib/nauty
675 - 2022-07-09 2022-07-09 1 1 +851 / -0 siang-yun.lee@epfl.ch siang-yun.lee@epfl.ch
dretodot.c
in lib/nauty
674 3 2022-07-09 2022-07-09 1 1 +753 / -0 siang-yun.lee@epfl.ch siang-yun.lee@epfl.ch
shortg.c
in lib/nauty
658 - 2022-07-09 2022-07-09 1 1 +749 / -0 siang-yun.lee@epfl.ch siang-yun.lee@epfl.ch
exorList.cpp
in lib/abcesop
631 21 2020-05-16 2020-05-16 1 1 +1156 / -0 mathias.soeken@epfl.ch mathias.soeken@epfl.ch
gtnauty.c
in lib/nauty
614 - 2022-07-09 2022-07-09 1 1 +761 / -0 siang-yun.lee@epfl.ch siang-yun.lee@epfl.ch
pstdint.h
in lib/bill/bill/sat/solver/abc
604 1 2020-03-24 2020-03-24 1 1 +919 / -0 mathias.soeken@epfl.ch mathias.soeken@epfl.ch
directg.c
in lib/nauty
581 1 2022-07-09 2022-07-09 1 1 +738 / -0 siang-yun.lee@epfl.ch siang-yun.lee@epfl.ch
partial_dag3_generator.hpp
in lib/percy/percy/generators
536 26 2020-04-16 2020-04-16 1 1 +675 / -0 heinz.riener@googlemail.com heinz.riener@googlemail.com
vecPtr.h
in lib/abcesop/eabc
518 41 2020-05-16 2020-05-17 2 1 +1175 / -5 mathias.soeken@epfl.ch mathias.soeken@epfl.ch
naugraph.c
in lib/nauty
509 - 2022-07-09 2022-07-09 1 1 +712 / -0 siang-yun.lee@epfl.ch siang-yun.lee@epfl.ch
listg.c
in lib/nauty
506 - 2022-07-09 2022-07-09 1 1 +634 / -0 siang-yun.lee@epfl.ch siang-yun.lee@epfl.ch
phmap_config.h
in lib/parallel_hashmap/parallel_hashmap
490 - 2020-12-07 2020-12-07 1 1 +764 / -0 bruno.schmitt@epfl.ch bruno.schmitt@epfl.ch
compile.h
in lib/fmt/fmt
480 49 2020-04-12 2020-04-12 1 1 +595 / -0 mathias.soeken@epfl.ch mathias.soeken@epfl.ch
gentreeg.c
in lib/nauty
478 1 2022-07-09 2022-07-09 1 1 +628 / -0 siang-yun.lee@epfl.ch siang-yun.lee@epfl.ch
exorLink.cpp
in lib/abcesop
470 4 2020-05-16 2020-05-16 1 1 +749 / -0 mathias.soeken@epfl.ch mathias.soeken@epfl.ch
in
makefile.in
in lib/nauty
457 - 2022-07-09 2022-07-09 1 1 +540 / -0 siang-yun.lee@epfl.ch siang-yun.lee@epfl.ch
phmap_bits.h
in lib/parallel_hashmap/parallel_hashmap
447 83 2020-12-07 2020-12-07 1 1 +663 / -0 bruno.schmitt@epfl.ch bruno.schmitt@epfl.ch
naugstrings.c
in lib/nauty
432 - 2022-07-09 2022-07-09 1 1 +523 / -0 siang-yun.lee@epfl.ch siang-yun.lee@epfl.ch
vecWec.h
in lib/abcesop/eabc
419 37 2020-05-16 2020-05-17 2 1 +744 / -5 mathias.soeken@epfl.ch mathias.soeken@epfl.ch
Correlations

File Size vs. Number of Changes: 335 points

lib/lorina/lorina/aiger.hpp x: 625 lines of code y: 12 # changes experiments/explorer.cpp x: 164 lines of code y: 2 # changes lib/kitty/kitty/bit_operations.hpp x: 361 lines of code y: 13 # changes lib/kitty/kitty/operations.hpp x: 1495 lines of code y: 13 # changes lib/kitty/kitty/affine.hpp x: 110 lines of code y: 9 # changes lib/kitty/kitty/algorithm.hpp x: 263 lines of code y: 9 # changes lib/kitty/kitty/cnf.hpp x: 29 lines of code y: 7 # changes lib/kitty/kitty/constructors.hpp x: 1077 lines of code y: 17 # changes lib/kitty/kitty/cube.hpp x: 200 lines of code y: 12 # changes lib/kitty/kitty/decomposition.hpp x: 721 lines of code y: 10 # changes lib/kitty/kitty/detail/mscfix.hpp x: 6 lines of code y: 6 # changes lib/kitty/kitty/detail/shift.hpp x: 961 lines of code y: 5 # changes lib/kitty/kitty/detail/utils.hpp x: 41 lines of code y: 7 # changes lib/kitty/kitty/dynamic_truth_table.hpp x: 69 lines of code y: 10 # changes lib/kitty/kitty/enumeration.hpp x: 48 lines of code y: 7 # changes lib/kitty/kitty/implicant.hpp x: 139 lines of code y: 8 # changes lib/kitty/kitty/isop.hpp x: 70 lines of code y: 7 # changes lib/kitty/kitty/karnaugh_map.hpp x: 112 lines of code y: 3 # changes lib/kitty/kitty/kitty.hpp x: 25 lines of code y: 10 # changes lib/kitty/kitty/npn.hpp x: 748 lines of code y: 16 # changes lib/kitty/kitty/operators.hpp x: 332 lines of code y: 8 # changes lib/kitty/kitty/permutation.hpp x: 172 lines of code y: 7 # changes lib/kitty/kitty/print.hpp x: 385 lines of code y: 13 # changes lib/kitty/kitty/properties.hpp x: 228 lines of code y: 15 # changes lib/kitty/kitty/quaternary_truth_table.hpp x: 91 lines of code y: 2 # changes lib/kitty/kitty/spectral.hpp x: 924 lines of code y: 11 # changes lib/kitty/kitty/spp.hpp x: 94 lines of code y: 7 # changes lib/kitty/kitty/static_truth_table.hpp x: 104 lines of code y: 10 # changes lib/kitty/kitty/ternary_truth_table.hpp x: 93 lines of code y: 2 # changes lib/kitty/kitty/traits.hpp x: 17 lines of code y: 10 # changes lib/abcesop/eabc/exor.h x: 85 lines of code y: 3 # changes experiments/aig_resubstitution.cpp x: 42 lines of code y: 5 # changes experiments/xag_resubstitution.cpp x: 41 lines of code y: 1 # changes lib/parallel_hashmap/parallel_hashmap/phmap_dump.h x: 194 lines of code y: 2 # changes lib/parallel_hashmap/parallel_hashmap/phmap.h x: 3171 lines of code y: 2 # changes lib/percy/percy/fence.hpp x: 504 lines of code y: 5 # changes lib/abcsat/abc/satVec.h x: 114 lines of code y: 2 # changes experiments/emap.cpp x: 68 lines of code y: 6 # changes .codecov.yml x: 6 lines of code y: 1 # changes experiments/aqfp_flow_tcad.cpp x: 70 lines of code y: 1 # changes experiments/extract_adders.cpp x: 41 lines of code y: 2 # changes .readthedocs.yml x: 11 lines of code y: 5 # changes experiments/experiments.hpp x: 501 lines of code y: 11 # changes experiments/mapper.cpp x: 71 lines of code y: 9 # changes experiments/aqfp_flow_date.cpp x: 317 lines of code y: 4 # changes experiments/aqfp_flow_aspdac.cpp x: 128 lines of code y: 2 # changes experiments/buffer_insertion.cpp x: 106 lines of code y: 4 # changes lib/percy/percy/chain.hpp x: 706 lines of code y: 10 # changes experiments/experimental.cpp x: 37 lines of code y: 4 # changes lib/lorina/lorina/verilog.hpp x: 1252 lines of code y: 17 # changes lib/lorina/lorina/verilog_regex.hpp x: 14 lines of code y: 6 # changes lib/percy/percy/percy.hpp x: 1651 lines of code y: 12 # changes lib/percy/percy/spec.hpp x: 335 lines of code y: 12 # changes .pre-commit-config.yaml x: 13 lines of code y: 2 # changes _typos.toml x: 13 lines of code y: 1 # changes lib/percy/percy/encoders/mig_encoder.hpp x: 1299 lines of code y: 3 # changes experiments/cnf_map.cpp x: 50 lines of code y: 3 # changes experiments/cost_generic_resub.cpp x: 37 lines of code y: 2 # changes experiments/cut_rewriting.cpp x: 47 lines of code y: 6 # changes experiments/equivalence_checking.cpp x: 60 lines of code y: 5 # changes experiments/exact_mc_synthesis.cpp x: 245 lines of code y: 3 # changes experiments/functional_reduction.cpp x: 34 lines of code y: 3 # changes experiments/mig_resubstitution.cpp x: 41 lines of code y: 6 # changes experiments/satlut.cpp x: 65 lines of code y: 4 # changes tools/cleanup.py x: 95 lines of code y: 1 # changes lib/nauty/NRswitchg.c x: 164 lines of code y: 1 # changes lib/nauty/addedgeg.c x: 236 lines of code y: 1 # changes lib/nauty/amtog.c x: 240 lines of code y: 1 # changes lib/nauty/biplabg.c x: 137 lines of code y: 1 # changes lib/nauty/blisstog.c x: 182 lines of code y: 1 # changes lib/nauty/callgeng.c x: 24 lines of code y: 1 # changes lib/nauty/catg.c x: 141 lines of code y: 1 # changes lib/nauty/checks6.c x: 195 lines of code y: 1 # changes lib/nauty/converseg.c x: 123 lines of code y: 1 # changes lib/nauty/cubhamg.c x: 1598 lines of code y: 1 # changes lib/nauty/deledgeg.c x: 187 lines of code y: 1 # changes lib/nauty/delptg.c x: 216 lines of code y: 1 # changes lib/nauty/directg.c x: 581 lines of code y: 1 # changes lib/nauty/dreadnaut.c x: 2203 lines of code y: 1 # changes lib/nauty/dretodot.c x: 674 lines of code y: 1 # changes lib/nauty/dretog.c x: 201 lines of code y: 1 # changes lib/nauty/genbg.c x: 1384 lines of code y: 1 # changes lib/nauty/geng.c x: 1783 lines of code y: 1 # changes lib/nauty/genquarticg.c x: 1308 lines of code y: 1 # changes lib/nauty/genrang.c x: 998 lines of code y: 1 # changes lib/nauty/genspecialg.c x: 820 lines of code y: 1 # changes lib/nauty/gentourng.c x: 1102 lines of code y: 1 # changes lib/nauty/gentreeg.c x: 478 lines of code y: 1 # changes lib/nauty/gtnauty.c x: 614 lines of code y: 1 # changes lib/nauty/gtools-h.in x: 259 lines of code y: 1 # changes lib/nauty/gtools.c x: 2282 lines of code y: 1 # changes lib/nauty/gutil2.c x: 411 lines of code y: 1 # changes lib/nauty/hamheuristic.c x: 370 lines of code y: 1 # changes lib/nauty/labelg.c x: 402 lines of code y: 1 # changes lib/nauty/linegraphg.c x: 275 lines of code y: 1 # changes lib/nauty/listg.c x: 506 lines of code y: 1 # changes lib/nauty/makefile.in x: 457 lines of code y: 1 # changes lib/nauty/multig.c x: 680 lines of code y: 1 # changes lib/nauty/naucompare.c x: 213 lines of code y: 1 # changes lib/nauty/naugroup.c x: 391 lines of code y: 1 # changes lib/nauty/naugstrings.c x: 432 lines of code y: 1 # changes lib/nauty/naurng.h x: 21 lines of code y: 1 # changes lib/nauty/nausparse.c x: 1262 lines of code y: 1 # changes lib/nauty/nausparse.h x: 90 lines of code y: 1 # changes lib/nauty/nautaux.c x: 155 lines of code y: 1 # changes lib/nauty/nautil.c x: 415 lines of code y: 1 # changes lib/nauty/nautinv.c x: 1295 lines of code y: 1 # changes lib/nauty/naututil.c x: 2248 lines of code y: 1 # changes lib/nauty/nauty-h.in x: 1110 lines of code y: 1 # changes lib/nauty/nauty.c x: 841 lines of code y: 1 # changes lib/nauty/nauty.h x: 761 lines of code y: 1 # changes lib/nauty/nautyex1.c x: 33 lines of code y: 1 # changes lib/nauty/nautyex6.c x: 67 lines of code y: 1 # changes lib/nauty/planarg.c x: 330 lines of code y: 1 # changes lib/nauty/quarticirred28.h x: 316 lines of code y: 1 # changes lib/nauty/schreier.c x: 832 lines of code y: 1 # changes lib/nauty/schreier.h x: 52 lines of code y: 1 # changes lib/nauty/shortg.c x: 658 lines of code y: 1 # changes lib/nauty/showg.c x: 957 lines of code y: 1 # changes lib/nauty/sumlines.c x: 1379 lines of code y: 1 # changes lib/nauty/testg.c x: 897 lines of code y: 1 # changes lib/nauty/twohamg.c x: 1002 lines of code y: 1 # changes lib/nauty/watercluster2.c x: 2792 lines of code y: 1 # changes lib/percy/percy/generators/partial_dag_generator.hpp x: 572 lines of code y: 2 # changes lib/percy/percy/majority_chain.hpp x: 370 lines of code y: 3 # changes lib/bill/bill/sat/solver/glucose.hpp x: 3797 lines of code y: 5 # changes lib/bill/bill/sat/solver/abc/system.h x: 25 lines of code y: 3 # changes lib/bill/bill/sat/solver/maple.hpp x: 3746 lines of code y: 6 # changes lib/lorina/lorina/blif.hpp x: 329 lines of code y: 14 # changes lib/lorina/lorina/bristol.hpp x: 130 lines of code y: 6 # changes lib/lorina/lorina/detail/call_in_topological_order.hpp x: 244 lines of code y: 1 # changes lib/lorina/lorina/detail/utils.hpp x: 166 lines of code y: 13 # changes lib/lorina/lorina/super.hpp x: 194 lines of code y: 3 # changes lib/lorina/lorina/diagnostics.inc x: 60 lines of code y: 4 # changes lib/lorina/lorina/genlib.hpp x: 277 lines of code y: 6 # changes lib/lorina/lorina/detail/tokenizer.hpp x: 103 lines of code y: 8 # changes lib/lorina/lorina/diagnostics.hpp x: 199 lines of code y: 7 # changes lib/lorina/lorina/dimacs.hpp x: 122 lines of code y: 4 # changes lib/lorina/lorina/pla.hpp x: 196 lines of code y: 10 # changes lib/lorina/lorina/lorina.hpp x: 9 lines of code y: 8 # changes lib/bill/bill/bill.hpp x: 23 lines of code y: 2 # changes lib/bill/bill/sat/solver/ghack.hpp x: 3145 lines of code y: 4 # changes lib/bill/bill/sat/interface/abc_bsat2.hpp x: 179 lines of code y: 6 # changes lib/parallel_hashmap/parallel_hashmap/btree.h x: 3042 lines of code y: 1 # changes lib/parallel_hashmap/parallel_hashmap/phmap_base.h x: 3129 lines of code y: 1 # changes lib/parallel_hashmap/parallel_hashmap/phmap_bits.h x: 447 lines of code y: 1 # changes lib/parallel_hashmap/parallel_hashmap/phmap_config.h x: 490 lines of code y: 1 # changes lib/parallel_hashmap/parallel_hashmap/phmap_fwd_decl.h x: 109 lines of code y: 1 # changes lib/abcesop/exor.cpp x: 349 lines of code y: 3 # changes lib/matplot/matplot/matplotlibcpp.h x: 1844 lines of code y: 1 # changes lib/bill/bill/sat/interface/z3.hpp x: 156 lines of code y: 5 # changes lib/bill/bill/sat/solver/abc.hpp x: 4221 lines of code y: 2 # changes lib/bill/bill/sat/solver/abc/satSolver.h x: 525 lines of code y: 3 # changes lib/abcsat/abc/satSolver.h x: 535 lines of code y: 3 # changes lib/bill/bill/sat/interface/common.hpp x: 132 lines of code y: 4 # changes lib/bill/bill/sat/tseytin.hpp x: 67 lines of code y: 3 # changes lib/bill/bill/sat/unsat_cores.hpp x: 58 lines of code y: 1 # changes lib/abcesop/eabc/vecInt.h x: 1146 lines of code y: 2 # changes lib/abcesop/eabc/vecPtr.h x: 518 lines of code y: 2 # changes lib/abcesop/eabc/vecWec.h x: 419 lines of code y: 2 # changes lib/abcesop/exorLink.cpp x: 470 lines of code y: 1 # changes lib/abcesop/exorList.cpp x: 631 lines of code y: 1 # changes lib/abcsat/abc/vecInt.h x: 1157 lines of code y: 2 # changes lib/percy/percy/dag.hpp x: 501 lines of code y: 3 # changes lib/percy/percy/encoders.hpp x: 11 lines of code y: 7 # changes lib/percy/percy/encoders/ditt_maj_encoder.hpp x: 658 lines of code y: 4 # changes lib/percy/percy/encoders/maj_encoder.hpp x: 1674 lines of code y: 7 # changes lib/percy/percy/encoders/ssv_dag_encoder.hpp x: 227 lines of code y: 7 # changes lib/percy/percy/encoders/ssv_encoder.hpp x: 1166 lines of code y: 6 # changes lib/percy/percy/generators/partial_dag3_generator.hpp x: 536 lines of code y: 1 # changes lib/percy/percy/mig.hpp x: 6 lines of code y: 5 # changes lib/percy/percy/partial_dag.hpp x: 538 lines of code y: 8 # changes lib/percy/percy/solvers/bsat2.hpp x: 119 lines of code y: 3 # changes lib/abcsat/abc/abc_global.h x: 296 lines of code y: 4 # changes lib/abcsat/abc/satClause.h x: 270 lines of code y: 2 # changes lib/bill/bill/sat/interface/ghack.hpp x: 136 lines of code y: 2 # changes lib/bill/bill/sat/interface/maple.hpp x: 138 lines of code y: 2 # changes lib/bill/bill/sat/interface/types.hpp x: 94 lines of code y: 3 # changes lib/bill/bill/sat/solver.hpp x: 7 lines of code y: 2 # changes lib/fmt/fmt/chrono.h x: 891 lines of code y: 2 # changes lib/fmt/fmt/color.h x: 477 lines of code y: 2 # changes lib/fmt/fmt/core.h x: 1235 lines of code y: 2 # changes lib/fmt/fmt/format-inl.h x: 1115 lines of code y: 2 # changes lib/fmt/fmt/format.cc x: 132 lines of code y: 5 # changes lib/fmt/fmt/format.h x: 2797 lines of code y: 5 # changes lib/fmt/fmt/locale.h x: 60 lines of code y: 2 # changes lib/fmt/fmt/ostream.h x: 96 lines of code y: 5 # changes lib/fmt/fmt/printf.h x: 517 lines of code y: 5 # changes lib/fmt/fmt/ranges.h x: 288 lines of code y: 2 # changes lib/bill/bill/dd/zdd.hpp x: 763 lines of code y: 1 # changes lib/bill/bill/sat/solver/abc/Map.h x: 120 lines of code y: 1 # changes lib/bill/bill/sat/solver/abc/SolverTypes.h x: 263 lines of code y: 1 # changes lib/bill/bill/sat/solver/abc/abc_global.h x: 291 lines of code y: 1 # changes lib/bill/bill/sat/solver/abc/pstdint.h x: 604 lines of code y: 1 # changes lib/bill/bill/sat/solver/abc/utilDouble.h x: 103 lines of code y: 1 # changes lib/bill/bill/sat/solver/abc/vecInt.h x: 1150 lines of code y: 1 # changes lib/abcsat/satSolver.cpp x: 1838 lines of code y: 4 # changes lib/abcsat/abc/utilDouble.h x: 105 lines of code y: 2 # changes lib/percy/percy/encoders/ditt_encoder.hpp x: 958 lines of code y: 5 # changes lib/percy/percy/encoders/msv_encoder.hpp x: 981 lines of code y: 5 # changes lib/percy/percy/encoders/ssv_fence2_encoder.hpp x: 684 lines of code y: 5 # changes lib/percy/percy/encoders/ssv_fence_encoder.hpp x: 493 lines of code y: 5 # changes lib/abcsat/SimpSolver.cpp x: 516 lines of code y: 3 # changes lib/percy/percy/dag_generation.hpp x: 987 lines of code y: 2 # changes lib/percy/percy/encoders/aig_encoder.hpp x: 1518 lines of code y: 1 # changes lib/percy/percy/encoders/partial_dag_encoder.hpp x: 990 lines of code y: 7 # changes lib/percy/percy/misc.hpp x: 141 lines of code y: 7 # changes lib/percy/percy/solvers/bmcg_sat.hpp x: 82 lines of code y: 3 # changes lib/percy/percy/solvers/satoko.hpp x: 154 lines of code y: 2 # changes lib/abcsat/AbcGlucose.cpp x: 402 lines of code y: 2 # changes lib/abcsat/Glucose.cpp x: 1021 lines of code y: 2 # changes lib/abcsat/abc/AbcGlucose.h x: 50 lines of code y: 2 # changes lib/abcsat/abc/Alloc.h x: 74 lines of code y: 2 # changes lib/abcsat/abc/IntTypes.h x: 17 lines of code y: 2 # changes lib/abcsat/abc/Map.h x: 120 lines of code y: 2 # changes lib/abcsat/abc/Solver.h x: 319 lines of code y: 2 # changes lib/abcsat/abc/SolverTypes.h x: 263 lines of code y: 2 # changes lib/abcsat/abc/abc_namespaces.h x: 43 lines of code y: 3 # changes lib/abcsat/abc/pstdint.h x: 604 lines of code y: 2 # changes lib/percy/percy/sat_circuits.hpp x: 75 lines of code y: 4 # changes lib/percy/percy/concurrentqueue.h x: 2625 lines of code y: 1 # changes lib/rang/rang/rang.hpp x: 424 lines of code y: 3 # changes
17.0
# changes
  min: 1.0
  average: 3.09
  25th percentile: 1.0
  median: 2.0
  75th percentile: 4.0
  max: 17.0
0 4221.0
lines of code
min: 1.0 | average: 418.14 | 25th percentile: 58.0 | median: 156.0 | 75th percentile: 490.0 | max: 4221.0

Number of Contributors vs. Number of Changes: 335 points

lib/lorina/lorina/aiger.hpp x: 6 # contributors y: 12 # changes experiments/explorer.cpp x: 2 # contributors y: 2 # changes lib/kitty/kitty/bit_operations.hpp x: 6 # contributors y: 13 # changes lib/kitty/kitty/affine.hpp x: 5 # contributors y: 9 # changes lib/kitty/kitty/cnf.hpp x: 5 # contributors y: 7 # changes lib/kitty/kitty/constructors.hpp x: 8 # contributors y: 17 # changes lib/kitty/kitty/decomposition.hpp x: 6 # contributors y: 10 # changes lib/kitty/kitty/detail/mscfix.hpp x: 4 # contributors y: 6 # changes lib/kitty/kitty/detail/shift.hpp x: 3 # contributors y: 5 # changes lib/kitty/kitty/detail/utils.hpp x: 4 # contributors y: 7 # changes lib/kitty/kitty/dynamic_truth_table.hpp x: 5 # contributors y: 10 # changes lib/kitty/kitty/implicant.hpp x: 5 # contributors y: 8 # changes lib/kitty/kitty/karnaugh_map.hpp x: 2 # contributors y: 3 # changes lib/kitty/kitty/npn.hpp x: 7 # contributors y: 16 # changes lib/kitty/kitty/partial_truth_table.hpp x: 4 # contributors y: 8 # changes lib/kitty/kitty/print.hpp x: 5 # contributors y: 13 # changes lib/kitty/kitty/properties.hpp x: 7 # contributors y: 15 # changes lib/kitty/kitty/spectral.hpp x: 5 # contributors y: 11 # changes experiments/aig_resubstitution.cpp x: 4 # contributors y: 5 # changes experiments/xag_resubstitution.cpp x: 1 # contributors y: 1 # changes experiments/emap.cpp x: 1 # contributors y: 6 # changes experiments/extract_adders.cpp x: 1 # contributors y: 2 # changes experiments/experiments.hpp x: 7 # contributors y: 11 # changes experiments/mapper.cpp x: 3 # contributors y: 9 # changes experiments/aqfp_flow_date.cpp x: 2 # contributors y: 4 # changes experiments/buffer_insertion.cpp x: 1 # contributors y: 4 # changes lib/percy/percy/chain.hpp x: 4 # contributors y: 10 # changes experiments/sim_resubstitution.cpp x: 3 # contributors y: 4 # changes lib/lorina/lorina/verilog.hpp x: 5 # contributors y: 17 # changes lib/percy/percy/percy.hpp x: 5 # contributors y: 12 # changes lib/percy/percy/encoders/mig_encoder.hpp x: 3 # contributors y: 3 # changes experiments/window_rewriting.cpp x: 2 # contributors y: 6 # changes lib/bill/bill/sat/solver/maple.hpp x: 5 # contributors y: 6 # changes lib/lorina/lorina/bench.hpp x: 4 # contributors y: 12 # changes lib/lorina/lorina/blif.hpp x: 6 # contributors y: 14 # changes lib/lorina/lorina/bristol.hpp x: 3 # contributors y: 6 # changes lib/lorina/lorina/detail/tokenizer.hpp x: 3 # contributors y: 8 # changes lib/lorina/lorina/lorina.hpp x: 6 # contributors y: 8 # changes lib/bill/bill/sat/solver/ghack.hpp x: 4 # contributors y: 4 # changes lib/percy/percy/encoders.hpp x: 3 # contributors y: 7 # changes lib/percy/percy/encoders/ssv_dag_encoder.hpp x: 2 # contributors y: 7 # changes lib/percy/percy/partial_dag.hpp x: 2 # contributors y: 8 # changes lib/percy/percy/solvers/glucose.hpp x: 2 # contributors y: 5 # changes
17.0
# changes
  min: 1.0
  average: 3.09
  25th percentile: 1.0
  median: 2.0
  75th percentile: 4.0
  max: 17.0
0 8.0
# contributors
min: 1.0 | average: 2.03 | 25th percentile: 1.0 | median: 1.0 | 75th percentile: 3.0 | max: 8.0

Number of Contributors vs. File Size: 335 points

lib/lorina/lorina/aiger.hpp x: 6 # contributors y: 625 lines of code experiments/explorer.cpp x: 2 # contributors y: 164 lines of code lib/kitty/kitty/bit_operations.hpp x: 6 # contributors y: 361 lines of code lib/kitty/kitty/operations.hpp x: 6 # contributors y: 1495 lines of code lib/kitty/kitty/affine.hpp x: 5 # contributors y: 110 lines of code lib/kitty/kitty/algorithm.hpp x: 5 # contributors y: 263 lines of code lib/kitty/kitty/cnf.hpp x: 5 # contributors y: 29 lines of code lib/kitty/kitty/constructors.hpp x: 8 # contributors y: 1077 lines of code lib/kitty/kitty/cube.hpp x: 6 # contributors y: 200 lines of code lib/kitty/kitty/decomposition.hpp x: 6 # contributors y: 721 lines of code lib/kitty/kitty/detail/mscfix.hpp x: 4 # contributors y: 6 lines of code lib/kitty/kitty/detail/shift.hpp x: 3 # contributors y: 961 lines of code lib/kitty/kitty/detail/utils.hpp x: 4 # contributors y: 41 lines of code lib/kitty/kitty/dynamic_truth_table.hpp x: 5 # contributors y: 69 lines of code lib/kitty/kitty/hash.hpp x: 5 # contributors y: 44 lines of code lib/kitty/kitty/implicant.hpp x: 5 # contributors y: 139 lines of code lib/kitty/kitty/karnaugh_map.hpp x: 2 # contributors y: 112 lines of code lib/kitty/kitty/npn.hpp x: 7 # contributors y: 748 lines of code lib/kitty/kitty/operators.hpp x: 5 # contributors y: 332 lines of code lib/kitty/kitty/partial_truth_table.hpp x: 4 # contributors y: 140 lines of code lib/kitty/kitty/permutation.hpp x: 5 # contributors y: 172 lines of code lib/kitty/kitty/print.hpp x: 5 # contributors y: 385 lines of code lib/kitty/kitty/properties.hpp x: 7 # contributors y: 228 lines of code lib/kitty/kitty/quaternary_truth_table.hpp x: 2 # contributors y: 91 lines of code lib/kitty/kitty/spectral.hpp x: 5 # contributors y: 924 lines of code lib/kitty/kitty/spp.hpp x: 5 # contributors y: 94 lines of code experiments/xag_resubstitution.cpp x: 1 # contributors y: 41 lines of code lib/parallel_hashmap/parallel_hashmap/phmap_dump.h x: 2 # contributors y: 194 lines of code lib/parallel_hashmap/parallel_hashmap/phmap.h x: 2 # contributors y: 3171 lines of code lib/percy/percy/fence.hpp x: 3 # contributors y: 504 lines of code experiments/emap.cpp x: 1 # contributors y: 68 lines of code .codecov.yml x: 1 # contributors y: 6 lines of code .readthedocs.yml x: 3 # contributors y: 11 lines of code experiments/experiments.hpp x: 7 # contributors y: 501 lines of code experiments/mapper.cpp x: 3 # contributors y: 71 lines of code experiments/aqfp_flow_date.cpp x: 2 # contributors y: 317 lines of code experiments/aqfp_flow_aspdac.cpp x: 2 # contributors y: 128 lines of code experiments/buffer_insertion.cpp x: 1 # contributors y: 106 lines of code lib/percy/percy/chain.hpp x: 4 # contributors y: 706 lines of code experiments/experimental.cpp x: 2 # contributors y: 37 lines of code experiments/sim_resubstitution.cpp x: 3 # contributors y: 37 lines of code lib/lorina/lorina/verilog.hpp x: 5 # contributors y: 1252 lines of code lib/percy/percy/percy.hpp x: 5 # contributors y: 1651 lines of code lib/percy/percy/spec.hpp x: 5 # contributors y: 335 lines of code .pre-commit-config.yaml x: 2 # contributors y: 13 lines of code lib/percy/percy/encoders/mig_encoder.hpp x: 3 # contributors y: 1299 lines of code experiments/cnf_map.cpp x: 3 # contributors y: 50 lines of code experiments/equivalence_checking.cpp x: 4 # contributors y: 60 lines of code experiments/exact_mc_synthesis.cpp x: 3 # contributors y: 245 lines of code experiments/window_rewriting.cpp x: 2 # contributors y: 62 lines of code tools/cleanup.py x: 1 # contributors y: 95 lines of code lib/nauty/NRswitchg.c x: 1 # contributors y: 164 lines of code lib/nauty/addedgeg.c x: 1 # contributors y: 236 lines of code lib/nauty/biplabg.c x: 1 # contributors y: 137 lines of code lib/nauty/blisstog.c x: 1 # contributors y: 182 lines of code lib/nauty/callgeng.c x: 1 # contributors y: 24 lines of code lib/nauty/checks6.c x: 1 # contributors y: 195 lines of code lib/nauty/converseg.c x: 1 # contributors y: 123 lines of code lib/nauty/cubhamg.c x: 1 # contributors y: 1598 lines of code lib/nauty/delptg.c x: 1 # contributors y: 216 lines of code lib/nauty/directg.c x: 1 # contributors y: 581 lines of code lib/nauty/dreadnaut.c x: 1 # contributors y: 2203 lines of code lib/nauty/dretodot.c x: 1 # contributors y: 674 lines of code lib/nauty/genbg.c x: 1 # contributors y: 1384 lines of code lib/nauty/geng.c x: 1 # contributors y: 1783 lines of code lib/nauty/genquarticg.c x: 1 # contributors y: 1308 lines of code lib/nauty/genrang.c x: 1 # contributors y: 998 lines of code lib/nauty/genspecialg.c x: 1 # contributors y: 820 lines of code lib/nauty/gentourng.c x: 1 # contributors y: 1102 lines of code lib/nauty/gentreeg.c x: 1 # contributors y: 478 lines of code lib/nauty/gtnauty.c x: 1 # contributors y: 614 lines of code lib/nauty/gtools-h.in x: 1 # contributors y: 259 lines of code lib/nauty/gtools.c x: 1 # contributors y: 2282 lines of code lib/nauty/gtools.h x: 1 # contributors y: 232 lines of code lib/nauty/gutil2.c x: 1 # contributors y: 411 lines of code lib/nauty/hamheuristic.c x: 1 # contributors y: 370 lines of code lib/nauty/linegraphg.c x: 1 # contributors y: 275 lines of code lib/nauty/listg.c x: 1 # contributors y: 506 lines of code lib/nauty/makefile.in x: 1 # contributors y: 457 lines of code lib/nauty/naugroup.c x: 1 # contributors y: 391 lines of code lib/nauty/naugstrings.c x: 1 # contributors y: 432 lines of code lib/nauty/nausparse.c x: 1 # contributors y: 1262 lines of code lib/nauty/nautinv.c x: 1 # contributors y: 1295 lines of code lib/nauty/naututil.c x: 1 # contributors y: 2248 lines of code lib/nauty/nauty.c x: 1 # contributors y: 841 lines of code lib/nauty/nauty.h x: 1 # contributors y: 761 lines of code lib/nauty/planarg.c x: 1 # contributors y: 330 lines of code lib/nauty/schreier.h x: 1 # contributors y: 52 lines of code lib/nauty/shortg.c x: 1 # contributors y: 658 lines of code lib/nauty/showg.c x: 1 # contributors y: 957 lines of code lib/nauty/sumlines.c x: 1 # contributors y: 1379 lines of code lib/nauty/testg.c x: 1 # contributors y: 897 lines of code lib/nauty/watercluster2.c x: 1 # contributors y: 2792 lines of code lib/percy/percy/generators/partial_dag_generator.hpp x: 2 # contributors y: 572 lines of code lib/percy/percy/majority_chain.hpp x: 2 # contributors y: 370 lines of code lib/bill/bill/sat/solver/glucose.hpp x: 4 # contributors y: 3797 lines of code lib/bill/bill/sat/solver/abc/system.h x: 3 # contributors y: 25 lines of code lib/bill/bill/sat/solver/maple.hpp x: 5 # contributors y: 3746 lines of code lib/lorina/lorina/bench.hpp x: 4 # contributors y: 204 lines of code lib/lorina/lorina/blif.hpp x: 6 # contributors y: 329 lines of code lib/lorina/lorina/bristol.hpp x: 3 # contributors y: 130 lines of code lib/lorina/lorina/detail/utils.hpp x: 6 # contributors y: 166 lines of code lib/lorina/lorina/genlib.hpp x: 3 # contributors y: 277 lines of code lib/lorina/lorina/detail/tokenizer.hpp x: 3 # contributors y: 103 lines of code lib/lorina/lorina/diagnostics.hpp x: 5 # contributors y: 199 lines of code lib/lorina/lorina/lorina.hpp x: 6 # contributors y: 9 lines of code lib/bill/bill/bill.hpp x: 2 # contributors y: 23 lines of code lib/bill/bill/sat/solver/ghack.hpp x: 4 # contributors y: 3145 lines of code lib/bill/bill/sat/interface/abc_bsat2.hpp x: 3 # contributors y: 179 lines of code lib/parallel_hashmap/parallel_hashmap/btree.h x: 1 # contributors y: 3042 lines of code lib/parallel_hashmap/parallel_hashmap/phmap_base.h x: 1 # contributors y: 3129 lines of code lib/parallel_hashmap/parallel_hashmap/phmap_bits.h x: 1 # contributors y: 447 lines of code lib/parallel_hashmap/parallel_hashmap/phmap_config.h x: 1 # contributors y: 490 lines of code lib/abcesop/exor.cpp x: 3 # contributors y: 349 lines of code lib/matplot/matplot/matplotlibcpp.h x: 1 # contributors y: 1844 lines of code lib/bill/bill/sat/interface/z3.hpp x: 3 # contributors y: 156 lines of code lib/bill/bill/sat/solver/abc.hpp x: 2 # contributors y: 4221 lines of code lib/bill/bill/sat/solver/abc/satSolver.h x: 2 # contributors y: 525 lines of code lib/abcsat/abc/satSolver.h x: 2 # contributors y: 535 lines of code lib/bill/bill/sat/tseytin.hpp x: 2 # contributors y: 67 lines of code lib/abcesop/eabc/vecInt.h x: 1 # contributors y: 1146 lines of code lib/abcesop/eabc/vecPtr.h x: 1 # contributors y: 518 lines of code lib/abcesop/exorList.cpp x: 1 # contributors y: 631 lines of code lib/abcsat/abc/vecInt.h x: 2 # contributors y: 1157 lines of code lib/abcsat/abc/vecWec.h x: 2 # contributors y: 413 lines of code lib/percy/percy/dag.hpp x: 2 # contributors y: 501 lines of code lib/percy/percy/encoders/ditt_maj_encoder.hpp x: 3 # contributors y: 658 lines of code lib/percy/percy/encoders/maj_encoder.hpp x: 4 # contributors y: 1674 lines of code lib/percy/percy/encoders/ssv_dag_encoder.hpp x: 2 # contributors y: 227 lines of code lib/percy/percy/encoders/ssv_encoder.hpp x: 2 # contributors y: 1166 lines of code lib/percy/percy/generators/partial_dag3_generator.hpp x: 1 # contributors y: 536 lines of code lib/percy/percy/tt_utils.hpp x: 4 # contributors y: 26 lines of code lib/abcsat/abc/abc_global.h x: 3 # contributors y: 296 lines of code lib/abcsat/abc/satClause.h x: 2 # contributors y: 270 lines of code lib/fmt/fmt/chrono.h x: 2 # contributors y: 891 lines of code lib/fmt/fmt/color.h x: 2 # contributors y: 477 lines of code lib/fmt/fmt/core.h x: 2 # contributors y: 1235 lines of code lib/fmt/fmt/format-inl.h x: 2 # contributors y: 1115 lines of code lib/fmt/fmt/format.cc x: 4 # contributors y: 132 lines of code lib/fmt/fmt/format.h x: 4 # contributors y: 2797 lines of code lib/fmt/fmt/ostream.h x: 4 # contributors y: 96 lines of code lib/fmt/fmt/printf.h x: 4 # contributors y: 517 lines of code lib/fmt/fmt/ranges.h x: 2 # contributors y: 288 lines of code lib/bill/bill/sat/solver/abc/abc_global.h x: 1 # contributors y: 291 lines of code lib/bill/bill/sat/solver/abc/vecInt.h x: 1 # contributors y: 1150 lines of code lib/abcsat/satSolver.cpp x: 2 # contributors y: 1838 lines of code lib/percy/percy/encoders/ditt_encoder.hpp x: 2 # contributors y: 958 lines of code lib/percy/percy/encoders/msv_encoder.hpp x: 2 # contributors y: 981 lines of code lib/percy/percy/encoders/ssv_fence2_encoder.hpp x: 2 # contributors y: 684 lines of code lib/percy/percy/encoders/ssv_fence_encoder.hpp x: 2 # contributors y: 493 lines of code lib/percy/percy/dag_generation.hpp x: 1 # contributors y: 987 lines of code lib/percy/percy/encoders/aig_encoder.hpp x: 1 # contributors y: 1518 lines of code lib/percy/percy/encoders/partial_dag_encoder.hpp x: 3 # contributors y: 990 lines of code lib/percy/percy/misc.hpp x: 3 # contributors y: 141 lines of code lib/abcsat/Glucose.cpp x: 2 # contributors y: 1021 lines of code lib/abcsat/abc/SolverTypes.h x: 2 # contributors y: 263 lines of code lib/abcsat/abc/pstdint.h x: 2 # contributors y: 604 lines of code lib/percy/percy/concurrentqueue.h x: 1 # contributors y: 2625 lines of code lib/rang/rang/rang.hpp x: 3 # contributors y: 424 lines of code
4221.0
lines of code
  min: 1.0
  average: 418.14
  25th percentile: 58.0
  median: 156.0
  75th percentile: 490.0
  max: 4221.0
0 8.0
# contributors
min: 1.0 | average: 2.03 | 25th percentile: 1.0 | median: 1.0 | 75th percentile: 3.0 | max: 8.0

Number of Changes vs. Line Churn: 976 points

include/mockturtle/io/genlib_reader.hpp x: 9 # changes y: 251 line churn include/mockturtle/io/write_aiger.hpp x: 8 # changes y: 363 line churn test/io/write_aiger.cpp x: 4 # changes y: 284 line churn include/mockturtle/io/aiger_reader.hpp x: 24 # changes y: 1373 line churn include/mockturtle/io/blif_reader.hpp x: 16 # changes y: 554 line churn include/mockturtle/io/write_blif.hpp x: 14 # changes y: 940 line churn include/mockturtle/networks/sequential.hpp x: 6 # changes y: 1022 line churn test/io/aiger_reader.cpp x: 13 # changes y: 638 line churn lib/lorina/lorina/aiger.hpp x: 12 # changes y: 2696 line churn experiments/explorer.cpp x: 2 # changes y: 235 line churn include/mockturtle/algorithms/explorer.hpp x: 2 # changes y: 998 line churn include/mockturtle/generators/random_network.hpp x: 3 # changes y: 732 line churn lib/CMakeLists.txt x: 30 # changes y: 228 line churn include/mockturtle/algorithms/window_rewriting.hpp x: 17 # changes y: 1339 line churn test/algorithms/window_rewriting.cpp x: 1 # changes y: 114 line churn .github/workflows/codeql.yml x: 5 # changes y: 91 line churn .github/workflows/coverage.yml x: 6 # changes y: 63 line churn include/mockturtle/algorithms/mig_inv_propagation.hpp x: 3 # changes y: 429 line churn include/mockturtle/views/depth_view.hpp x: 23 # changes y: 590 line churn README.md x: 20 # changes y: 87 line churn include/mockturtle/utils/window_utils.hpp x: 13 # changes y: 1356 line churn lib/kitty/kitty/operations.hpp x: 13 # changes y: 2977 line churn lib/kitty/kitty/cnf.hpp x: 7 # changes y: 91 line churn lib/kitty/kitty/constructors.hpp x: 17 # changes y: 1741 line churn lib/kitty/kitty/cube.hpp x: 12 # changes y: 357 line churn lib/kitty/kitty/decomposition.hpp x: 10 # changes y: 1046 line churn lib/kitty/kitty/detail/shift.hpp x: 5 # changes y: 2902 line churn lib/kitty/kitty/dynamic_truth_table.hpp x: 10 # changes y: 215 line churn lib/kitty/kitty/esop.hpp x: 11 # changes y: 401 line churn lib/kitty/kitty/npn.hpp x: 16 # changes y: 1375 line churn lib/kitty/kitty/properties.hpp x: 15 # changes y: 464 line churn lib/kitty/kitty/spectral.hpp x: 11 # changes y: 1306 line churn docs/changelog.rst x: 131 # changes y: 531 line churn include/mockturtle/algorithms/aig_resub.hpp x: 21 # changes y: 1224 line churn include/mockturtle/algorithms/circuit_validator.hpp x: 20 # changes y: 1339 line churn include/mockturtle/algorithms/experimental/cost_resyn.hpp x: 5 # changes y: 1301 line churn include/mockturtle/algorithms/mig_resub.hpp x: 21 # changes y: 1703 line churn include/mockturtle/algorithms/resyn_engines/mig_resyn.hpp x: 7 # changes y: 1640 line churn include/mockturtle/mockturtle.hpp x: 37 # changes y: 627 line churn include/mockturtle/utils/index_list.hpp x: 16 # changes y: 2938 line churn include/mockturtle/utils/index_list/index_list.hpp x: 1 # changes y: 1124 line churn include/mockturtle/algorithms/emap.hpp x: 7 # changes y: 7274 line churn lib/parallel_hashmap/parallel_hashmap/phmap.h x: 2 # changes y: 4546 line churn include/mockturtle/algorithms/akers_synthesis.hpp x: 20 # changes y: 2864 line churn include/mockturtle/algorithms/aqfp/buffer_insertion.hpp x: 13 # changes y: 4006 line churn include/mockturtle/algorithms/lut_mapper.hpp x: 10 # changes y: 3249 line churn include/mockturtle/networks/aqfp.hpp x: 8 # changes y: 1581 line churn include/mockturtle/utils/struct_library.hpp x: 4 # changes y: 1572 line churn include/mockturtle/utils/node_map.hpp x: 27 # changes y: 1013 line churn lib/abcresub/abcresub/abcresub.hpp x: 3 # changes y: 3434 line churn include/mockturtle/algorithms/cut_rewriting.hpp x: 40 # changes y: 1551 line churn include/mockturtle/algorithms/resubstitution.hpp x: 41 # changes y: 4720 line churn include/mockturtle/algorithms/sim_resub.hpp x: 19 # changes y: 2502 line churn docs/io/writers.rst x: 14 # changes y: 122 line churn include/mockturtle/networks/aig.hpp x: 61 # changes y: 3215 line churn include/mockturtle/networks/mig.hpp x: 48 # changes y: 3759 line churn include/mockturtle/networks/xag.hpp x: 35 # changes y: 2026 line churn include/mockturtle/networks/xmg.hpp x: 36 # changes y: 2221 line churn include/mockturtle/networks/block.hpp x: 4 # changes y: 1178 line churn include/mockturtle/algorithms/experimental/emap.hpp x: 3 # changes y: 10798 line churn include/mockturtle/traits.hpp x: 49 # changes y: 5223 line churn test/utils/tech_library.cpp x: 7 # changes y: 1281 line churn include/mockturtle/algorithms/mapper.hpp x: 11 # changes y: 4075 line churn test/algorithms/quality.cpp x: 44 # changes y: 1256 line churn docs/implementations.rst x: 51 # changes y: 4798 line churn docs/views.rst x: 24 # changes y: 263 line churn include/mockturtle/networks/klut.hpp x: 38 # changes y: 1846 line churn include/mockturtle/networks/storage.hpp x: 18 # changes y: 533 line churn docs/network.rst x: 25 # changes y: 573 line churn include/mockturtle/algorithms/cut_enumeration.hpp x: 30 # changes y: 2597 line churn test/networks/mig.cpp x: 17 # changes y: 2624 line churn test/networks/xmg.cpp x: 19 # changes y: 1345 line churn test/networks/aig.cpp x: 22 # changes y: 1752 line churn test/networks/klut.cpp x: 12 # changes y: 1195 line churn include/mockturtle/algorithms/simulation.hpp x: 29 # changes y: 1956 line churn include/mockturtle/io/verilog_reader.hpp x: 23 # changes y: 1082 line churn include/mockturtle/views/topo_view.hpp x: 18 # changes y: 824 line churn lib/lorina/lorina/verilog.hpp x: 17 # changes y: 3014 line churn lib/percy/percy/percy.hpp x: 12 # changes y: 6552 line churn include/mockturtle/algorithms/linear_resynthesis.hpp x: 14 # changes y: 1922 line churn include/mockturtle/generators/arithmetic.hpp x: 15 # changes y: 717 line churn include/mockturtle/interface.hpp x: 42 # changes y: 3096 line churn include/mockturtle/views/cut_view.hpp x: 17 # changes y: 406 line churn lib/percy/percy/encoders/mig_encoder.hpp x: 3 # changes y: 3756 line churn docs/Doxyfile x: 3 # changes y: 5525 line churn test/algorithms/akers_synthesis.cpp x: 12 # changes y: 1582 line churn docs/index.rst x: 55 # changes y: 334 line churn lib/nauty/config.guess x: 1 # changes y: 1456 line churn lib/nauty/configure x: 1 # changes y: 6622 line churn lib/nauty/dreadnaut.c x: 1 # changes y: 2544 line churn lib/nauty/gtools.c x: 1 # changes y: 2873 line churn lib/nauty/nautestf.ans x: 1 # changes y: 11934 line churn lib/nauty/nautestg.ans x: 1 # changes y: 181820 line churn lib/nauty/planarity.c x: 1 # changes y: 10386 line churn lib/nauty/watercluster2.c x: 1 # changes y: 4078 line churn lib/bill/bill/sat/solver/glucose.hpp x: 5 # changes y: 6620 line churn lib/bill/bill/sat/solver/maple.hpp x: 6 # changes y: 5855 line churn lib/lorina/lorina/detail/utils.hpp x: 13 # changes y: 1678 line churn test/catch2/catch.hpp x: 5 # changes y: 34979 line churn include/mockturtle/algorithms/resyn_engines/mig_resyn_engines.hpp x: 3 # changes y: 2662 line churn include/mockturtle/algorithms/resyn_engines/xag_resyn_engines.hpp x: 5 # changes y: 2004 line churn lib/json/nlohmann/json.hpp x: 2 # changes y: 36031 line churn include/mockturtle/algorithms/mig_resyn_engines.hpp x: 4 # changes y: 2410 line churn lib/bill/bill/sat/solver/ghack.hpp x: 4 # changes y: 5108 line churn lib/parallel_hashmap/parallel_hashmap/phmap_base.h x: 1 # changes y: 5171 line churn lib/sparsepp/sparsepp/spp.h x: 5 # changes y: 13042 line churn lib/sparsepp/sparsepp/spp_dlalloc.h x: 3 # changes y: 12117 line churn lib/bill/bill/sat/solver/abc.hpp x: 2 # changes y: 5927 line churn lib/abcesop/eabc/vecInt.h x: 2 # changes y: 2080 line churn lib/percy/percy/encoders/maj_encoder.hpp x: 7 # changes y: 3849 line churn lib/percy/percy/encoders/ssv_encoder.hpp x: 6 # changes y: 2963 line churn lib/percy/percy/partial_dag.hpp x: 8 # changes y: 4260 line churn lib/fmt/fmt/core.h x: 2 # changes y: 3453 line churn lib/fmt/fmt/format-inl.h x: 2 # changes y: 2575 line churn lib/fmt/fmt/format.cc x: 5 # changes y: 2174 line churn lib/fmt/fmt/format.h x: 5 # changes y: 22684 line churn lib/abcsat/SimpSolver.cpp x: 3 # changes y: 1540 line churn lib/percy/percy/encoders/partial_dag_encoder.hpp x: 7 # changes y: 2386 line churn lib/percy/percy/encoders/knuth_encoder.hpp x: 5 # changes y: 3802 line churn lib/percy/percy/encoders/knuth_fence2_encoder.hpp x: 4 # changes y: 3572 line churn
181820.0
line churn
  min: 1.0
  average: 934.59
  25th percentile: 102.25
  median: 248.5
  75th percentile: 637.0
  max: 181820.0
0 131.0
# changes
min: 1.0 | average: 5.17 | 25th percentile: 1.0 | median: 3.0 | 75th percentile: 6.0 | max: 131.0

Number of Contributors vs. Line Churn: 335 points

lib/lorina/lorina/aiger.hpp x: 6 # contributors y: 2696 line churn experiments/explorer.cpp x: 2 # contributors y: 235 line churn lib/kitty/kitty/bit_operations.hpp x: 6 # contributors y: 648 line churn lib/kitty/kitty/operations.hpp x: 6 # contributors y: 2977 line churn lib/kitty/kitty/affine.hpp x: 5 # contributors y: 251 line churn lib/kitty/kitty/algorithm.hpp x: 5 # contributors y: 519 line churn lib/kitty/kitty/cnf.hpp x: 5 # contributors y: 91 line churn lib/kitty/kitty/constructors.hpp x: 8 # contributors y: 1741 line churn lib/kitty/kitty/cube.hpp x: 6 # contributors y: 357 line churn lib/kitty/kitty/decomposition.hpp x: 6 # contributors y: 1046 line churn lib/kitty/kitty/detail/mscfix.hpp x: 4 # contributors y: 50 line churn lib/kitty/kitty/detail/shift.hpp x: 3 # contributors y: 2902 line churn lib/kitty/kitty/detail/utils.hpp x: 4 # contributors y: 107 line churn lib/kitty/kitty/kitty.hpp x: 5 # contributors y: 82 line churn lib/kitty/kitty/npn.hpp x: 7 # contributors y: 1375 line churn lib/kitty/kitty/operators.hpp x: 5 # contributors y: 545 line churn lib/kitty/kitty/partial_truth_table.hpp x: 4 # contributors y: 354 line churn lib/kitty/kitty/permutation.hpp x: 5 # contributors y: 298 line churn lib/kitty/kitty/print.hpp x: 5 # contributors y: 824 line churn lib/kitty/kitty/properties.hpp x: 7 # contributors y: 464 line churn lib/kitty/kitty/spectral.hpp x: 5 # contributors y: 1306 line churn experiments/xag_resubstitution.cpp x: 1 # contributors y: 77 line churn lib/parallel_hashmap/parallel_hashmap/phmap_dump.h x: 2 # contributors y: 284 line churn lib/parallel_hashmap/parallel_hashmap/phmap.h x: 2 # contributors y: 4546 line churn lib/percy/percy/fence.hpp x: 3 # contributors y: 682 line churn lib/abcsat/abc/satVec.h x: 2 # contributors y: 171 line churn experiments/emap.cpp x: 1 # contributors y: 194 line churn experiments/aqfp_flow_tcad.cpp x: 1 # contributors y: 94 line churn .readthedocs.yml x: 3 # contributors y: 25 line churn experiments/experiments.hpp x: 7 # contributors y: 718 line churn experiments/mapper.cpp x: 3 # contributors y: 251 line churn experiments/aqfp_flow_date.cpp x: 2 # contributors y: 458 line churn experiments/buffer_insertion.cpp x: 1 # contributors y: 409 line churn lib/percy/percy/chain.hpp x: 4 # contributors y: 992 line churn experiments/experimental.cpp x: 2 # contributors y: 86 line churn lib/lorina/lorina/verilog.hpp x: 5 # contributors y: 3014 line churn lib/percy/percy/percy.hpp x: 5 # contributors y: 6552 line churn lib/percy/percy/spec.hpp x: 5 # contributors y: 665 line churn lib/percy/percy/encoders/mig_encoder.hpp x: 3 # contributors y: 3756 line churn experiments/cnf_map.cpp x: 3 # contributors y: 94 line churn experiments/exact_mc_synthesis.cpp x: 3 # contributors y: 316 line churn lib/nauty/addedgeg.c x: 1 # contributors y: 282 line churn lib/nauty/cubhamg.c x: 1 # contributors y: 1985 line churn lib/nauty/directg.c x: 1 # contributors y: 738 line churn lib/nauty/dreadnaut.c x: 1 # contributors y: 2544 line churn lib/nauty/genbg.c x: 1 # contributors y: 1746 line churn lib/nauty/geng.c x: 1 # contributors y: 2450 line churn lib/nauty/genquarticg.c x: 1 # contributors y: 1620 line churn lib/nauty/genrang.c x: 1 # contributors y: 1215 line churn lib/nauty/genspecialg.c x: 1 # contributors y: 1020 line churn lib/nauty/gentourng.c x: 1 # contributors y: 1467 line churn lib/nauty/gentreeg.c x: 1 # contributors y: 628 line churn lib/nauty/gtools.c x: 1 # contributors y: 2873 line churn lib/nauty/gutil1.c x: 1 # contributors y: 851 line churn lib/nauty/gutil2.c x: 1 # contributors y: 558 line churn lib/nauty/naugroup.c x: 1 # contributors y: 528 line churn lib/nauty/naututil.c x: 1 # contributors y: 3192 line churn lib/nauty/schreier.c x: 1 # contributors y: 1124 line churn lib/nauty/watercluster2.c x: 1 # contributors y: 4078 line churn lib/percy/percy/generators/partial_dag_generator.hpp x: 2 # contributors y: 727 line churn lib/percy/percy/majority_chain.hpp x: 2 # contributors y: 539 line churn lib/bill/bill/sat/solver/glucose.hpp x: 4 # contributors y: 6620 line churn lib/bill/bill/sat/solver/maple.hpp x: 5 # contributors y: 5855 line churn lib/lorina/lorina/bench.hpp x: 4 # contributors y: 979 line churn lib/lorina/lorina/blif.hpp x: 6 # contributors y: 1226 line churn lib/lorina/lorina/detail/utils.hpp x: 6 # contributors y: 1678 line churn lib/lorina/lorina/genlib.hpp x: 3 # contributors y: 493 line churn lib/lorina/lorina/diagnostics.hpp x: 5 # contributors y: 732 line churn lib/lorina/lorina/pla.hpp x: 5 # contributors y: 922 line churn lib/lorina/lorina/lorina.hpp x: 6 # contributors y: 139 line churn lib/bill/bill/sat/solver/ghack.hpp x: 4 # contributors y: 5108 line churn lib/parallel_hashmap/parallel_hashmap/phmap_base.h x: 1 # contributors y: 5171 line churn lib/abcesop/exor.cpp x: 3 # contributors y: 990 line churn lib/bill/bill/sat/solver/abc.hpp x: 2 # contributors y: 5927 line churn lib/bill/bill/sat/solver/abc/satSolver.h x: 2 # contributors y: 655 line churn lib/abcesop/eabc/vecInt.h x: 1 # contributors y: 2080 line churn lib/abcsat/abc/vecInt.h x: 2 # contributors y: 2087 line churn lib/percy/percy/encoders/ditt_maj_encoder.hpp x: 3 # contributors y: 783 line churn lib/percy/percy/encoders/maj_encoder.hpp x: 4 # contributors y: 3849 line churn lib/percy/percy/encoders/ssv_encoder.hpp x: 2 # contributors y: 2963 line churn lib/percy/percy/partial_dag.hpp x: 2 # contributors y: 4260 line churn lib/abcsat/abc/abc_global.h x: 3 # contributors y: 437 line churn lib/fmt/fmt/chrono.h x: 2 # contributors y: 1417 line churn lib/fmt/fmt/color.h x: 2 # contributors y: 830 line churn lib/fmt/fmt/core.h x: 2 # contributors y: 3453 line churn lib/fmt/fmt/format-inl.h x: 2 # contributors y: 2575 line churn lib/fmt/fmt/format.cc x: 4 # contributors y: 2174 line churn lib/fmt/fmt/format.h x: 4 # contributors y: 22684 line churn lib/fmt/fmt/ostream.h x: 4 # contributors y: 575 line churn lib/fmt/fmt/posix.h x: 4 # contributors y: 1678 line churn lib/fmt/fmt/printf.h x: 4 # contributors y: 3397 line churn lib/bill/bill/dd/zdd.hpp x: 1 # contributors y: 928 line churn lib/abcsat/satSolver.cpp x: 2 # contributors y: 2605 line churn lib/percy/percy/encoders/ditt_encoder.hpp x: 2 # contributors y: 2340 line churn lib/percy/percy/encoders/ssv_fence2_encoder.hpp x: 2 # contributors y: 1826 line churn lib/percy/percy/encoders/ssv_fence_encoder.hpp x: 2 # contributors y: 1709 line churn lib/abcsat/SimpSolver.cpp x: 2 # contributors y: 1540 line churn lib/percy/percy/encoders/partial_dag_encoder.hpp x: 3 # contributors y: 2386 line churn lib/abcsat/AbcGlucose.cpp x: 2 # contributors y: 1192 line churn lib/abcsat/abc/Map.h x: 2 # contributors y: 394 line churn lib/abcsat/abc/Solver.h x: 2 # contributors y: 986 line churn lib/percy/percy/concurrentqueue.h x: 1 # contributors y: 3634 line churn lib/rang/rang/rang.hpp x: 3 # contributors y: 1506 line churn
22684.0
line churn
  min: 1.0
  average: 805.42
  25th percentile: 128.0
  median: 270.0
  75th percentile: 783.0
  max: 22684.0
0 8.0
# contributors
min: 1.0 | average: 2.03 | 25th percentile: 1.0 | median: 1.0 | 75th percentile: 3.0 | max: 8.0

File Size vs. Line Churn: 335 points

lib/lorina/lorina/aiger.hpp x: 625 lines of code y: 2696 line churn experiments/explorer.cpp x: 164 lines of code y: 235 line churn lib/kitty/kitty/bit_operations.hpp x: 361 lines of code y: 648 line churn lib/kitty/kitty/operations.hpp x: 1495 lines of code y: 2977 line churn lib/kitty/kitty/affine.hpp x: 110 lines of code y: 251 line churn lib/kitty/kitty/algorithm.hpp x: 263 lines of code y: 519 line churn lib/kitty/kitty/cnf.hpp x: 29 lines of code y: 91 line churn lib/kitty/kitty/constructors.hpp x: 1077 lines of code y: 1741 line churn lib/kitty/kitty/cube.hpp x: 200 lines of code y: 357 line churn lib/kitty/kitty/decomposition.hpp x: 721 lines of code y: 1046 line churn lib/kitty/kitty/detail/mscfix.hpp x: 6 lines of code y: 50 line churn lib/kitty/kitty/detail/shift.hpp x: 961 lines of code y: 2902 line churn lib/kitty/kitty/detail/utils.hpp x: 41 lines of code y: 107 line churn lib/kitty/kitty/dynamic_truth_table.hpp x: 69 lines of code y: 215 line churn lib/kitty/kitty/enumeration.hpp x: 48 lines of code y: 119 line churn lib/kitty/kitty/implicant.hpp x: 139 lines of code y: 266 line churn lib/kitty/kitty/isop.hpp x: 70 lines of code y: 140 line churn lib/kitty/kitty/kitty.hpp x: 25 lines of code y: 82 line churn lib/kitty/kitty/npn.hpp x: 748 lines of code y: 1375 line churn lib/kitty/kitty/operators.hpp x: 332 lines of code y: 545 line churn lib/kitty/kitty/partial_truth_table.hpp x: 140 lines of code y: 354 line churn lib/kitty/kitty/permutation.hpp x: 172 lines of code y: 298 line churn lib/kitty/kitty/print.hpp x: 385 lines of code y: 824 line churn lib/kitty/kitty/properties.hpp x: 228 lines of code y: 464 line churn lib/kitty/kitty/quaternary_truth_table.hpp x: 91 lines of code y: 267 line churn lib/kitty/kitty/spectral.hpp x: 924 lines of code y: 1306 line churn lib/kitty/kitty/spp.hpp x: 94 lines of code y: 172 line churn lib/kitty/kitty/static_truth_table.hpp x: 104 lines of code y: 320 line churn lib/kitty/kitty/ternary_truth_table.hpp x: 93 lines of code y: 266 line churn lib/kitty/kitty/traits.hpp x: 17 lines of code y: 91 line churn experiments/xag_resubstitution.cpp x: 41 lines of code y: 77 line churn lib/parallel_hashmap/parallel_hashmap/phmap_dump.h x: 194 lines of code y: 284 line churn lib/parallel_hashmap/parallel_hashmap/phmap.h x: 3171 lines of code y: 4546 line churn lib/percy/percy/fence.hpp x: 504 lines of code y: 682 line churn lib/abcsat/abc/satVec.h x: 114 lines of code y: 171 line churn experiments/emap.cpp x: 68 lines of code y: 194 line churn .readthedocs.yml x: 11 lines of code y: 25 line churn experiments/experiments.hpp x: 501 lines of code y: 718 line churn experiments/aqfp_flow_date.cpp x: 317 lines of code y: 458 line churn experiments/aqfp_flow_aspdac.cpp x: 128 lines of code y: 234 line churn experiments/buffer_insertion.cpp x: 106 lines of code y: 409 line churn lib/percy/percy/chain.hpp x: 706 lines of code y: 992 line churn experiments/experimental.cpp x: 37 lines of code y: 86 line churn lib/lorina/lorina/verilog.hpp x: 1252 lines of code y: 3014 line churn lib/percy/percy/percy.hpp x: 1651 lines of code y: 6552 line churn lib/percy/percy/spec.hpp x: 335 lines of code y: 665 line churn lib/percy/percy/encoders/mig_encoder.hpp x: 1299 lines of code y: 3756 line churn experiments/equivalence_checking.cpp x: 60 lines of code y: 117 line churn experiments/exact_mc_synthesis.cpp x: 245 lines of code y: 316 line churn experiments/satlut.cpp x: 65 lines of code y: 111 line churn lib/nauty/addedgeg.c x: 236 lines of code y: 282 line churn lib/nauty/amtog.c x: 240 lines of code y: 274 line churn lib/nauty/biplabg.c x: 137 lines of code y: 170 line churn lib/nauty/blisstog.c x: 182 lines of code y: 214 line churn lib/nauty/catg.c x: 141 lines of code y: 175 line churn lib/nauty/checks6.c x: 195 lines of code y: 227 line churn lib/nauty/complg.c x: 235 lines of code y: 267 line churn lib/nauty/converseg.c x: 123 lines of code y: 152 line churn lib/nauty/cubhamg.c x: 1598 lines of code y: 1985 line churn lib/nauty/deledgeg.c x: 187 lines of code y: 218 line churn lib/nauty/delptg.c x: 216 lines of code y: 263 line churn lib/nauty/directg.c x: 581 lines of code y: 738 line churn lib/nauty/dreadnaut.c x: 2203 lines of code y: 2544 line churn lib/nauty/dretodot.c x: 674 lines of code y: 753 line churn lib/nauty/dretog.c x: 201 lines of code y: 229 line churn lib/nauty/genbg.c x: 1384 lines of code y: 1746 line churn lib/nauty/geng.c x: 1783 lines of code y: 2450 line churn lib/nauty/genquarticg.c x: 1308 lines of code y: 1620 line churn lib/nauty/genrang.c x: 998 lines of code y: 1215 line churn lib/nauty/genspecialg.c x: 820 lines of code y: 1020 line churn lib/nauty/gentourng.c x: 1102 lines of code y: 1467 line churn lib/nauty/gentreeg.c x: 478 lines of code y: 628 line churn lib/nauty/gtnauty.c x: 614 lines of code y: 761 line churn lib/nauty/gtools-h.in x: 259 lines of code y: 297 line churn lib/nauty/gtools.c x: 2282 lines of code y: 2873 line churn lib/nauty/gutil1.c x: 675 lines of code y: 851 line churn lib/nauty/gutil2.c x: 411 lines of code y: 558 line churn lib/nauty/hamheuristic.c x: 370 lines of code y: 433 line churn lib/nauty/labelg.c x: 402 lines of code y: 440 line churn lib/nauty/linegraphg.c x: 275 lines of code y: 328 line churn lib/nauty/makefile.in x: 457 lines of code y: 540 line churn lib/nauty/multig.c x: 680 lines of code y: 857 line churn lib/nauty/naucompare.c x: 213 lines of code y: 270 line churn lib/nauty/naugroup.c x: 391 lines of code y: 528 line churn lib/nauty/naugstrings.c x: 432 lines of code y: 523 line churn lib/nauty/naurng.h x: 21 lines of code y: 40 line churn lib/nauty/nausparse.c x: 1262 lines of code y: 1741 line churn lib/nauty/nausparse.h x: 90 lines of code y: 128 line churn lib/nauty/nautaux.c x: 155 lines of code y: 252 line churn lib/nauty/nautil.c x: 415 lines of code y: 747 line churn lib/nauty/nautinv.c x: 1295 lines of code y: 1752 line churn lib/nauty/naututil-h.in x: 91 lines of code y: 289 line churn lib/nauty/naututil.c x: 2248 lines of code y: 3192 line churn lib/nauty/naututil.h x: 137 lines of code y: 289 line churn lib/nauty/nauty-h.in x: 1110 lines of code y: 1225 line churn lib/nauty/nauty.c x: 841 lines of code y: 1229 line churn lib/nauty/nauty.h x: 761 lines of code y: 1225 line churn lib/nauty/planarg.c x: 330 lines of code y: 393 line churn lib/nauty/planarity.h x: 275 lines of code y: 457 line churn lib/nauty/quarticirred28.h x: 316 lines of code y: 316 line churn lib/nauty/schreier.c x: 832 lines of code y: 1124 line churn lib/nauty/schreier.h x: 52 lines of code y: 68 line churn lib/nauty/shortg.c x: 658 lines of code y: 749 line churn lib/nauty/showg.c x: 957 lines of code y: 1238 line churn lib/nauty/splay.c x: 254 lines of code y: 413 line churn lib/nauty/sumlines.c x: 1379 lines of code y: 1663 line churn lib/nauty/testg.c x: 897 lines of code y: 1095 line churn lib/nauty/twohamg.c x: 1002 lines of code y: 1205 line churn lib/nauty/vcolg.c x: 414 lines of code y: 529 line churn lib/nauty/watercluster2.c x: 2792 lines of code y: 4078 line churn lib/percy/percy/generators/partial_dag_generator.hpp x: 572 lines of code y: 727 line churn lib/percy/percy/majority_chain.hpp x: 370 lines of code y: 539 line churn lib/bill/bill/sat/solver/glucose.hpp x: 3797 lines of code y: 6620 line churn lib/bill/bill/sat/solver/maple.hpp x: 3746 lines of code y: 5855 line churn lib/lorina/lorina/bench.hpp x: 204 lines of code y: 979 line churn lib/lorina/lorina/blif.hpp x: 329 lines of code y: 1226 line churn lib/lorina/lorina/bristol.hpp x: 130 lines of code y: 243 line churn lib/lorina/lorina/detail/call_in_topological_order.hpp x: 244 lines of code y: 408 line churn lib/lorina/lorina/detail/utils.hpp x: 166 lines of code y: 1678 line churn lib/lorina/lorina/diagnostics.hpp x: 199 lines of code y: 732 line churn lib/lorina/lorina/pla.hpp x: 196 lines of code y: 922 line churn lib/lorina/lorina/common.hpp x: 9 lines of code y: 134 line churn lib/bill/bill/sat/solver/ghack.hpp x: 3145 lines of code y: 5108 line churn lib/bill/bill/dd/cudd_zdd.hpp x: 397 lines of code y: 493 line churn lib/bill/bill/sat/interface/abc_bsat2.hpp x: 179 lines of code y: 275 line churn lib/parallel_hashmap/parallel_hashmap/btree.h x: 3042 lines of code y: 4050 line churn lib/parallel_hashmap/parallel_hashmap/phmap_base.h x: 3129 lines of code y: 5171 line churn lib/parallel_hashmap/parallel_hashmap/phmap_bits.h x: 447 lines of code y: 663 line churn lib/parallel_hashmap/parallel_hashmap/phmap_config.h x: 490 lines of code y: 764 line churn lib/parallel_hashmap/parallel_hashmap/phmap_utils.h x: 280 lines of code y: 376 line churn lib/abcesop/exor.cpp x: 349 lines of code y: 990 line churn lib/matplot/matplot/matplotlibcpp.h x: 1844 lines of code y: 2554 line churn lib/bill/bill/sat/interface/z3.hpp x: 156 lines of code y: 272 line churn lib/bill/bill/sat/solver/abc.hpp x: 4221 lines of code y: 5927 line churn lib/bill/bill/sat/solver/abc/satSolver.h x: 525 lines of code y: 655 line churn lib/abcsat/abc/satSolver.h x: 535 lines of code y: 661 line churn lib/bill/bill/sat/unsat_cores.hpp x: 58 lines of code y: 73 line churn lib/abcesop/eabc/vecInt.h x: 1146 lines of code y: 2080 line churn lib/abcesop/eabc/vecPtr.h x: 518 lines of code y: 1180 line churn lib/abcesop/exorLink.cpp x: 470 lines of code y: 749 line churn lib/abcesop/exorList.cpp x: 631 lines of code y: 1156 line churn lib/abcsat/abc/vecInt.h x: 1157 lines of code y: 2087 line churn lib/percy/percy/dag.hpp x: 501 lines of code y: 653 line churn lib/percy/percy/encoders/maj_encoder.hpp x: 1674 lines of code y: 3849 line churn lib/percy/percy/encoders/ssv_dag_encoder.hpp x: 227 lines of code y: 628 line churn lib/percy/percy/encoders/ssv_encoder.hpp x: 1166 lines of code y: 2963 line churn lib/percy/percy/mig.hpp x: 6 lines of code y: 1052 line churn lib/percy/percy/partial_dag.hpp x: 538 lines of code y: 4260 line churn lib/percy/percy/solvers/bsat2.hpp x: 119 lines of code y: 152 line churn lib/abcsat/abc/abc_global.h x: 296 lines of code y: 437 line churn lib/abcsat/abc/satClause.h x: 270 lines of code y: 485 line churn lib/fmt/fmt/chrono.h x: 891 lines of code y: 1417 line churn lib/fmt/fmt/color.h x: 477 lines of code y: 830 line churn lib/fmt/fmt/compile.h x: 480 lines of code y: 595 line churn lib/fmt/fmt/core.h x: 1235 lines of code y: 3453 line churn lib/fmt/fmt/format-inl.h x: 1115 lines of code y: 2575 line churn lib/fmt/fmt/format.cc x: 132 lines of code y: 2174 line churn lib/fmt/fmt/format.h x: 2797 lines of code y: 22684 line churn lib/fmt/fmt/os.h x: 202 lines of code y: 392 line churn lib/fmt/fmt/ostream.h x: 96 lines of code y: 575 line churn lib/fmt/fmt/posix.h x: 2 lines of code y: 1678 line churn lib/fmt/fmt/printf.h x: 517 lines of code y: 3397 line churn lib/fmt/fmt/ranges.h x: 288 lines of code y: 563 line churn lib/bill/bill/dd/zdd.hpp x: 763 lines of code y: 928 line churn lib/bill/bill/sat/solver/abc/Map.h x: 120 lines of code y: 197 line churn lib/bill/bill/sat/solver/abc/SolverTypes.h x: 263 lines of code y: 442 line churn lib/bill/bill/sat/solver/abc/pstdint.h x: 604 lines of code y: 919 line churn lib/bill/bill/sat/solver/abc/utilDouble.h x: 103 lines of code y: 222 line churn lib/bill/bill/sat/solver/abc/vecWec.h x: 406 lines of code y: 716 line churn lib/abcsat/satSolver.cpp x: 1838 lines of code y: 2605 line churn lib/percy/percy/encoders/ditt_encoder.hpp x: 958 lines of code y: 2340 line churn lib/percy/percy/encoders/msv_encoder.hpp x: 981 lines of code y: 2340 line churn lib/percy/percy/encoders/ssv_fence2_encoder.hpp x: 684 lines of code y: 1826 line churn lib/percy/percy/encoders/ssv_fence_encoder.hpp x: 493 lines of code y: 1709 line churn lib/abcsat/SimpSolver.cpp x: 516 lines of code y: 1540 line churn lib/percy/percy/dag_generation.hpp x: 987 lines of code y: 1630 line churn lib/percy/percy/encoders/aig_encoder.hpp x: 1518 lines of code y: 1696 line churn lib/percy/percy/encoders/partial_dag_encoder.hpp x: 990 lines of code y: 2386 line churn lib/percy/percy/solvers/bmcg_sat.hpp x: 82 lines of code y: 200 line churn lib/abcsat/AbcGlucose.cpp x: 402 lines of code y: 1192 line churn lib/abcsat/Glucose.cpp x: 1021 lines of code y: 2998 line churn lib/abcsat/abc/AbcGlucose.h x: 50 lines of code y: 214 line churn lib/abcsat/abc/Alloc.h x: 74 lines of code y: 272 line churn lib/abcsat/abc/Heap.h x: 95 lines of code y: 308 line churn lib/abcsat/abc/Map.h x: 120 lines of code y: 394 line churn lib/abcsat/abc/Queue.h x: 36 lines of code y: 146 line churn lib/abcsat/abc/SimpSolver.h x: 114 lines of code y: 416 line churn lib/abcsat/abc/Solver.h x: 319 lines of code y: 986 line churn lib/abcsat/abc/SolverTypes.h x: 263 lines of code y: 874 line churn lib/abcsat/abc/Sort.h x: 54 lines of code y: 202 line churn lib/abcsat/abc/pstdint.h x: 604 lines of code y: 1838 line churn lib/abcsat/satStore.cpp x: 244 lines of code y: 469 line churn lib/percy/percy/concurrentqueue.h x: 2625 lines of code y: 3634 line churn lib/percy/percy/solvers/cmsat.hpp x: 105 lines of code y: 131 line churn lib/rang/rang/rang.hpp x: 424 lines of code y: 1506 line churn
22684.0
line churn
  min: 1.0
  average: 805.42
  25th percentile: 128.0
  median: 270.0
  75th percentile: 783.0
  max: 22684.0
0 4221.0
lines of code
min: 1.0 | average: 418.14 | 25th percentile: 58.0 | median: 156.0 | 75th percentile: 490.0 | max: 4221.0