The distribution of size of files (measured in lines of code).
File | # lines | # units |
---|---|---|
json.hpp in impl/build/include/headers/json |
15071 | 505 |
z3++.h in impl/build/include/headers/z3 |
3006 | 629 |
mir_ops.ts in impl/src/compiler |
2200 | 154 |
assembly.ts in impl/src/ast |
2064 | 72 |
op_eval.cpp in impl/src/tooling/icpp/interpreter |
2052 | 100 |
decls.cpp in impl/src/tooling/verifier/evaluator |
2015 | 114 |
bsqvalue.cpp in impl/src/tooling/icpp/interpreter/runtime |
1384 | 100 |
z3_api.h in impl/build/include/headers/z3 |
1074 | - |
body.ts in impl/src/ast |
1021 | 101 |
smtdecls_emitter.ts in impl/src/tooling/verifier |
1010 | 38 |
bsqop.h in impl/src/tooling/icpp/interpreter/assembly |
990 | 70 |
smtcollection_emitter.ts in impl/src/tooling/verifier |
948 | 11 |
mir_assembly.ts in impl/src/compiler |
771 | 72 |
bsqop.cpp in impl/src/tooling/icpp/interpreter/assembly |
762 | 13 |
bsqmemory.h in impl/src/tooling/icpp/interpreter/core |
724 | 43 |
bsqvalue.h in impl/src/tooling/icpp/interpreter/runtime |
679 | 65 |
mimalloc-internal.h in impl/build/include/headers/mimalloc |
653 | 57 |
smt_assembly.ts in impl/src/tooling/verifier |
638 | 18 |
smt_workflows.ts in impl/src/tooling/verifier |
599 | 15 |
bsqregex.ts in impl/src/ast |
526 | 36 |
icpp_assembly.ts in impl/src/tooling/icpp/transpiler |
498 | 29 |
decls.h in impl/src/tooling/verifier/evaluator |
491 | 37 |
bsqassembly.cpp in impl/src/tooling/icpp/interpreter/assembly |
470 | 12 |
bsqtype.h in impl/src/tooling/icpp/interpreter/assembly |
451 | 56 |
smt_exp.ts in impl/src/tooling/verifier |
437 | 29 |
bsqtype.cpp in impl/src/tooling/icpp/interpreter/assembly |
435 | 16 |
icpp_exp.ts in impl/src/tooling/icpp/transpiler |
423 | 77 |
type_environment.ts in impl/src/type_checker |
402 | 21 |
resolved_type.ts in impl/src/ast |
382 | 23 |
bsqcollections.cpp in impl/src/tooling/icpp/interpreter/runtime |
375 | 25 |
runner.cpp in impl/src/tooling/icpp/interpreter |
344 | 10 |
bsqcheck.ts in impl/src/runtimes |
340 | 1 |
smtruntime.smt2 in impl/src/tooling/verifier/runtime |
331 | - |
workflows.cpp in impl/src/tooling/verifier/evaluator |
323 | 6 |
op_eval.h in impl/src/tooling/icpp/interpreter |
302 | 15 |
mimalloc.h in impl/build/include/headers/mimalloc |
298 | 11 |
mimalloc-types.h in impl/build/include/headers/mimalloc |
288 | - |
mimalloc-atomic.h in impl/build/include/headers/mimalloc |
271 | 29 |
icpptype_emitter.ts in impl/src/tooling/icpp/transpiler |
246 | 7 |
mir_callg.ts in impl/src/compiler |
196 | 8 |
common.h in impl/src/tooling/icpp/interpreter |
196 | 1 |
functionalize.ts in impl/src/compiler |
176 | 11 |
parser_env.ts in impl/src/ast |
169 | 7 |
bsqcollections.h in impl/src/tooling/icpp/interpreter/runtime |
167 | 13 |
icppdecls_emitter.ts in impl/src/tooling/icpp/transpiler |
158 | 5 |
iccp_workflows.ts in impl/src/tooling/icpp/transpiler |
120 | 8 |
type_signature.ts in impl/src/ast |
118 | 11 |
bsqassembly.h in impl/src/tooling/icpp/interpreter/assembly |
93 | 5 |
smttype_emitter.ts in impl/src/tooling/verifier |
93 | 3 |
extension.js in bosque-language-tools/out |
91 | 2 |
File | # lines | # units |
---|---|---|
z3++.h in impl/build/include/headers/z3 |
3006 | 629 |
json.hpp in impl/build/include/headers/json |
15071 | 505 |
mir_ops.ts in impl/src/compiler |
2200 | 154 |
decls.cpp in impl/src/tooling/verifier/evaluator |
2015 | 114 |
body.ts in impl/src/ast |
1021 | 101 |
op_eval.cpp in impl/src/tooling/icpp/interpreter |
2052 | 100 |
bsqvalue.cpp in impl/src/tooling/icpp/interpreter/runtime |
1384 | 100 |
icpp_exp.ts in impl/src/tooling/icpp/transpiler |
423 | 77 |
assembly.ts in impl/src/ast |
2064 | 72 |
mir_assembly.ts in impl/src/compiler |
771 | 72 |
bsqop.h in impl/src/tooling/icpp/interpreter/assembly |
990 | 70 |
bsqvalue.h in impl/src/tooling/icpp/interpreter/runtime |
679 | 65 |
mimalloc-internal.h in impl/build/include/headers/mimalloc |
653 | 57 |
bsqtype.h in impl/src/tooling/icpp/interpreter/assembly |
451 | 56 |
bsqmemory.h in impl/src/tooling/icpp/interpreter/core |
724 | 43 |
smtdecls_emitter.ts in impl/src/tooling/verifier |
1010 | 38 |
decls.h in impl/src/tooling/verifier/evaluator |
491 | 37 |
bsqregex.ts in impl/src/ast |
526 | 36 |
mimalloc-atomic.h in impl/build/include/headers/mimalloc |
271 | 29 |
icpp_assembly.ts in impl/src/tooling/icpp/transpiler |
498 | 29 |
There are 54 files with lines longer than 120 characters. In total, there are 2070 long lines.
File | # lines | # units | # long lines |
---|---|---|---|
json.hpp in impl/build/include/headers/json |
15071 | 505 | 299 |
assembly.ts in impl/src/ast |
2064 | 72 | 158 |
z3++.h in impl/build/include/headers/z3 |
3006 | 629 | 156 |
smtdecls_emitter.ts in impl/src/tooling/verifier |
1010 | 38 | 152 |
mir_ops.ts in impl/src/compiler |
2200 | 154 | 148 |
smtcollection_emitter.ts in impl/src/tooling/verifier |
948 | 11 | 121 |
op_eval.cpp in impl/src/tooling/icpp/interpreter |
2052 | 100 | 107 |
icpp_exp.ts in impl/src/tooling/icpp/transpiler |
423 | 77 | 99 |
mimalloc.h in impl/build/include/headers/mimalloc |
298 | 11 | 70 |
bsqop.h in impl/src/tooling/icpp/interpreter/assembly |
990 | 70 | 67 |
mir_assembly.ts in impl/src/compiler |
771 | 72 | 59 |
type_environment.ts in impl/src/type_checker |
402 | 21 | 51 |
icpp_assembly.ts in impl/src/tooling/icpp/transpiler |
498 | 29 | 49 |
decls.h in impl/src/tooling/verifier/evaluator |
491 | 37 | 47 |
bsqvalue.h in impl/src/tooling/icpp/interpreter/runtime |
679 | 65 | 46 |
bsqop.cpp in impl/src/tooling/icpp/interpreter/assembly |
762 | 13 | 44 |
smt_workflows.ts in impl/src/tooling/verifier |
599 | 15 | 43 |
smt_assembly.ts in impl/src/tooling/verifier |
638 | 18 | 41 |
bsqtype.h in impl/src/tooling/icpp/interpreter/assembly |
451 | 56 | 31 |
decls.cpp in impl/src/tooling/verifier/evaluator |
2015 | 114 | 30 |