File age measurements show the distribution of file ages (days since the first commit) and the recency of file updates (days since the latest commit).
File | # lines | # units | last modified (days ago) | created (days ago) | # changes |
---|---|---|---|---|---|
extension.js in bosque-language-tools/out |
91 | 2 | 699 | 707 | 2 |
extension.ts in bosque-language-tools/src |
87 | 2 | 699 | 707 | 2 |
mir_ops.ts in impl/src/compiler |
2200 | 154 | 131 | 630 | 8 |
assembly.ts in impl/src/ast |
2064 | 72 | 103 | 630 | 10 |
body.ts in impl/src/ast |
1021 | 101 | 105 | 630 | 5 |
mir_assembly.ts in impl/src/compiler |
771 | 72 | 131 | 630 | 4 |
type_environment.ts in impl/src/type_checker |
402 | 21 | 117 | 630 | 5 |
resolved_type.ts in impl/src/ast |
382 | 23 | 93 | 630 | 4 |
mir_callg.ts in impl/src/compiler |
196 | 8 | 131 | 630 | 3 |
functionalize.ts in impl/src/compiler |
176 | 11 | 131 | 630 | 3 |
parser_env.ts in impl/src/ast |
169 | 7 | 117 | 630 | 5 |
type_signature.ts in impl/src/ast |
118 | 11 | 131 | 630 | 3 |
bcgen.ts in impl/src/compiler |
64 | 1 | 131 | 630 | 4 |
resource_copy.js in impl/build |
17 | 1 | 231 | 630 | 2 |
op_eval.cpp in impl/src/tooling/icpp/interpreter |
2052 | 100 | 178 | 231 | 9 |
bsqvalue.cpp in impl/src/tooling/icpp/interpreter/runtime |
1384 | 100 | 178 | 231 | 8 |
smtdecls_emitter.ts in impl/src/tooling/verifier |
1010 | 38 | 93 | 231 | 12 |
bsqop.h in impl/src/tooling/icpp/interpreter/assembly |
990 | 70 | 192 | 231 | 5 |
smtcollection_emitter.ts in impl/src/tooling/verifier |
948 | 11 | 93 | 231 | 9 |
bsqop.cpp in impl/src/tooling/icpp/interpreter/assembly |
762 | 13 | 192 | 231 | 7 |
File | # lines | # units | last modified (days ago) | created (days ago) | # changes |
---|---|---|---|---|---|
extension.ts in bosque-language-tools/src |
87 | 2 | 699 | 707 | 2 |
extension.js in bosque-language-tools/out |
91 | 2 | 699 | 707 | 2 |
resource_copy.js in impl/build |
17 | 1 | 231 | 630 | 2 |
bsqmemory.cpp in impl/src/tooling/icpp/interpreter/core |
27 | 1 | 231 | 231 | 1 |
bsqmemory.h in impl/src/tooling/icpp/interpreter/core |
724 | 43 | 231 | 231 | 1 |
z3_polynomial.h in impl/build/include/headers/z3 |
8 | - | 209 | 209 | 1 |
z3_macros.h in impl/build/include/headers/z3 |
13 | - | 209 | 209 | 1 |
z3.h in impl/build/include/headers/z3 |
14 | - | 209 | 209 | 1 |
z3_ast_containers.h in impl/build/include/headers/z3 |
28 | - | 209 | 209 | 1 |
z3_algebraic.h in impl/build/include/headers/z3 |
28 | - | 209 | 209 | 1 |
mimalloc-new-delete.h in impl/build/include/headers/mimalloc |
28 | 4 | 209 | 209 | 1 |
z3_rcf.h in impl/build/include/headers/z3 |
30 | - | 209 | 209 | 1 |
z3_spacer.h in impl/build/include/headers/z3 |
34 | - | 209 | 209 | 1 |
mimalloc-override.h in impl/build/include/headers/mimalloc |
40 | - | 209 | 209 | 1 |
bsqir.ts in impl/src/runtimes |
50 | - | 209 | 231 | 2 |
z3_fixedpoint.h in impl/build/include/headers/z3 |
74 | - | 209 | 209 | 1 |
iccp_workflows.ts in impl/src/tooling/icpp/transpiler |
120 | 8 | 209 | 209 | 1 |
mimalloc-atomic.h in impl/build/include/headers/mimalloc |
271 | 29 | 209 | 209 | 1 |
mimalloc-types.h in impl/build/include/headers/mimalloc |
288 | - | 209 | 209 | 1 |
mimalloc.h in impl/build/include/headers/mimalloc |
298 | 11 | 209 | 209 | 1 |
File | # lines | # units | last modified (days ago) | created (days ago) | # changes |
---|---|---|---|---|---|
json.hpp in impl/build/include/headers/json |
15071 | 505 | 209 | 209 | 1 |
z3++.h in impl/build/include/headers/z3 |
3006 | 629 | 105 | 209 | 4 |
decls.cpp in impl/src/tooling/verifier/evaluator |
2015 | 114 | 131 | 209 | 8 |
z3_api.h in impl/build/include/headers/z3 |
1074 | - | 131 | 209 | 3 |
mimalloc-internal.h in impl/build/include/headers/mimalloc |
653 | 57 | 209 | 209 | 1 |
smt_workflows.ts in impl/src/tooling/verifier |
599 | 15 | 105 | 209 | 8 |
decls.h in impl/src/tooling/verifier/evaluator |
491 | 37 | 131 | 209 | 6 |
workflows.cpp in impl/src/tooling/verifier/evaluator |
323 | 6 | 131 | 209 | 6 |
mimalloc.h in impl/build/include/headers/mimalloc |
298 | 11 | 209 | 209 | 1 |
mimalloc-types.h in impl/build/include/headers/mimalloc |
288 | - | 209 | 209 | 1 |
mimalloc-atomic.h in impl/build/include/headers/mimalloc |
271 | 29 | 209 | 209 | 1 |
iccp_workflows.ts in impl/src/tooling/icpp/transpiler |
120 | 8 | 209 | 209 | 1 |
z3_fpa.h in impl/build/include/headers/z3 |
87 | - | 205 | 209 | 2 |
z3_fixedpoint.h in impl/build/include/headers/z3 |
74 | - | 209 | 209 | 1 |
evaluator_build.js in impl/build |
49 | - | 106 | 209 | 2 |
z3_optimization.h in impl/build/include/headers/z3 |
41 | - | 205 | 209 | 2 |
mimalloc-override.h in impl/build/include/headers/mimalloc |
40 | - | 209 | 209 | 1 |
z3_spacer.h in impl/build/include/headers/z3 |
34 | - | 209 | 209 | 1 |
z3_rcf.h in impl/build/include/headers/z3 |
30 | - | 209 | 209 | 1 |
mimalloc-new-delete.h in impl/build/include/headers/mimalloc |
28 | 4 | 209 | 209 | 1 |
File | # lines | # units | last modified (days ago) | created (days ago) | # changes |
---|---|---|---|---|---|
smtdecls_emitter.ts in impl/src/tooling/verifier |
1010 | 38 | 93 | 231 | 12 |
smtcollection_emitter.ts in impl/src/tooling/verifier |
948 | 11 | 93 | 231 | 9 |
resolved_type.ts in impl/src/ast |
382 | 23 | 93 | 630 | 4 |
smt_assembly.ts in impl/src/tooling/verifier |
638 | 18 | 97 | 231 | 7 |
smttype_emitter.ts in impl/src/tooling/verifier |
93 | 3 | 97 | 231 | 11 |
assembly.ts in impl/src/ast |
2064 | 72 | 103 | 630 | 10 |
smtruntime.smt2 in impl/src/tooling/verifier/runtime |
331 | - | 103 | 231 | 8 |
z3++.h in impl/build/include/headers/z3 |
3006 | 629 | 105 | 209 | 4 |
body.ts in impl/src/ast |
1021 | 101 | 105 | 630 | 5 |
smt_workflows.ts in impl/src/tooling/verifier |
599 | 15 | 105 | 209 | 8 |
smt_exp.ts in impl/src/tooling/verifier |
437 | 29 | 105 | 231 | 4 |
bsqcheck.ts in impl/src/runtimes |
340 | 1 | 105 | 231 | 12 |
evaluator_build.js in impl/build |
49 | - | 106 | 209 | 2 |
bsqregex.ts in impl/src/ast |
526 | 36 | 111 | 231 | 4 |
type_environment.ts in impl/src/type_checker |
402 | 21 | 117 | 630 | 5 |
parser_env.ts in impl/src/ast |
169 | 7 | 117 | 630 | 5 |
mir_ops.ts in impl/src/compiler |
2200 | 154 | 131 | 630 | 8 |
decls.cpp in impl/src/tooling/verifier/evaluator |
2015 | 114 | 131 | 209 | 8 |
z3_api.h in impl/build/include/headers/z3 |
1074 | - | 131 | 209 | 3 |
mir_assembly.ts in impl/src/compiler |
771 | 72 | 131 | 630 | 4 |