File Change History Overall
File Age Distribution Overall
Days since first update
  • There are 335 files with 140,077 lines of code in files.
    • 335 files that are 366+ days old (140,077 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 335 files with 140,077 lines of code in files.
    • 333 files have been last changed 366+ days ago (139,288 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)
    • 2 files have been last changed 31-90 days ago (789 lines of code)
    • 0 files have been last changed 1-30 days ago (0 lines of code)
99% | 0% | 0% | <1% | 0%
Legend:
366+
181-365
91-180
31-90
1-30

explore: grouped by folders | grouped by freshness
File Change History per File Extension
hpp, cpp, h, c, rst, txt, json, yml, in, py, md, cc, svg, gitignore, xml, yaml, inc, clang-format, toml
File Age Distribution per Extension
Days since first update
366+
181-365
91-180
31-90
1-30
hpp100% | 0% | 0% | 0% | 0%
c100% | 0% | 0% | 0% | 0%
h100% | 0% | 0% | 0% | 0%
cpp100% | 0% | 0% | 0% | 0%
in100% | 0% | 0% | 0% | 0%
cc100% | 0% | 0% | 0% | 0%
py100% | 0% | 0% | 0% | 0%
inc100% | 0% | 0% | 0% | 0%
yaml100% | 0% | 0% | 0% | 0%
toml100% | 0% | 0% | 0% | 0%
xml100% | 0% | 0% | 0% | 0%
File Freshness Distribution per Extension
Days since last update
366+
181-365
91-180
31-90
1-30
hpp98% | 0% | 0% | 1% | 0%
c100% | 0% | 0% | 0% | 0%
h100% | 0% | 0% | 0% | 0%
cpp97% | 0% | 0% | 2% | 0%
in100% | 0% | 0% | 0% | 0%
cc100% | 0% | 0% | 0% | 0%
py100% | 0% | 0% | 0% | 0%
inc100% | 0% | 0% | 0% | 0%
yaml100% | 0% | 0% | 0% | 0%
toml100% | 0% | 0% | 0% | 0%
xml100% | 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
lib100% | 0% | 0% | 0% | 0%
experiments100% | 0% | 0% | 0% | 0%
tools100% | 0% | 0% | 0% | 0%
ROOT100% | 0% | 0% | 0% | 0%
.ql100% | 0% | 0% | 0% | 0%
primary (file freshness distribution)
Days since last update
366+
181-365
91-180
31-90
1-30
lib99% | 0% | 0% | <1% | 0%
experiments93% | 0% | 0% | 6% | 0%
tools100% | 0% | 0% | 0% | 0%
ROOT100% | 0% | 0% | 0% | 0%
.ql100% | 0% | 0% | 0% | 0%
Oldest Files (Top 50)
File# lines# unitscreatedlast modified# changes
(days)
# contributorsfirst
contributor
latest
contributor
format.h
in lib/fmt/fmt
2797 305 2018-05-04 2020-04-12 5 4 mathias.soeken@epfl.ch mathias.soeken@epfl.ch
printf.h
in lib/fmt/fmt
517 51 2018-05-04 2020-04-12 5 4 mathias.soeken@epfl.ch mathias.soeken@epfl.ch
format.cc
in lib/fmt/fmt
132 3 2018-05-04 2020-04-12 5 4 mathias.soeken@epfl.ch mathias.soeken@epfl.ch
ostream.h
in lib/fmt/fmt
96 7 2018-05-04 2020-04-12 5 4 mathias.soeken@epfl.ch mathias.soeken@epfl.ch
posix.h
in lib/fmt/fmt
2 - 2018-05-04 2020-04-12 5 4 mathias.soeken@epfl.ch mathias.soeken@epfl.ch
aiger.hpp
in lib/lorina/lorina
625 37 2018-05-13 2026-08-07 12 6 mathias.soeken@epfl.ch marcel.walter@tum.de
rang.hpp
in lib/rang/rang
424 19 2018-05-13 2018-05-15 3 3 mathias.soeken@epfl.ch eleonora.testa@epfl.ch
blif.hpp
in lib/lorina/lorina
329 16 2018-05-13 2021-11-17 14 6 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 mathias.soeken@epfl.ch siang-yun.lee@epfl.ch
diagnostics.hpp
in lib/lorina/lorina
199 12 2018-05-13 2021-05-05 7 5 mathias.soeken@epfl.ch heinz.riener@googlemail.com
pla.hpp
in lib/lorina/lorina
196 19 2018-05-13 2021-05-05 10 5 mathias.soeken@epfl.ch heinz.riener@googlemail.com
utils.hpp
in lib/lorina/lorina/detail
166 11 2018-05-13 2021-11-17 13 6 mathias.soeken@epfl.ch siang-yun.lee@epfl.ch
lorina.hpp
in lib/lorina/lorina
9 - 2018-05-13 2021-03-12 8 6 mathias.soeken@epfl.ch siang-yun.lee@epfl.ch
common.hpp
in lib/lorina/lorina
9 - 2018-05-13 2021-03-12 5 4 mathias.soeken@epfl.ch siang-yun.lee@epfl.ch
operations.hpp
in lib/kitty/kitty
1495 111 2018-06-09 2025-07-30 13 6 mathias.soeken@gmail.com 89910597+costamag@users.nor...
constructors.hpp
in lib/kitty/kitty
1077 32 2018-06-09 2025-05-19 17 8 mathias.soeken@gmail.com 89910597+costamag@users.nor...
spectral.hpp
in lib/kitty/kitty
924 46 2018-06-09 2025-05-19 11 5 mathias.soeken@gmail.com 89910597+costamag@users.nor...
npn.hpp
in lib/kitty/kitty
748 19 2018-06-09 2025-05-19 16 7 mathias.soeken@gmail.com 89910597+costamag@users.nor...
print.hpp
in lib/kitty/kitty
385 18 2018-06-09 2025-05-19 13 5 mathias.soeken@gmail.com 89910597+costamag@users.nor...
bit_operations.hpp
in lib/kitty/kitty
361 37 2018-06-09 2025-07-30 13 6 mathias.soeken@gmail.com 89910597+costamag@users.nor...
operators.hpp
in lib/kitty/kitty
332 5 2018-06-09 2025-05-19 8 5 mathias.soeken@gmail.com 89910597+costamag@users.nor...
algorithm.hpp
in lib/kitty/kitty
263 26 2018-06-09 2025-05-19 9 5 mathias.soeken@gmail.com 89910597+costamag@users.nor...
properties.hpp
in lib/kitty/kitty
228 14 2018-06-09 2025-05-19 15 7 mathias.soeken@gmail.com 89910597+costamag@users.nor...
cube.hpp
in lib/kitty/kitty
200 23 2018-06-09 2025-05-19 12 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 mathias.soeken@gmail.com 89910597+costamag@users.nor...
implicant.hpp
in lib/kitty/kitty
139 3 2018-06-09 2025-05-19 8 5 mathias.soeken@gmail.com 89910597+costamag@users.nor...
affine.hpp
in lib/kitty/kitty
110 11 2018-06-09 2025-05-19 9 5 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 mathias.soeken@gmail.com 89910597+costamag@users.nor...
isop.hpp
in lib/kitty/kitty
70 2 2018-06-09 2025-05-19 7 5 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 mathias.soeken@gmail.com 89910597+costamag@users.nor...
hash.hpp
in lib/kitty/kitty
44 4 2018-06-09 2025-05-19 7 5 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 mathias.soeken@gmail.com 89910597+costamag@users.nor...
cnf.hpp
in lib/kitty/kitty
29 1 2018-06-09 2025-05-19 7 5 mathias.soeken@gmail.com 89910597+costamag@users.nor...
kitty.hpp
in lib/kitty/kitty
25 - 2018-06-09 2025-05-19 10 5 mathias.soeken@gmail.com 89910597+costamag@users.nor...
traits.hpp
in lib/kitty/kitty
17 - 2018-06-14 2025-05-19 10 5 mathias.soeken@gmail.com 89910597+costamag@users.nor...
mscfix.hpp
in lib/kitty/kitty/detail
6 - 2018-07-10 2025-05-19 6 4 mathias.soeken@gmail.com 89910597+costamag@users.nor...
verilog.hpp
in lib/lorina/lorina
1252 73 2018-07-11 2022-11-28 17 5 heinz.riener@gmail.com siang-yun.lee@epfl.ch
tokenizer.hpp
in lib/lorina/lorina/detail
103 6 2018-07-11 2021-05-05 8 3 heinz.riener@gmail.com heinz.riener@googlemail.com
concurrentqueue.h
in lib/percy/percy
2625 99 2018-07-23 2018-07-23 1 1 mathias.soeken@gmail.com mathias.soeken@gmail.com
satSolver.cpp
in lib/abcsat
1838 75 2018-07-23 2019-04-19 4 2 mathias.soeken@gmail.com mathias.soeken@gmail.com
percy.hpp
in lib/percy/percy
1651 9 2018-07-23 2022-11-28 12 5 mathias.soeken@gmail.com siang-yun.lee@epfl.ch
vecInt.h
in lib/abcsat/abc
1157 93 2018-07-23 2020-04-18 2 2 mathias.soeken@gmail.com mathias.soeken@epfl.ch
partial_dag_encoder.hpp
in lib/percy/percy/encoders
990 26 2018-07-23 2018-10-31 7 3 mathias.soeken@gmail.com mathias.soeken@gmail.com
dag_generation.hpp
in lib/percy/percy
987 55 2018-07-23 2018-10-31 2 1 mathias.soeken@gmail.com mathias.soeken@gmail.com
chain.hpp
in lib/percy/percy
706 13 2018-07-23 2023-01-18 10 4 mathias.soeken@gmail.com siang-yun.lee@epfl.ch
partial_dag.hpp
in lib/percy/percy
538 16 2018-07-23 2020-04-16 8 2 mathias.soeken@gmail.com heinz.riener@googlemail.com
satSolver.h
in lib/abcsat/abc
535 27 2018-07-23 2020-06-12 3 2 mathias.soeken@gmail.com lee30sonia@gmail.com
fence.hpp
in lib/percy/percy
504 32 2018-07-23 2024-07-15 5 3 mathias.soeken@gmail.com rocallahan@google.com
dag.hpp
in lib/percy/percy
501 7 2018-07-23 2020-04-16 3 2 mathias.soeken@gmail.com heinz.riener@googlemail.com
spec.hpp
in lib/percy/percy
335 15 2018-07-23 2022-11-28 12 5 mathias.soeken@gmail.com siang-yun.lee@epfl.ch
Files Not Recently Changed (Top 50)
File# lines# unitscreatedlast modified# changes
(days)
# contributorsfirst
contributor
latest
contributor
rang.hpp
in lib/rang/rang
424 19 2018-05-13 2018-05-15 3 3 mathias.soeken@epfl.ch eleonora.testa@epfl.ch
cnf.hpp
in lib/percy/percy
47 12 2018-07-23 2018-07-23 1 1 mathias.soeken@gmail.com mathias.soeken@gmail.com
satStore.h
in lib/abcsat/abc
66 - 2018-07-23 2018-07-23 1 1 mathias.soeken@gmail.com mathias.soeken@gmail.com
cmsat.hpp
in lib/percy/percy/solvers
105 10 2018-07-23 2018-07-23 1 1 mathias.soeken@gmail.com mathias.soeken@gmail.com
satStore.cpp
in lib/abcsat
244 9 2018-07-23 2018-07-23 1 1 mathias.soeken@gmail.com mathias.soeken@gmail.com
concurrentqueue.h
in lib/percy/percy
2625 99 2018-07-23 2018-07-23 1 1 mathias.soeken@gmail.com mathias.soeken@gmail.com
sat_circuits.hpp
in lib/percy/percy
75 1 2018-07-23 2018-09-07 4 2 mathias.soeken@gmail.com mathias.soeken@gmail.com
Constants.h
in lib/abcsat/abc
5 - 2018-09-13 2018-09-28 2 2 mathias.soeken@gmail.com heinz.riener@googlemail.com
solvers.hpp
in lib/percy/percy
12 - 2018-07-23 2018-09-28 5 3 mathias.soeken@gmail.com heinz.riener@googlemail.com
IntTypes.h
in lib/abcsat/abc
17 - 2018-09-13 2018-09-28 2 2 mathias.soeken@gmail.com heinz.riener@googlemail.com
XAlloc.h
in lib/abcsat/abc
21 - 2018-09-13 2018-09-28 2 2 mathias.soeken@gmail.com heinz.riener@googlemail.com
Queue.h
in lib/abcsat/abc
36 5 2018-09-13 2018-09-28 2 2 mathias.soeken@gmail.com heinz.riener@googlemail.com
Alg.h
in lib/abcsat/abc
41 5 2018-09-13 2018-09-28 2 2 mathias.soeken@gmail.com heinz.riener@googlemail.com
abc_namespaces.h
in lib/abcsat/abc
43 - 2018-07-23 2018-09-28 3 2 mathias.soeken@gmail.com heinz.riener@googlemail.com
Dimacs.h
in lib/abcsat/abc
49 2 2018-09-13 2018-09-28 2 2 mathias.soeken@gmail.com heinz.riener@googlemail.com
AbcGlucose.h
in lib/abcsat/abc
50 1 2018-09-13 2018-09-28 2 2 mathias.soeken@gmail.com heinz.riener@googlemail.com
Sort.h
in lib/abcsat/abc
54 7 2018-09-13 2018-09-28 2 2 mathias.soeken@gmail.com heinz.riener@googlemail.com
BoundedQueue.h
in lib/abcsat/abc
71 14 2018-09-13 2018-09-28 2 2 mathias.soeken@gmail.com heinz.riener@googlemail.com
Vec.h
in lib/abcsat/abc
71 16 2018-09-13 2018-09-28 2 2 mathias.soeken@gmail.com heinz.riener@googlemail.com
Alloc.h
in lib/abcsat/abc
74 8 2018-09-13 2018-09-28 2 2 mathias.soeken@gmail.com heinz.riener@googlemail.com
Heap.h
in lib/abcsat/abc
95 15 2018-09-13 2018-09-28 2 2 mathias.soeken@gmail.com heinz.riener@googlemail.com
SimpSolver.h
in lib/abcsat/abc
114 19 2018-09-13 2018-09-28 2 2 mathias.soeken@gmail.com heinz.riener@googlemail.com
Map.h
in lib/abcsat/abc
120 16 2018-09-13 2018-09-28 2 2 mathias.soeken@gmail.com heinz.riener@googlemail.com
SolverTypes.h
in lib/abcsat/abc
263 43 2018-09-13 2018-09-28 2 2 mathias.soeken@gmail.com heinz.riener@googlemail.com
Solver.h
in lib/abcsat/abc
319 58 2018-09-13 2018-09-28 2 2 mathias.soeken@gmail.com heinz.riener@googlemail.com
AbcGlucose.cpp
in lib/abcsat
402 58 2018-09-13 2018-09-28 2 2 mathias.soeken@gmail.com heinz.riener@googlemail.com
pstdint.h
in lib/abcsat/abc
604 1 2018-09-13 2018-09-28 2 2 mathias.soeken@gmail.com heinz.riener@googlemail.com
Glucose.cpp
in lib/abcsat
1021 34 2018-09-13 2018-09-28 2 2 mathias.soeken@gmail.com heinz.riener@googlemail.com
io.hpp
in lib/percy/percy
27 2 2018-07-23 2018-10-31 2 1 mathias.soeken@gmail.com mathias.soeken@gmail.com
solver_wrapper.hpp
in lib/percy/percy/solvers
34 1 2018-07-23 2018-10-31 2 1 mathias.soeken@gmail.com mathias.soeken@gmail.com
bmcg_sat.hpp
in lib/percy/percy/solvers
82 10 2018-09-13 2018-10-31 3 2 mathias.soeken@gmail.com mathias.soeken@gmail.com
misc.hpp
in lib/percy/percy
141 9 2018-07-23 2018-10-31 7 3 mathias.soeken@gmail.com mathias.soeken@gmail.com
satoko.hpp
in lib/percy/percy/solvers
154 28 2018-07-23 2018-10-31 2 1 mathias.soeken@gmail.com mathias.soeken@gmail.com
encoder.hpp
in lib/percy/percy/encoders
175 12 2018-07-23 2018-10-31 7 3 mathias.soeken@gmail.com mathias.soeken@gmail.com
SimpSolver.cpp
in lib/abcsat
516 22 2018-09-13 2018-10-31 3 2 mathias.soeken@gmail.com mathias.soeken@gmail.com
dag_generation.hpp
in lib/percy/percy
987 55 2018-07-23 2018-10-31 2 1 mathias.soeken@gmail.com mathias.soeken@gmail.com
partial_dag_encoder.hpp
in lib/percy/percy/encoders
990 26 2018-07-23 2018-10-31 7 3 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 mathias.soeken@gmail.com mathias.soeken@gmail.com
ssv_fence_encoder.hpp
in lib/percy/percy/encoders
493 - 2018-09-13 2019-03-31 5 2 mathias.soeken@gmail.com mathias.soeken@gmail.com
ssv_fence2_encoder.hpp
in lib/percy/percy/encoders
684 23 2018-09-13 2019-03-31 5 2 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 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 mathias.soeken@gmail.com mathias.soeken@gmail.com
utilDouble.h
in lib/abcsat/abc
105 16 2018-07-23 2019-04-14 2 1 mathias.soeken@gmail.com mathias.soeken@gmail.com
satSolver.cpp
in lib/abcsat
1838 75 2018-07-23 2019-04-19 4 2 mathias.soeken@gmail.com mathias.soeken@gmail.com
platforms.hpp
in lib/bill/bill/utils
4 - 2020-03-24 2020-03-24 1 1 mathias.soeken@epfl.ch mathias.soeken@epfl.ch
Constants.h
in lib/bill/bill/sat/solver/abc
5 - 2020-03-24 2020-03-24 1 1 mathias.soeken@epfl.ch mathias.soeken@epfl.ch
IntTypes.h
in lib/bill/bill/sat/solver/abc
17 - 2020-03-24 2020-03-24 1 1 mathias.soeken@epfl.ch mathias.soeken@epfl.ch
XAlloc.h
in lib/bill/bill/sat/solver/abc
21 - 2020-03-24 2020-03-24 1 1 mathias.soeken@epfl.ch mathias.soeken@epfl.ch
cardinality.hpp
in lib/bill/bill/sat
27 2 2020-03-24 2020-03-24 1 1 mathias.soeken@epfl.ch mathias.soeken@epfl.ch
hash.hpp
in lib/bill/bill/utils
35 3 2020-03-24 2020-03-24 1 1 mathias.soeken@epfl.ch mathias.soeken@epfl.ch
Most Recently Created Files (Top 50)
File# lines# unitscreatedlast modified# changes
(days)
# contributorsfirst
contributor
latest
contributor
41 1 2024-09-23 2024-09-23 1 1 44085674+aletempiac@users.n... 44085674+aletempiac@users.n...
aqfp_flow_tcad.cpp
in experiments
70 3 2024-03-05 2024-03-05 1 1 siang-yun.lee@epfl.ch siang-yun.lee@epfl.ch
6 - 2024-03-05 2024-03-05 1 1 siang-yun.lee@epfl.ch siang-yun.lee@epfl.ch
explorer.cpp
in experiments
164 5 2024-03-04 2026-08-07 2 2 siang-yun.lee@epfl.ch yoyuohlhjl@yahoo.co.jp
extract_adders.cpp
in experiments
41 1 2024-02-19 2024-02-22 2 1 44085674+aletempiac@users.n... 44085674+aletempiac@users.n...
emap.cpp
in experiments
68 1 2023-10-06 2024-06-14 6 1 44085674+aletempiac@users.n... 44085674+aletempiac@users.n...
balancing.cpp
in experiments
39 1 2023-08-06 2023-08-06 1 1 44085674+aletempiac@users.n... 44085674+aletempiac@users.n...
rewrite.cpp
in experiments
41 1 2023-05-31 2023-12-28 2 1 44085674+aletempiac@users.n... 44085674+aletempiac@users.n...
refactoring.cpp
in experiments
40 1 2023-05-31 2023-05-31 1 1 44085674+aletempiac@users.n... 44085674+aletempiac@users.n...
aqfp_flow_aspdac.cpp
in experiments
128 1 2023-03-01 2023-06-30 2 2 44085674+aletempiac@users.n... siang-yun.lee@epfl.ch
ternary_truth_table.hpp
in lib/kitty/kitty
93 26 2023-01-05 2025-05-19 2 2 siang-yun.lee@epfl.ch 89910597+costamag@users.nor...
quaternary_truth_table.hpp
in lib/kitty/kitty
91 26 2023-01-05 2025-05-19 2 2 siang-yun.lee@epfl.ch 89910597+costamag@users.nor...
lut_mapper.cpp
in experiments
40 1 2022-11-28 2023-08-06 2 1 44085674+aletempiac@users.n... 44085674+aletempiac@users.n...
13 - 2022-11-28 2022-11-28 1 1 lr_kkr@outlook.com lr_kkr@outlook.com
karnaugh_map.hpp
in lib/kitty/kitty
112 6 2022-08-08 2025-05-19 3 2 siang-yun.lee@epfl.ch 89910597+costamag@users.nor...
cleanup.py
in tools
95 6 2022-08-05 2022-08-05 1 1 siang-yun.lee@epfl.ch siang-yun.lee@epfl.ch
37 1 2022-07-29 2022-08-05 2 2 33287308+nozidoali@users.no... siang-yun.lee@epfl.ch
aqfp_flow_date.cpp
in experiments
317 10 2022-07-26 2023-12-28 4 2 siang-yun.lee@epfl.ch 44085674+aletempiac@users.n...
watercluster2.c
in lib/nauty
2792 79 2022-07-09 2022-07-09 1 1 siang-yun.lee@epfl.ch siang-yun.lee@epfl.ch
gtools.c
in lib/nauty
2282 - 2022-07-09 2022-07-09 1 1 siang-yun.lee@epfl.ch siang-yun.lee@epfl.ch
naututil.c
in lib/nauty
2248 - 2022-07-09 2022-07-09 1 1 siang-yun.lee@epfl.ch siang-yun.lee@epfl.ch
dreadnaut.c
in lib/nauty
2203 - 2022-07-09 2022-07-09 1 1 siang-yun.lee@epfl.ch siang-yun.lee@epfl.ch
geng.c
in lib/nauty
1783 - 2022-07-09 2022-07-09 1 1 siang-yun.lee@epfl.ch siang-yun.lee@epfl.ch
cubhamg.c
in lib/nauty
1598 - 2022-07-09 2022-07-09 1 1 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 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 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 siang-yun.lee@epfl.ch siang-yun.lee@epfl.ch
nautinv.c
in lib/nauty
1295 - 2022-07-09 2022-07-09 1 1 siang-yun.lee@epfl.ch siang-yun.lee@epfl.ch
nausparse.c
in lib/nauty
1262 - 2022-07-09 2022-07-09 1 1 siang-yun.lee@epfl.ch siang-yun.lee@epfl.ch
in
nauty-h.in
in lib/nauty
1110 - 2022-07-09 2022-07-09 1 1 siang-yun.lee@epfl.ch siang-yun.lee@epfl.ch
gentourng.c
in lib/nauty
1102 - 2022-07-09 2022-07-09 1 1 siang-yun.lee@epfl.ch siang-yun.lee@epfl.ch
twohamg.c
in lib/nauty
1002 - 2022-07-09 2022-07-09 1 1 siang-yun.lee@epfl.ch siang-yun.lee@epfl.ch
genrang.c
in lib/nauty
998 - 2022-07-09 2022-07-09 1 1 siang-yun.lee@epfl.ch siang-yun.lee@epfl.ch
showg.c
in lib/nauty
957 - 2022-07-09 2022-07-09 1 1 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 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 siang-yun.lee@epfl.ch siang-yun.lee@epfl.ch
schreier.c
in lib/nauty
832 - 2022-07-09 2022-07-09 1 1 siang-yun.lee@epfl.ch siang-yun.lee@epfl.ch
genspecialg.c
in lib/nauty
820 - 2022-07-09 2022-07-09 1 1 siang-yun.lee@epfl.ch siang-yun.lee@epfl.ch
nauty.h
in lib/nauty
761 - 2022-07-09 2022-07-09 1 1 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 siang-yun.lee@epfl.ch siang-yun.lee@epfl.ch
gutil1.c
in lib/nauty
675 - 2022-07-09 2022-07-09 1 1 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 siang-yun.lee@epfl.ch siang-yun.lee@epfl.ch
shortg.c
in lib/nauty
658 - 2022-07-09 2022-07-09 1 1 siang-yun.lee@epfl.ch siang-yun.lee@epfl.ch
gtnauty.c
in lib/nauty
614 - 2022-07-09 2022-07-09 1 1 siang-yun.lee@epfl.ch siang-yun.lee@epfl.ch
directg.c
in lib/nauty
581 1 2022-07-09 2022-07-09 1 1 siang-yun.lee@epfl.ch siang-yun.lee@epfl.ch
naugraph.c
in lib/nauty
509 - 2022-07-09 2022-07-09 1 1 siang-yun.lee@epfl.ch siang-yun.lee@epfl.ch
listg.c
in lib/nauty
506 - 2022-07-09 2022-07-09 1 1 siang-yun.lee@epfl.ch siang-yun.lee@epfl.ch
gentreeg.c
in lib/nauty
478 1 2022-07-09 2022-07-09 1 1 siang-yun.lee@epfl.ch siang-yun.lee@epfl.ch
in
makefile.in
in lib/nauty
457 - 2022-07-09 2022-07-09 1 1 siang-yun.lee@epfl.ch siang-yun.lee@epfl.ch
naugstrings.c
in lib/nauty
432 - 2022-07-09 2022-07-09 1 1 siang-yun.lee@epfl.ch siang-yun.lee@epfl.ch
Most Recently Changed Files (Top 50)
File# lines# unitscreatedlast modified# changes
(days)
# contributorsfirst
contributor
latest
contributor
aiger.hpp
in lib/lorina/lorina
625 37 2018-05-13 2026-08-07 12 6 mathias.soeken@epfl.ch marcel.walter@tum.de
explorer.cpp
in experiments
164 5 2024-03-04 2026-08-07 2 2 siang-yun.lee@epfl.ch yoyuohlhjl@yahoo.co.jp
operations.hpp
in lib/kitty/kitty
1495 111 2018-06-09 2025-07-30 13 6 mathias.soeken@gmail.com 89910597+costamag@users.nor...
bit_operations.hpp
in lib/kitty/kitty
361 37 2018-06-09 2025-07-30 13 6 mathias.soeken@gmail.com 89910597+costamag@users.nor...
constructors.hpp
in lib/kitty/kitty
1077 32 2018-06-09 2025-05-19 17 8 mathias.soeken@gmail.com 89910597+costamag@users.nor...
shift.hpp
in lib/kitty/kitty/detail
961 1 2019-12-04 2025-05-19 5 3 mathias.soeken@epfl.ch 89910597+costamag@users.nor...
spectral.hpp
in lib/kitty/kitty
924 46 2018-06-09 2025-05-19 11 5 mathias.soeken@gmail.com 89910597+costamag@users.nor...
npn.hpp
in lib/kitty/kitty
748 19 2018-06-09 2025-05-19 16 7 mathias.soeken@gmail.com 89910597+costamag@users.nor...
decomposition.hpp
in lib/kitty/kitty
721 11 2019-03-31 2025-05-19 10 6 mathias.soeken@gmail.com 89910597+costamag@users.nor...
print.hpp
in lib/kitty/kitty
385 18 2018-06-09 2025-05-19 13 5 mathias.soeken@gmail.com 89910597+costamag@users.nor...
operators.hpp
in lib/kitty/kitty
332 5 2018-06-09 2025-05-19 8 5 mathias.soeken@gmail.com 89910597+costamag@users.nor...
algorithm.hpp
in lib/kitty/kitty
263 26 2018-06-09 2025-05-19 9 5 mathias.soeken@gmail.com 89910597+costamag@users.nor...
properties.hpp
in lib/kitty/kitty
228 14 2018-06-09 2025-05-19 15 7 mathias.soeken@gmail.com 89910597+costamag@users.nor...
cube.hpp
in lib/kitty/kitty
200 23 2018-06-09 2025-05-19 12 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 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 lee30sonia@gmail.com 89910597+costamag@users.nor...
implicant.hpp
in lib/kitty/kitty
139 3 2018-06-09 2025-05-19 8 5 mathias.soeken@gmail.com 89910597+costamag@users.nor...
karnaugh_map.hpp
in lib/kitty/kitty
112 6 2022-08-08 2025-05-19 3 2 siang-yun.lee@epfl.ch 89910597+costamag@users.nor...
affine.hpp
in lib/kitty/kitty
110 11 2018-06-09 2025-05-19 9 5 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 mathias.soeken@gmail.com 89910597+costamag@users.nor...
spp.hpp
in lib/kitty/kitty
94 1 2020-02-01 2025-05-19 7 5 mathias.soeken@epfl.ch 89910597+costamag@users.nor...
ternary_truth_table.hpp
in lib/kitty/kitty
93 26 2023-01-05 2025-05-19 2 2 siang-yun.lee@epfl.ch 89910597+costamag@users.nor...
quaternary_truth_table.hpp
in lib/kitty/kitty
91 26 2023-01-05 2025-05-19 2 2 siang-yun.lee@epfl.ch 89910597+costamag@users.nor...
isop.hpp
in lib/kitty/kitty
70 2 2018-06-09 2025-05-19 7 5 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 mathias.soeken@gmail.com 89910597+costamag@users.nor...
enumeration.hpp
in lib/kitty/kitty
48 1 2018-10-31 2025-05-19 7 4 mathias.soeken@gmail.com 89910597+costamag@users.nor...
hash.hpp
in lib/kitty/kitty
44 4 2018-06-09 2025-05-19 7 5 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 mathias.soeken@gmail.com 89910597+costamag@users.nor...
cnf.hpp
in lib/kitty/kitty
29 1 2018-06-09 2025-05-19 7 5 mathias.soeken@gmail.com 89910597+costamag@users.nor...
kitty.hpp
in lib/kitty/kitty
25 - 2018-06-09 2025-05-19 10 5 mathias.soeken@gmail.com 89910597+costamag@users.nor...
traits.hpp
in lib/kitty/kitty
17 - 2018-06-14 2025-05-19 10 5 mathias.soeken@gmail.com 89910597+costamag@users.nor...
mscfix.hpp
in lib/kitty/kitty/detail
6 - 2018-07-10 2025-05-19 6 4 mathias.soeken@gmail.com 89910597+costamag@users.nor...
exor.h
in lib/abcesop/eabc
85 4 2020-05-16 2024-09-24 3 2 mathias.soeken@epfl.ch rocallahan@google.com
42 1 2019-04-11 2024-09-23 5 4 mathias.soeken@gmail.com 44085674+aletempiac@users.n...
41 1 2024-09-23 2024-09-23 1 1 44085674+aletempiac@users.n... 44085674+aletempiac@users.n...
phmap.h
in lib/parallel_hashmap/parallel_hashmap
3171 315 2020-12-07 2024-07-15 2 2 bruno.schmitt@epfl.ch rocallahan@google.com
fence.hpp
in lib/percy/percy
504 32 2018-07-23 2024-07-15 5 3 mathias.soeken@gmail.com rocallahan@google.com
phmap_dump.h
in lib/parallel_hashmap/parallel_hashmap
194 7 2020-12-07 2024-07-15 2 2 bruno.schmitt@epfl.ch rocallahan@google.com
satVec.h
in lib/bill/bill/sat/solver/abc
114 19 2020-03-24 2024-07-12 2 2 mathias.soeken@epfl.ch rocallahan@google.com
satVec.h
in lib/abcsat/abc
114 19 2018-07-23 2024-07-12 2 2 mathias.soeken@gmail.com rocallahan@google.com
emap.cpp
in experiments
68 1 2023-10-06 2024-06-14 6 1 44085674+aletempiac@users.n... 44085674+aletempiac@users.n...
aqfp_flow_tcad.cpp
in experiments
70 3 2024-03-05 2024-03-05 1 1 siang-yun.lee@epfl.ch siang-yun.lee@epfl.ch
6 - 2024-03-05 2024-03-05 1 1 siang-yun.lee@epfl.ch siang-yun.lee@epfl.ch
extract_adders.cpp
in experiments
41 1 2024-02-19 2024-02-22 2 1 44085674+aletempiac@users.n... 44085674+aletempiac@users.n...
11 - 2019-04-24 2024-02-16 5 3 mathias.soeken@gmail.com siang-yun.lee@epfl.ch
experiments.hpp
in experiments
501 19 2019-04-03 2024-02-15 11 7 mathias.soeken@gmail.com 44085674+aletempiac@users.n...
mapper.cpp
in experiments
71 1 2021-04-27 2024-02-15 9 3 44085674+aletempiac@users.n... 44085674+aletempiac@users.n...
aqfp_flow_date.cpp
in experiments
317 10 2022-07-26 2023-12-28 4 2 siang-yun.lee@epfl.ch 44085674+aletempiac@users.n...
rewrite.cpp
in experiments
41 1 2023-05-31 2023-12-28 2 1 44085674+aletempiac@users.n... 44085674+aletempiac@users.n...
lut_mapper.cpp
in experiments
40 1 2022-11-28 2023-08-06 2 1 44085674+aletempiac@users.n... 44085674+aletempiac@users.n...
Summary
  • Number of files: 335
  • Daily file updates (only one update per file and date counted): 1040
  • First update: 2018-05-02
  • Latest update: 2026-08-07
  • Days between first and latest update: 3,020 (431 weeks, estimated 2,155 working days)
  • Active days (at least one file change): 436
  • Data: