File change frequency (churn) shows the distribution of file updates (days with at least one commit).
File | # lines | # units | last modified (days ago) | created (days ago) | # changes |
---|---|---|---|---|---|
bsqcheck.ts in impl/src/runtimes |
340 | 1 | 105 | 231 | 12 |
smtdecls_emitter.ts in impl/src/tooling/verifier |
1010 | 38 | 93 | 231 | 12 |
smttype_emitter.ts in impl/src/tooling/verifier |
93 | 3 | 97 | 231 | 11 |
assembly.ts in impl/src/ast |
2064 | 72 | 103 | 630 | 10 |
smtcollection_emitter.ts in impl/src/tooling/verifier |
948 | 11 | 93 | 231 | 9 |
op_eval.cpp in impl/src/tooling/icpp/interpreter |
2052 | 100 | 178 | 231 | 9 |
smtruntime.smt2 in impl/src/tooling/verifier/runtime |
331 | - | 103 | 231 | 8 |
runner.cpp in impl/src/tooling/icpp/interpreter |
344 | 10 | 188 | 231 | 8 |
smt_workflows.ts in impl/src/tooling/verifier |
599 | 15 | 105 | 209 | 8 |
bsqvalue.cpp in impl/src/tooling/icpp/interpreter/runtime |
1384 | 100 | 178 | 231 | 8 |
decls.cpp in impl/src/tooling/verifier/evaluator |
2015 | 114 | 131 | 209 | 8 |
mir_ops.ts in impl/src/compiler |
2200 | 154 | 131 | 630 | 8 |
smt_assembly.ts in impl/src/tooling/verifier |
638 | 18 | 97 | 231 | 7 |
bsqop.cpp in impl/src/tooling/icpp/interpreter/assembly |
762 | 13 | 192 | 231 | 7 |
op_eval.h in impl/src/tooling/icpp/interpreter |
302 | 15 | 192 | 231 | 6 |
workflows.cpp in impl/src/tooling/verifier/evaluator |
323 | 6 | 131 | 209 | 6 |
bsqassembly.cpp in impl/src/tooling/icpp/interpreter/assembly |
470 | 12 | 202 | 231 | 6 |
decls.h in impl/src/tooling/verifier/evaluator |
491 | 37 | 131 | 209 | 6 |
bsqvalue.h in impl/src/tooling/icpp/interpreter/runtime |
679 | 65 | 178 | 231 | 6 |
icppdecls_emitter.ts in impl/src/tooling/icpp/transpiler |
158 | 5 | 131 | 231 | 5 |