file 1	file 2	# same commits	# commits file 1	# commits file 2
impl/src/runtimes/bsqcheck.ts	impl/src/tooling/verifier/smt_workflows.ts	9	14	11
impl/src/tooling/verifier/evaluator/decls.cpp	impl/src/runtimes/bsqcheck.ts	9	9	14
impl/src/tooling/verifier/smtdecls_emitter.ts	impl/src/tooling/verifier/smtcollection_emitter.ts	8	12	10
impl/src/tooling/verifier/smttype_emitter.ts	impl/src/tooling/verifier/smtdecls_emitter.ts	8	11	12
impl/src/runtimes/bsqcheck.ts	impl/src/tooling/verifier/smttype_emitter.ts	8	14	11
impl/src/tooling/icpp/interpreter/runner.cpp	impl/src/tooling/icpp/interpreter/runtime/bsqvalue.cpp	8	9	9
impl/src/tooling/verifier/smttype_emitter.ts	impl/src/tooling/verifier/smtcollection_emitter.ts	7	11	10
impl/src/tooling/verifier/smttype_emitter.ts	impl/src/tooling/verifier/smt_assembly.ts	7	11	7
impl/src/ast/assembly.ts	impl/src/tooling/verifier/smttype_emitter.ts	7	13	11
impl/src/tooling/verifier/runtime/smtruntime.smt2	impl/src/tooling/verifier/smttype_emitter.ts	7	8	11
impl/src/runtimes/bsqcheck.ts	impl/src/tooling/verifier/smtdecls_emitter.ts	7	14	12
impl/src/tooling/icpp/interpreter/op_eval.cpp	impl/src/runtimes/bsqcheck.ts	7	9	14
impl/src/tooling/icpp/interpreter/runtime/bsqvalue.cpp	impl/src/runtimes/bsqcheck.ts	7	9	14
impl/src/tooling/icpp/interpreter/runtime/bsqvalue.cpp	impl/src/tooling/icpp/interpreter/op_eval.cpp	7	9	9
impl/src/tooling/icpp/interpreter/runtime/bsqvalue.h	impl/src/tooling/icpp/interpreter/runtime/bsqvalue.cpp	7	7	9
impl/src/tooling/icpp/interpreter/runner.cpp	impl/src/runtimes/bsqcheck.ts	7	9	14
impl/src/tooling/icpp/interpreter/runner.cpp	impl/src/tooling/icpp/interpreter/op_eval.cpp	7	9	9
impl/src/tooling/verifier/smt_assembly.ts	impl/src/tooling/verifier/smtcollection_emitter.ts	6	7	10
impl/src/tooling/verifier/smt_assembly.ts	impl/src/tooling/verifier/smtdecls_emitter.ts	6	7	12
impl/src/ast/assembly.ts	impl/src/tooling/verifier/smtcollection_emitter.ts	6	13	10
impl/src/tooling/verifier/runtime/smtruntime.smt2	impl/src/tooling/verifier/smt_assembly.ts	6	8	7
impl/src/tooling/verifier/runtime/smtruntime.smt2	impl/src/ast/assembly.ts	6	8	13
impl/src/tooling/verifier/runtime/smtruntime.smt2	impl/src/tooling/verifier/smtdecls_emitter.ts	6	8	12
impl/src/tooling/verifier/evaluator/decls.cpp	impl/src/tooling/verifier/smttype_emitter.ts	6	9	11
impl/src/tooling/verifier/evaluator/decls.cpp	impl/src/tooling/verifier/smt_workflows.ts	6	9	11
impl/src/tooling/verifier/evaluator/decls.h	impl/src/runtimes/bsqcheck.ts	6	6	14
impl/src/tooling/verifier/evaluator/decls.h	impl/src/tooling/verifier/evaluator/decls.cpp	6	6	9
impl/src/tooling/verifier/evaluator/workflows.cpp	impl/src/runtimes/bsqcheck.ts	6	6	14
impl/src/tooling/verifier/evaluator/workflows.cpp	impl/src/tooling/verifier/evaluator/decls.cpp	6	6	9
impl/src/tooling/icpp/interpreter/op_eval.cpp	impl/src/tooling/verifier/evaluator/decls.cpp	6	9	9
impl/src/tooling/icpp/interpreter/runtime/bsqvalue.cpp	impl/src/tooling/verifier/evaluator/decls.cpp	6	9	9
impl/src/tooling/icpp/interpreter/runtime/bsqvalue.h	impl/src/runtimes/bsqcheck.ts	6	7	14
impl/src/tooling/icpp/interpreter/runner.cpp	impl/src/tooling/verifier/evaluator/decls.cpp	6	9	9
impl/src/tooling/icpp/interpreter/runner.cpp	impl/src/tooling/icpp/interpreter/runtime/bsqvalue.h	6	9	7
impl/src/tooling/icpp/interpreter/assembly/bsqop.cpp	impl/src/tooling/icpp/interpreter/op_eval.cpp	6	7	9
impl/src/tooling/icpp/interpreter/assembly/bsqop.cpp	impl/src/tooling/icpp/interpreter/runtime/bsqvalue.cpp	6	7	9
impl/src/tooling/icpp/interpreter/assembly/bsqop.cpp	impl/src/tooling/icpp/interpreter/runner.cpp	6	7	9
impl/src/tooling/icpp/interpreter/op_eval.h	impl/src/tooling/icpp/interpreter/assembly/bsqop.cpp	6	6	7
impl/src/tooling/icpp/interpreter/assembly/bsqassembly.cpp	impl/src/tooling/icpp/interpreter/runtime/bsqvalue.cpp	6	6	9
impl/src/tooling/icpp/interpreter/assembly/bsqassembly.cpp	impl/src/tooling/icpp/interpreter/runner.cpp	6	6	9
impl/src/tooling/icpp/interpreter/assembly/bsqassembly.cpp	impl/src/tooling/icpp/interpreter/assembly/bsqop.cpp	6	6	7
impl/src/ast/assembly.ts	impl/src/tooling/verifier/smt_assembly.ts	5	13	7
impl/src/ast/assembly.ts	impl/src/tooling/verifier/smtdecls_emitter.ts	5	13	12
impl/src/tooling/verifier/runtime/smtruntime.smt2	impl/src/tooling/verifier/smtcollection_emitter.ts	5	8	10
impl/src/tooling/verifier/smt_workflows.ts	impl/src/tooling/verifier/smttype_emitter.ts	5	11	11
impl/src/runtimes/bsqcheck.ts	impl/src/tooling/verifier/smtcollection_emitter.ts	5	14	10
impl/src/runtimes/bsqcheck.ts	impl/src/ast/assembly.ts	5	14	13
impl/src/runtimes/bsqcheck.ts	impl/src/tooling/verifier/smt_assembly.ts	5	14	7
impl/src/runtimes/bsqcheck.ts	impl/src/tooling/verifier/runtime/smtruntime.smt2	5	14	8
impl/src/tooling/verifier/evaluator/decls.cpp	impl/src/tooling/verifier/smtdecls_emitter.ts	5	9	12
impl/src/tooling/verifier/evaluator/workflows.cpp	impl/src/tooling/verifier/smt_workflows.ts	5	6	11
impl/src/tooling/verifier/evaluator/workflows.cpp	impl/src/tooling/verifier/evaluator/decls.h	5	6	6
impl/src/tooling/icpp/interpreter/common.h	impl/src/runtimes/bsqcheck.ts	5	5	14
impl/src/tooling/icpp/interpreter/op_eval.cpp	impl/src/tooling/verifier/smttype_emitter.ts	5	9	11
impl/src/tooling/icpp/interpreter/op_eval.cpp	impl/src/tooling/icpp/interpreter/common.h	5	9	5
impl/src/tooling/icpp/interpreter/runtime/bsqvalue.cpp	impl/src/tooling/verifier/evaluator/decls.h	5	9	6
impl/src/tooling/icpp/interpreter/runtime/bsqvalue.h	impl/src/tooling/verifier/evaluator/decls.cpp	5	7	9
impl/src/tooling/icpp/interpreter/runtime/bsqvalue.h	impl/src/tooling/icpp/interpreter/op_eval.cpp	5	7	9
impl/src/tooling/icpp/transpiler/icpp_assembly.ts	impl/src/tooling/icpp/interpreter/runtime/bsqvalue.cpp	5	5	9
impl/src/tooling/icpp/transpiler/icpp_assembly.ts	impl/src/tooling/icpp/interpreter/runtime/bsqvalue.h	5	5	7
impl/src/tooling/icpp/interpreter/runner.cpp	impl/src/tooling/verifier/evaluator/workflows.cpp	5	9	6
impl/src/tooling/icpp/interpreter/assembly/bsqop.cpp	impl/src/runtimes/bsqcheck.ts	5	7	14
impl/src/tooling/icpp/interpreter/assembly/bsqop.cpp	impl/src/tooling/icpp/interpreter/runtime/bsqvalue.h	5	7	7
impl/src/tooling/icpp/interpreter/assembly/bsqop.h	impl/src/tooling/icpp/interpreter/assembly/bsqop.cpp	5	5	7
impl/src/tooling/icpp/interpreter/op_eval.h	impl/src/tooling/icpp/interpreter/op_eval.cpp	5	6	9
impl/src/tooling/icpp/interpreter/op_eval.h	impl/src/tooling/icpp/interpreter/runtime/bsqvalue.cpp	5	6	9
impl/src/tooling/icpp/interpreter/op_eval.h	impl/src/tooling/icpp/interpreter/runner.cpp	5	6	9
impl/src/tooling/icpp/interpreter/assembly/bsqassembly.cpp	impl/src/tooling/icpp/interpreter/op_eval.cpp	5	6	9
impl/src/tooling/icpp/interpreter/assembly/bsqassembly.cpp	impl/src/tooling/icpp/interpreter/runtime/bsqvalue.h	5	6	7
impl/src/tooling/icpp/interpreter/assembly/bsqassembly.cpp	impl/src/tooling/icpp/interpreter/op_eval.h	5	6	6
impl/src/tooling/verifier/smt_workflows.ts	impl/src/tooling/verifier/smtcollection_emitter.ts	4	11	10
impl/src/tooling/verifier/smt_workflows.ts	impl/src/tooling/verifier/smtdecls_emitter.ts	4	11	12
impl/src/tooling/verifier/smt_workflows.ts	impl/src/tooling/verifier/smt_assembly.ts	4	11	7
impl/src/tooling/verifier/smt_workflows.ts	impl/src/tooling/verifier/runtime/smtruntime.smt2	4	11	8
impl/build/include/headers/z3/z3++.h	impl/src/tooling/verifier/smt_workflows.ts	4	4	11
impl/src/runtimes/bsqcheck.ts	impl/build/include/headers/z3/z3++.h	4	14	4
impl/src/tooling/verifier/smt_exp.ts	impl/src/runtimes/bsqcheck.ts	4	4	14
impl/src/tooling/icpp/transpiler/icppdecls_emitter.ts	impl/src/runtimes/bsqcheck.ts	4	5	14
impl/src/tooling/verifier/evaluator/decls.cpp	impl/src/tooling/verifier/smt_assembly.ts	4	9	7
impl/src/tooling/verifier/evaluator/decls.cpp	impl/src/tooling/verifier/runtime/smtruntime.smt2	4	9	8
impl/src/tooling/verifier/evaluator/decls.h	impl/src/tooling/verifier/smtdecls_emitter.ts	4	6	12
impl/src/tooling/verifier/evaluator/decls.h	impl/src/tooling/verifier/smttype_emitter.ts	4	6	11
impl/src/tooling/verifier/evaluator/decls.h	impl/src/tooling/verifier/smt_workflows.ts	4	6	11
impl/src/tooling/verifier/evaluator/workflows.cpp	impl/src/tooling/verifier/smtdecls_emitter.ts	4	6	12
impl/src/tooling/verifier/evaluator/workflows.cpp	impl/src/tooling/verifier/smt_assembly.ts	4	6	7
impl/src/tooling/verifier/evaluator/workflows.cpp	impl/src/tooling/verifier/smttype_emitter.ts	4	6	11
impl/src/tooling/verifier/evaluator/workflows.cpp	impl/src/tooling/verifier/runtime/smtruntime.smt2	4	6	8
impl/src/tooling/icpp/interpreter/common.h	impl/src/tooling/verifier/evaluator/decls.cpp	4	5	9
impl/src/tooling/icpp/interpreter/op_eval.cpp	impl/src/tooling/verifier/smtdecls_emitter.ts	4	9	12
impl/src/tooling/icpp/interpreter/op_eval.cpp	impl/src/tooling/verifier/evaluator/decls.h	4	9	6
impl/src/tooling/icpp/interpreter/op_eval.cpp	impl/src/tooling/verifier/smt_workflows.ts	4	9	11
impl/src/tooling/icpp/interpreter/op_eval.cpp	impl/src/tooling/verifier/evaluator/workflows.cpp	4	9	6
impl/src/tooling/icpp/interpreter/runtime/bsqvalue.cpp	impl/src/tooling/verifier/smtdecls_emitter.ts	4	9	12
impl/src/tooling/icpp/interpreter/runtime/bsqvalue.cpp	impl/src/tooling/verifier/smttype_emitter.ts	4	9	11
impl/src/tooling/icpp/interpreter/runtime/bsqvalue.cpp	impl/src/tooling/icpp/interpreter/common.h	4	9	5
impl/src/tooling/icpp/interpreter/runtime/bsqvalue.cpp	impl/src/tooling/verifier/evaluator/workflows.cpp	4	9	6
impl/src/tooling/icpp/interpreter/runtime/bsqvalue.cpp	impl/src/tooling/icpp/transpiler/icppdecls_emitter.ts	4	9	5
impl/src/tooling/icpp/interpreter/runtime/bsqvalue.h	impl/src/tooling/verifier/evaluator/decls.h	4	7	6
impl/src/tooling/icpp/interpreter/runtime/bsqvalue.h	impl/src/tooling/icpp/interpreter/common.h	4	7	5
impl/src/tooling/icpp/interpreter/runtime/bsqvalue.h	impl/src/tooling/icpp/transpiler/icppdecls_emitter.ts	4	7	5
impl/src/tooling/icpp/interpreter/runtime/environment.cpp	impl/src/runtimes/bsqcheck.ts	4	4	14
impl/src/tooling/icpp/interpreter/runtime/environment.cpp	impl/src/tooling/icpp/interpreter/common.h	4	4	5
impl/src/tooling/icpp/interpreter/runtime/environment.cpp	impl/src/tooling/icpp/interpreter/op_eval.cpp	4	4	9
impl/src/tooling/icpp/transpiler/icpp_assembly.ts	impl/src/runtimes/bsqcheck.ts	4	5	14
impl/src/tooling/icpp/transpiler/icpp_assembly.ts	impl/src/tooling/icpp/interpreter/op_eval.cpp	4	5	9
impl/src/tooling/icpp/transpiler/icpp_assembly.ts	impl/src/tooling/icpp/transpiler/icppdecls_emitter.ts	4	5	5
impl/src/tooling/icpp/transpiler/icpptype_emitter.ts	impl/src/runtimes/bsqcheck.ts	4	4	14
impl/src/tooling/icpp/transpiler/icpptype_emitter.ts	impl/src/tooling/icpp/interpreter/runtime/bsqvalue.cpp	4	4	9
impl/src/tooling/icpp/transpiler/icpptype_emitter.ts	impl/src/tooling/icpp/interpreter/runtime/bsqvalue.h	4	4	7
impl/src/tooling/icpp/transpiler/icpptype_emitter.ts	impl/src/tooling/icpp/transpiler/icpp_assembly.ts	4	4	5
impl/src/tooling/icpp/interpreter/runner.cpp	impl/src/tooling/verifier/smtdecls_emitter.ts	4	9	12
impl/src/tooling/icpp/interpreter/runner.cpp	impl/src/tooling/verifier/smt_assembly.ts	4	9	7
impl/src/tooling/icpp/interpreter/runner.cpp	impl/src/tooling/verifier/smttype_emitter.ts	4	9	11
impl/src/tooling/icpp/interpreter/runner.cpp	impl/src/tooling/verifier/runtime/smtruntime.smt2	4	9	8
impl/src/tooling/icpp/interpreter/runner.cpp	impl/src/tooling/verifier/smt_workflows.ts	4	9	11
impl/src/tooling/icpp/interpreter/runner.cpp	impl/src/tooling/icpp/interpreter/common.h	4	9	5
impl/src/tooling/icpp/interpreter/runner.cpp	impl/src/tooling/verifier/evaluator/decls.h	4	9	6
impl/src/tooling/icpp/interpreter/runner.cpp	impl/src/tooling/icpp/transpiler/icppdecls_emitter.ts	4	9	5
impl/src/tooling/icpp/interpreter/runner.cpp	impl/src/tooling/icpp/transpiler/icpp_assembly.ts	4	9	5
impl/src/tooling/icpp/interpreter/assembly/bsqop.cpp	impl/src/tooling/verifier/evaluator/decls.cpp	4	7	9
impl/src/tooling/icpp/interpreter/assembly/bsqop.cpp	impl/src/tooling/icpp/transpiler/icppdecls_emitter.ts	4	7	5
impl/src/tooling/icpp/interpreter/assembly/bsqop.cpp	impl/src/tooling/icpp/transpiler/icpp_assembly.ts	4	7	5
impl/src/tooling/icpp/interpreter/assembly/bsqop.h	impl/src/runtimes/bsqcheck.ts	4	5	14
impl/src/tooling/icpp/interpreter/assembly/bsqop.h	impl/src/tooling/icpp/interpreter/op_eval.cpp	4	5	9
impl/src/tooling/icpp/interpreter/assembly/bsqop.h	impl/src/tooling/icpp/interpreter/runtime/bsqvalue.cpp	4	5	9
impl/src/tooling/icpp/interpreter/assembly/bsqop.h	impl/src/tooling/icpp/interpreter/runtime/bsqvalue.h	4	5	7
impl/src/tooling/icpp/interpreter/assembly/bsqop.h	impl/src/tooling/icpp/interpreter/runner.cpp	4	5	9
impl/src/tooling/icpp/interpreter/op_eval.h	impl/src/runtimes/bsqcheck.ts	4	6	14
impl/src/tooling/icpp/interpreter/op_eval.h	impl/src/tooling/icpp/interpreter/assembly/bsqop.h	4	6	5
impl/src/tooling/icpp/interpreter/op_eval.h	impl/src/tooling/icpp/transpiler/icppdecls_emitter.ts	4	6	5
impl/src/tooling/icpp/interpreter/op_eval.h	impl/src/tooling/icpp/interpreter/runtime/bsqvalue.h	4	6	7
impl/src/tooling/icpp/interpreter/op_eval.h	impl/src/tooling/icpp/transpiler/icpp_assembly.ts	4	6	5
impl/build/interpreter_build.js	impl/src/tooling/icpp/interpreter/runtime/bsqvalue.cpp	4	4	9
impl/build/interpreter_build.js	impl/src/tooling/icpp/interpreter/runtime/bsqvalue.h	4	4	7
impl/build/interpreter_build.js	impl/src/tooling/icpp/interpreter/runner.cpp	4	4	9
impl/build/interpreter_build.js	impl/src/tooling/icpp/interpreter/assembly/bsqop.cpp	4	4	7
impl/build/interpreter_build.js	impl/src/tooling/icpp/interpreter/assembly/bsqop.h	4	4	5
impl/src/tooling/icpp/interpreter/assembly/bsqassembly.cpp	impl/src/runtimes/bsqcheck.ts	4	6	14
impl/src/tooling/icpp/interpreter/assembly/bsqassembly.cpp	impl/src/tooling/icpp/interpreter/assembly/bsqop.h	4	6	5
impl/src/tooling/icpp/interpreter/assembly/bsqassembly.cpp	impl/build/interpreter_build.js	4	6	4
impl/src/tooling/icpp/interpreter/assembly/bsqassembly.cpp	impl/src/tooling/icpp/transpiler/icppdecls_emitter.ts	4	6	5
impl/src/tooling/icpp/interpreter/assembly/bsqassembly.cpp	impl/src/tooling/icpp/transpiler/icpp_assembly.ts	4	6	5
impl/src/tooling/verifier/smtcollection_emitter.ts	impl/src/ast/resolved_type.ts	3	10	5
impl/src/tooling/verifier/smtdecls_emitter.ts	impl/src/ast/resolved_type.ts	3	12	5
impl/src/tooling/verifier/smt_workflows.ts	impl/src/ast/assembly.ts	3	11	13
impl/src/tooling/verifier/smt_exp.ts	impl/src/tooling/verifier/smt_workflows.ts	3	4	11
impl/src/tooling/verifier/smt_exp.ts	impl/src/tooling/verifier/smtcollection_emitter.ts	3	4	10
impl/src/tooling/verifier/smt_exp.ts	impl/src/tooling/verifier/smtdecls_emitter.ts	3	4	12
impl/src/tooling/verifier/smt_exp.ts	impl/src/tooling/verifier/smt_assembly.ts	3	4	7
impl/src/tooling/verifier/smt_exp.ts	impl/src/tooling/verifier/smttype_emitter.ts	3	4	11
impl/src/tooling/verifier/smt_exp.ts	impl/src/ast/assembly.ts	3	4	13
impl/src/tooling/verifier/smt_exp.ts	impl/src/tooling/verifier/runtime/smtruntime.smt2	3	4	8
impl/src/ast/body.ts	impl/src/tooling/verifier/smtcollection_emitter.ts	3	6	10
impl/src/ast/body.ts	impl/src/tooling/verifier/smtdecls_emitter.ts	3	6	12
impl/src/ast/body.ts	impl/src/tooling/verifier/smttype_emitter.ts	3	6	11
impl/src/ast/body.ts	impl/src/ast/assembly.ts	3	6	13
impl/src/ast/body.ts	impl/src/tooling/verifier/runtime/smtruntime.smt2	3	6	8
impl/src/ast/bsqregex.ts	impl/src/tooling/verifier/smtdecls_emitter.ts	3	4	12
impl/src/ast/bsqregex.ts	impl/src/tooling/verifier/smttype_emitter.ts	3	4	11
impl/src/ast/bsqregex.ts	impl/src/runtimes/bsqcheck.ts	3	4	14
impl/src/type_checker/type_environment.ts	impl/src/tooling/verifier/smtdecls_emitter.ts	3	6	12
impl/src/type_checker/type_environment.ts	impl/src/tooling/verifier/smt_assembly.ts	3	6	7
impl/src/type_checker/type_environment.ts	impl/src/tooling/verifier/smttype_emitter.ts	3	6	11
impl/src/type_checker/type_environment.ts	impl/src/tooling/verifier/runtime/smtruntime.smt2	3	6	8
impl/src/type_checker/type_environment.ts	impl/src/runtimes/bsqcheck.ts	3	6	14
impl/src/compiler/bcgen.ts	impl/src/tooling/verifier/smtcollection_emitter.ts	3	6	10
impl/src/compiler/bcgen.ts	impl/src/tooling/verifier/smtdecls_emitter.ts	3	6	12
impl/src/compiler/bcgen.ts	impl/src/tooling/verifier/smt_assembly.ts	3	6	7
impl/src/compiler/bcgen.ts	impl/src/tooling/verifier/smttype_emitter.ts	3	6	11
impl/src/compiler/bcgen.ts	impl/src/ast/assembly.ts	3	6	13
impl/src/compiler/bcgen.ts	impl/src/tooling/verifier/runtime/smtruntime.smt2	3	6	8
impl/src/compiler/bcgen.ts	impl/src/runtimes/bsqcheck.ts	3	6	14
impl/build/include/headers/z3/z3_api.h	impl/src/tooling/verifier/smt_workflows.ts	3	3	11
impl/build/include/headers/z3/z3_api.h	impl/build/include/headers/z3/z3++.h	3	3	4
impl/build/include/headers/z3/z3_api.h	impl/src/runtimes/bsqcheck.ts	3	3	14
impl/src/compiler/mir_assembly.ts	impl/src/tooling/verifier/smtcollection_emitter.ts	3	5	10
impl/src/compiler/mir_assembly.ts	impl/src/tooling/verifier/smtdecls_emitter.ts	3	5	12
impl/src/compiler/mir_assembly.ts	impl/src/tooling/verifier/smt_assembly.ts	3	5	7
impl/src/compiler/mir_assembly.ts	impl/src/tooling/verifier/smttype_emitter.ts	3	5	11
impl/src/compiler/mir_assembly.ts	impl/src/ast/assembly.ts	3	5	13
impl/src/compiler/mir_assembly.ts	impl/src/tooling/verifier/runtime/smtruntime.smt2	3	5	8
impl/src/compiler/mir_assembly.ts	impl/src/runtimes/bsqcheck.ts	3	5	14
impl/src/compiler/mir_assembly.ts	impl/src/compiler/bcgen.ts	3	5	6
impl/src/compiler/mir_ops.ts	impl/src/tooling/verifier/smttype_emitter.ts	3	14	11
impl/src/compiler/mir_ops.ts	impl/src/runtimes/bsqcheck.ts	3	14	14
impl/src/tooling/icpp/transpiler/icppdecls_emitter.ts	impl/src/tooling/verifier/smtcollection_emitter.ts	3	5	10
impl/src/tooling/icpp/transpiler/icppdecls_emitter.ts	impl/src/tooling/verifier/smtdecls_emitter.ts	3	5	12
impl/src/tooling/icpp/transpiler/icppdecls_emitter.ts	impl/src/tooling/verifier/smt_assembly.ts	3	5	7
impl/src/tooling/icpp/transpiler/icppdecls_emitter.ts	impl/src/tooling/verifier/smttype_emitter.ts	3	5	11
impl/src/tooling/icpp/transpiler/icppdecls_emitter.ts	impl/src/ast/assembly.ts	3	5	13
impl/src/tooling/icpp/transpiler/icppdecls_emitter.ts	impl/src/tooling/verifier/runtime/smtruntime.smt2	3	5	8
impl/src/tooling/icpp/transpiler/icppdecls_emitter.ts	impl/src/tooling/verifier/smt_workflows.ts	3	5	11
impl/src/tooling/icpp/transpiler/icppdecls_emitter.ts	impl/build/include/headers/z3/z3++.h	3	5	4
impl/src/tooling/icpp/transpiler/icppdecls_emitter.ts	impl/src/compiler/bcgen.ts	3	5	6
impl/src/tooling/icpp/transpiler/icppdecls_emitter.ts	impl/build/include/headers/z3/z3_api.h	3	5	3
impl/src/tooling/icpp/transpiler/icppdecls_emitter.ts	impl/src/compiler/mir_assembly.ts	3	5	5
impl/src/tooling/verifier/evaluator/decls.cpp	impl/src/tooling/verifier/smtcollection_emitter.ts	3	9	10
impl/src/tooling/verifier/evaluator/decls.cpp	impl/src/ast/assembly.ts	3	9	13
impl/src/tooling/verifier/evaluator/decls.cpp	impl/build/include/headers/z3/z3++.h	3	9	4
impl/src/tooling/verifier/evaluator/decls.cpp	impl/build/include/headers/z3/z3_api.h	3	9	3
impl/src/tooling/verifier/evaluator/decls.cpp	impl/src/tooling/icpp/transpiler/icppdecls_emitter.ts	3	9	5
impl/src/tooling/verifier/evaluator/decls.h	impl/src/tooling/verifier/smt_assembly.ts	3	6	7
impl/src/tooling/verifier/evaluator/decls.h	impl/src/tooling/verifier/runtime/smtruntime.smt2	3	6	8
impl/src/tooling/verifier/evaluator/decls.h	impl/build/include/headers/z3/z3++.h	3	6	4
impl/src/tooling/verifier/evaluator/decls.h	impl/build/include/headers/z3/z3_api.h	3	6	3
impl/src/tooling/verifier/evaluator/decls.h	impl/src/tooling/icpp/transpiler/icppdecls_emitter.ts	3	6	5
impl/src/tooling/verifier/evaluator/workflows.cpp	impl/src/tooling/verifier/smtcollection_emitter.ts	3	6	10
impl/src/tooling/verifier/evaluator/workflows.cpp	impl/src/ast/assembly.ts	3	6	13
impl/src/tooling/verifier/evaluator/workflows.cpp	impl/build/include/headers/z3/z3++.h	3	6	4
impl/src/tooling/verifier/evaluator/workflows.cpp	impl/build/include/headers/z3/z3_api.h	3	6	3
impl/src/tooling/verifier/evaluator/workflows.cpp	impl/src/tooling/icpp/transpiler/icppdecls_emitter.ts	3	6	5
impl/src/tooling/icpp/interpreter/common.h	impl/src/tooling/verifier/smtdecls_emitter.ts	3	5	12
impl/src/tooling/icpp/interpreter/common.h	impl/src/tooling/verifier/smttype_emitter.ts	3	5	11
impl/src/tooling/icpp/interpreter/common.h	impl/src/tooling/verifier/evaluator/decls.h	3	5	6
impl/src/tooling/icpp/interpreter/common.h	impl/src/tooling/verifier/evaluator/workflows.cpp	3	5	6
impl/src/tooling/icpp/interpreter/op_eval.cpp	impl/src/tooling/verifier/smt_assembly.ts	3	9	7
impl/src/tooling/icpp/interpreter/op_eval.cpp	impl/src/tooling/verifier/runtime/smtruntime.smt2	3	9	8
impl/src/tooling/icpp/interpreter/op_eval.cpp	impl/src/tooling/icpp/transpiler/icppdecls_emitter.ts	3	9	5
impl/src/tooling/icpp/interpreter/runtime/bsqvalue.cpp	impl/src/tooling/verifier/smt_assembly.ts	3	9	7
impl/src/tooling/icpp/interpreter/runtime/bsqvalue.cpp	impl/src/tooling/verifier/runtime/smtruntime.smt2	3	9	8
impl/src/tooling/icpp/interpreter/runtime/bsqvalue.cpp	impl/src/tooling/verifier/smt_workflows.ts	3	9	11
impl/src/tooling/icpp/interpreter/runtime/bsqvalue.h	impl/src/tooling/verifier/smtdecls_emitter.ts	3	7	12
impl/src/tooling/icpp/interpreter/runtime/bsqvalue.h	impl/src/tooling/verifier/smttype_emitter.ts	3	7	11
impl/src/tooling/icpp/interpreter/runtime/bsqvalue.h	impl/src/tooling/verifier/evaluator/workflows.cpp	3	7	6
impl/src/tooling/icpp/interpreter/runtime/environment.cpp	impl/src/tooling/verifier/smtdecls_emitter.ts	3	4	12
impl/src/tooling/icpp/interpreter/runtime/environment.cpp	impl/src/tooling/verifier/smttype_emitter.ts	3	4	11
impl/src/tooling/icpp/interpreter/runtime/environment.cpp	impl/src/tooling/verifier/evaluator/decls.cpp	3	4	9
impl/src/tooling/icpp/interpreter/runtime/environment.cpp	impl/src/tooling/icpp/interpreter/runtime/bsqvalue.cpp	3	4	9
impl/src/tooling/icpp/interpreter/runtime/environment.cpp	impl/src/tooling/icpp/interpreter/runtime/bsqvalue.h	3	4	7
impl/src/tooling/icpp/transpiler/icpp_assembly.ts	impl/src/tooling/verifier/smtdecls_emitter.ts	3	5	12
impl/src/tooling/icpp/transpiler/icpp_assembly.ts	impl/src/tooling/verifier/smttype_emitter.ts	3	5	11
impl/src/tooling/icpp/transpiler/icpp_assembly.ts	impl/src/tooling/verifier/evaluator/decls.cpp	3	5	9
impl/src/tooling/icpp/transpiler/icpp_assembly.ts	impl/src/tooling/verifier/evaluator/decls.h	3	5	6
impl/src/tooling/icpp/transpiler/icpp_assembly.ts	impl/src/tooling/icpp/interpreter/common.h	3	5	5
impl/src/tooling/icpp/transpiler/icpp_assembly.ts	impl/src/tooling/icpp/interpreter/runtime/environment.cpp	3	5	4
impl/src/tooling/icpp/transpiler/icpptype_emitter.ts	impl/src/tooling/verifier/smtdecls_emitter.ts	3	4	12
impl/src/tooling/icpp/transpiler/icpptype_emitter.ts	impl/src/tooling/verifier/smttype_emitter.ts	3	4	11
impl/src/tooling/icpp/transpiler/icpptype_emitter.ts	impl/src/tooling/verifier/evaluator/decls.cpp	3	4	9
impl/src/tooling/icpp/transpiler/icpptype_emitter.ts	impl/src/tooling/verifier/evaluator/decls.h	3	4	6
impl/src/tooling/icpp/transpiler/icpptype_emitter.ts	impl/src/tooling/icpp/interpreter/common.h	3	4	5
impl/src/tooling/icpp/transpiler/icpptype_emitter.ts	impl/src/tooling/icpp/interpreter/op_eval.cpp	3	4	9
impl/src/tooling/icpp/transpiler/icpptype_emitter.ts	impl/src/tooling/icpp/interpreter/runtime/environment.cpp	3	4	4
impl/src/tooling/icpp/transpiler/icpptype_emitter.ts	impl/src/tooling/icpp/transpiler/icppdecls_emitter.ts	3	4	5
impl/src/tooling/icpp/interpreter/runner.cpp	impl/src/tooling/verifier/smtcollection_emitter.ts	3	9	10
impl/src/tooling/icpp/interpreter/runner.cpp	impl/src/ast/assembly.ts	3	9	13
impl/src/tooling/icpp/interpreter/runner.cpp	impl/src/tooling/icpp/interpreter/runtime/environment.cpp	3	9	4
impl/src/tooling/icpp/interpreter/runner.cpp	impl/src/tooling/icpp/transpiler/icpptype_emitter.ts	3	9	4
impl/src/tooling/icpp/interpreter/assembly/bsqop.cpp	impl/src/tooling/verifier/smttype_emitter.ts	3	7	11
impl/src/tooling/icpp/interpreter/assembly/bsqop.cpp	impl/src/tooling/verifier/smt_workflows.ts	3	7	11
impl/src/tooling/icpp/interpreter/assembly/bsqop.cpp	impl/src/tooling/verifier/evaluator/decls.h	3	7	6
impl/src/tooling/icpp/interpreter/assembly/bsqop.cpp	impl/src/tooling/verifier/evaluator/workflows.cpp	3	7	6
impl/src/tooling/icpp/interpreter/assembly/bsqop.cpp	impl/src/tooling/icpp/interpreter/common.h	3	7	5
impl/src/tooling/icpp/interpreter/assembly/bsqop.cpp	impl/src/tooling/icpp/transpiler/icpptype_emitter.ts	3	7	4
impl/src/tooling/icpp/interpreter/assembly/bsqop.h	impl/src/tooling/verifier/smttype_emitter.ts	3	5	11
impl/src/tooling/icpp/interpreter/assembly/bsqop.h	impl/src/tooling/verifier/evaluator/decls.cpp	3	5	9
impl/src/tooling/icpp/interpreter/assembly/bsqop.h	impl/src/tooling/icpp/transpiler/icppdecls_emitter.ts	3	5	5
impl/src/tooling/icpp/interpreter/assembly/bsqop.h	impl/src/tooling/icpp/transpiler/icpp_assembly.ts	3	5	5
impl/src/tooling/icpp/interpreter/op_eval.h	impl/src/tooling/verifier/smttype_emitter.ts	3	6	11
impl/src/tooling/icpp/interpreter/op_eval.h	impl/src/tooling/verifier/smt_workflows.ts	3	6	11
impl/src/tooling/icpp/interpreter/op_eval.h	impl/src/tooling/verifier/evaluator/decls.cpp	3	6	9
impl/src/tooling/icpp/interpreter/op_eval.h	impl/src/tooling/icpp/transpiler/icpptype_emitter.ts	3	6	4
impl/build/interpreter_build.js	impl/src/runtimes/bsqcheck.ts	3	4	14
impl/build/interpreter_build.js	impl/src/tooling/icpp/interpreter/op_eval.cpp	3	4	9
impl/build/interpreter_build.js	impl/src/tooling/icpp/transpiler/icppdecls_emitter.ts	3	4	5
impl/build/interpreter_build.js	impl/src/tooling/icpp/transpiler/icpp_assembly.ts	3	4	5
impl/build/interpreter_build.js	impl/src/tooling/icpp/interpreter/op_eval.h	3	4	6
impl/src/tooling/icpp/interpreter/assembly/bsqassembly.cpp	impl/src/tooling/verifier/evaluator/decls.cpp	3	6	9
impl/src/tooling/icpp/interpreter/assembly/bsqassembly.cpp	impl/src/tooling/verifier/evaluator/decls.h	3	6	6
impl/src/tooling/icpp/interpreter/assembly/bsqassembly.cpp	impl/src/tooling/verifier/evaluator/workflows.cpp	3	6	6
impl/src/tooling/icpp/interpreter/assembly/bsqassembly.cpp	impl/src/tooling/icpp/interpreter/common.h	3	6	5
impl/src/tooling/icpp/interpreter/assembly/bsqassembly.cpp	impl/src/tooling/icpp/transpiler/icpptype_emitter.ts	3	6	4
impl/src/tooling/icpp/interpreter/assembly/bsqassembly.h	impl/src/runtimes/bsqcheck.ts	3	3	14
impl/src/tooling/icpp/interpreter/assembly/bsqassembly.h	impl/src/tooling/icpp/interpreter/common.h	3	3	5
impl/src/tooling/icpp/interpreter/assembly/bsqassembly.h	impl/src/tooling/icpp/interpreter/op_eval.cpp	3	3	9
impl/src/tooling/icpp/interpreter/assembly/bsqassembly.h	impl/src/tooling/icpp/interpreter/runtime/bsqvalue.cpp	3	3	9
impl/src/tooling/icpp/interpreter/assembly/bsqassembly.h	impl/src/tooling/icpp/interpreter/runtime/bsqvalue.h	3	3	7
impl/src/tooling/icpp/interpreter/assembly/bsqassembly.h	impl/src/tooling/icpp/interpreter/runner.cpp	3	3	9
impl/src/tooling/icpp/interpreter/assembly/bsqassembly.h	impl/src/tooling/icpp/interpreter/assembly/bsqop.cpp	3	3	7
impl/src/tooling/icpp/interpreter/assembly/bsqassembly.h	impl/src/tooling/icpp/interpreter/assembly/bsqassembly.cpp	3	3	6
impl/src/tooling/icpp/interpreter/assembly/bsqtype.h	impl/src/tooling/icpp/interpreter/op_eval.cpp	3	3	9
impl/src/tooling/icpp/interpreter/assembly/bsqtype.h	impl/src/tooling/icpp/interpreter/runtime/bsqvalue.cpp	3	3	9
impl/src/tooling/icpp/interpreter/assembly/bsqtype.h	impl/src/tooling/icpp/interpreter/runtime/bsqvalue.h	3	3	7
impl/src/tooling/icpp/interpreter/assembly/bsqtype.h	impl/src/tooling/icpp/interpreter/runner.cpp	3	3	9
impl/src/tooling/icpp/interpreter/assembly/bsqtype.h	impl/src/tooling/icpp/interpreter/assembly/bsqop.cpp	3	3	7
impl/src/tooling/icpp/interpreter/assembly/bsqtype.h	impl/src/tooling/icpp/interpreter/assembly/bsqop.h	3	3	5
impl/src/tooling/icpp/interpreter/assembly/bsqtype.h	impl/build/interpreter_build.js	3	3	4
impl/src/tooling/icpp/interpreter/assembly/bsqtype.h	impl/src/tooling/icpp/interpreter/assembly/bsqassembly.cpp	3	3	6
impl/src/tooling/icpp/interpreter/runner.h	impl/src/tooling/icpp/interpreter/op_eval.cpp	3	3	9
impl/src/tooling/icpp/interpreter/runner.h	impl/src/tooling/icpp/interpreter/runtime/bsqvalue.cpp	3	3	9
impl/src/tooling/icpp/interpreter/runner.h	impl/src/tooling/icpp/interpreter/runner.cpp	3	3	9
impl/src/tooling/icpp/interpreter/runner.h	impl/src/tooling/icpp/interpreter/assembly/bsqop.cpp	3	3	7
impl/src/tooling/icpp/interpreter/runner.h	impl/src/tooling/icpp/interpreter/assembly/bsqassembly.cpp	3	3	6
impl/src/tooling/icpp/interpreter/runtime/bsqcollections.cpp	impl/src/runtimes/bsqcheck.ts	3	3	14
impl/src/tooling/icpp/interpreter/runtime/bsqcollections.cpp	impl/src/tooling/icpp/interpreter/common.h	3	3	5
impl/src/tooling/icpp/interpreter/runtime/bsqcollections.cpp	impl/src/tooling/icpp/interpreter/op_eval.cpp	3	3	9
impl/src/tooling/icpp/interpreter/runtime/bsqcollections.cpp	impl/src/tooling/icpp/interpreter/runtime/bsqvalue.cpp	3	3	9
impl/src/tooling/icpp/interpreter/runtime/bsqcollections.cpp	impl/src/tooling/icpp/interpreter/runtime/bsqvalue.h	3	3	7
impl/src/tooling/icpp/interpreter/runtime/bsqcollections.cpp	impl/src/tooling/icpp/interpreter/runner.cpp	3	3	9
impl/src/tooling/icpp/interpreter/runtime/bsqcollections.cpp	impl/src/tooling/icpp/interpreter/assembly/bsqop.cpp	3	3	7
impl/src/tooling/icpp/interpreter/runtime/bsqcollections.cpp	impl/src/tooling/icpp/interpreter/assembly/bsqassembly.cpp	3	3	6
impl/src/tooling/icpp/interpreter/runtime/bsqcollections.cpp	impl/src/tooling/icpp/interpreter/assembly/bsqassembly.h	3	3	3
impl/src/tooling/icpp/interpreter/runtime/bsqcollections.h	impl/src/runtimes/bsqcheck.ts	3	3	14
impl/src/tooling/icpp/interpreter/runtime/bsqcollections.h	impl/src/tooling/icpp/interpreter/common.h	3	3	5
impl/src/tooling/icpp/interpreter/runtime/bsqcollections.h	impl/src/tooling/icpp/interpreter/op_eval.cpp	3	3	9
impl/src/tooling/icpp/interpreter/runtime/bsqcollections.h	impl/src/tooling/icpp/interpreter/runtime/bsqvalue.cpp	3	3	9
impl/src/tooling/icpp/interpreter/runtime/bsqcollections.h	impl/src/tooling/icpp/interpreter/runtime/bsqvalue.h	3	3	7
impl/src/tooling/icpp/interpreter/runtime/bsqcollections.h	impl/src/tooling/icpp/interpreter/runner.cpp	3	3	9
impl/src/tooling/icpp/interpreter/runtime/bsqcollections.h	impl/src/tooling/icpp/interpreter/assembly/bsqop.cpp	3	3	7
impl/src/tooling/icpp/interpreter/runtime/bsqcollections.h	impl/src/tooling/icpp/interpreter/assembly/bsqassembly.cpp	3	3	6
impl/src/tooling/icpp/interpreter/runtime/bsqcollections.h	impl/src/tooling/icpp/interpreter/assembly/bsqassembly.h	3	3	3
impl/src/tooling/icpp/interpreter/runtime/bsqcollections.h	impl/src/tooling/icpp/interpreter/runtime/bsqcollections.cpp	3	3	3
impl/src/tooling/verifier/smt_assembly.ts	impl/src/ast/resolved_type.ts	2	7	5
impl/src/tooling/verifier/smttype_emitter.ts	impl/src/ast/resolved_type.ts	2	11	5
impl/src/ast/assembly.ts	impl/src/ast/resolved_type.ts	2	13	5
impl/src/tooling/verifier/runtime/smtruntime.smt2	impl/src/ast/resolved_type.ts	2	8	5
impl/build/include/headers/z3/z3++.h	impl/src/tooling/verifier/smtcollection_emitter.ts	2	4	10
impl/build/include/headers/z3/z3++.h	impl/src/tooling/verifier/smtdecls_emitter.ts	2	4	12
impl/build/include/headers/z3/z3++.h	impl/src/tooling/verifier/smt_assembly.ts	2	4	7
impl/build/include/headers/z3/z3++.h	impl/src/tooling/verifier/smttype_emitter.ts	2	4	11
impl/build/include/headers/z3/z3++.h	impl/src/ast/assembly.ts	2	4	13
impl/build/include/headers/z3/z3++.h	impl/src/tooling/verifier/runtime/smtruntime.smt2	2	4	8
impl/src/runtimes/bsqcheck.ts	impl/src/ast/resolved_type.ts	2	14	5
impl/src/tooling/verifier/smt_exp.ts	impl/build/include/headers/z3/z3++.h	2	4	4
impl/src/tooling/verifier/smt_exp.ts	impl/src/ast/resolved_type.ts	2	4	5
impl/src/ast/body.ts	impl/src/ast/resolved_type.ts	2	6	5
impl/src/ast/body.ts	impl/src/tooling/verifier/smt_assembly.ts	2	6	7
impl/src/ast/body.ts	impl/src/runtimes/bsqcheck.ts	2	6	14
impl/src/ast/body.ts	impl/src/tooling/verifier/smt_exp.ts	2	6	4
impl/src/ast/bsqregex.ts	impl/src/ast/resolved_type.ts	2	4	5
impl/src/ast/bsqregex.ts	impl/src/tooling/verifier/smtcollection_emitter.ts	2	4	10
impl/src/ast/bsqregex.ts	impl/src/tooling/verifier/smt_assembly.ts	2	4	7
impl/src/ast/bsqregex.ts	impl/src/ast/assembly.ts	2	4	13
impl/src/ast/bsqregex.ts	impl/src/tooling/verifier/runtime/smtruntime.smt2	2	4	8
impl/src/ast/bsqregex.ts	impl/src/tooling/verifier/smt_exp.ts	2	4	4
impl/src/ast/bsqregex.ts	impl/src/ast/body.ts	2	4	6
impl/src/ast/parser_env.ts	impl/src/tooling/verifier/smtcollection_emitter.ts	2	7	10
impl/src/ast/parser_env.ts	impl/src/tooling/verifier/smtdecls_emitter.ts	2	7	12
impl/src/ast/parser_env.ts	impl/src/tooling/verifier/smt_assembly.ts	2	7	7
impl/src/ast/parser_env.ts	impl/src/tooling/verifier/smttype_emitter.ts	2	7	11
impl/src/ast/parser_env.ts	impl/src/ast/assembly.ts	2	7	13
impl/src/ast/parser_env.ts	impl/src/tooling/verifier/runtime/smtruntime.smt2	2	7	8
impl/src/ast/parser_env.ts	impl/src/runtimes/bsqcheck.ts	2	7	14
impl/src/type_checker/type_environment.ts	impl/src/ast/parser_env.ts	2	6	7
impl/src/type_checker/type_environment.ts	impl/src/ast/resolved_type.ts	2	6	5
impl/src/type_checker/type_environment.ts	impl/src/tooling/verifier/smtcollection_emitter.ts	2	6	10
impl/src/type_checker/type_environment.ts	impl/src/ast/assembly.ts	2	6	13
impl/src/type_checker/type_environment.ts	impl/src/tooling/verifier/smt_workflows.ts	2	6	11
impl/src/type_checker/type_environment.ts	impl/src/tooling/verifier/smt_exp.ts	2	6	4
impl/src/type_checker/type_environment.ts	impl/src/ast/body.ts	2	6	6
impl/src/type_checker/type_environment.ts	impl/src/ast/bsqregex.ts	2	6	4
impl/src/compiler/bcgen.ts	impl/src/ast/resolved_type.ts	2	6	5
impl/src/compiler/bcgen.ts	impl/src/tooling/verifier/smt_workflows.ts	2	6	11
impl/src/compiler/bcgen.ts	impl/build/include/headers/z3/z3++.h	2	6	4
impl/src/compiler/bcgen.ts	impl/src/tooling/verifier/smt_exp.ts	2	6	4
impl/src/compiler/bcgen.ts	impl/src/ast/body.ts	2	6	6
impl/src/compiler/bcgen.ts	impl/src/ast/bsqregex.ts	2	6	4
impl/src/compiler/bcgen.ts	impl/src/type_checker/type_environment.ts	2	6	6
impl/src/compiler/bcgen.ts	impl/src/ast/parser_env.ts	2	6	7
impl/build/include/headers/z3/z3_api.h	impl/src/tooling/verifier/smtcollection_emitter.ts	2	3	10
impl/build/include/headers/z3/z3_api.h	impl/src/tooling/verifier/smtdecls_emitter.ts	2	3	12
impl/build/include/headers/z3/z3_api.h	impl/src/tooling/verifier/smt_assembly.ts	2	3	7
impl/build/include/headers/z3/z3_api.h	impl/src/tooling/verifier/smttype_emitter.ts	2	3	11
impl/build/include/headers/z3/z3_api.h	impl/src/ast/assembly.ts	2	3	13
impl/build/include/headers/z3/z3_api.h	impl/src/tooling/verifier/runtime/smtruntime.smt2	2	3	8
impl/build/include/headers/z3/z3_api.h	impl/src/compiler/bcgen.ts	2	3	6
impl/src/ast/type_signature.ts	impl/src/ast/resolved_type.ts	2	4	5
impl/src/ast/type_signature.ts	impl/src/tooling/verifier/smtcollection_emitter.ts	2	4	10
impl/src/ast/type_signature.ts	impl/src/tooling/verifier/smtdecls_emitter.ts	2	4	12
impl/src/ast/type_signature.ts	impl/src/tooling/verifier/smt_assembly.ts	2	4	7
impl/src/ast/type_signature.ts	impl/src/tooling/verifier/smttype_emitter.ts	2	4	11
impl/src/ast/type_signature.ts	impl/src/ast/assembly.ts	2	4	13
impl/src/ast/type_signature.ts	impl/src/tooling/verifier/runtime/smtruntime.smt2	2	4	8
impl/src/ast/type_signature.ts	impl/src/runtimes/bsqcheck.ts	2	4	14
impl/src/ast/type_signature.ts	impl/src/tooling/verifier/smt_exp.ts	2	4	4
impl/src/ast/type_signature.ts	impl/src/ast/body.ts	2	4	6
impl/src/ast/type_signature.ts	impl/src/ast/bsqregex.ts	2	4	4
impl/src/ast/type_signature.ts	impl/src/type_checker/type_environment.ts	2	4	6
impl/src/ast/type_signature.ts	impl/src/compiler/bcgen.ts	2	4	6
impl/src/compiler/functionalize.ts	impl/src/ast/resolved_type.ts	2	4	5
impl/src/compiler/functionalize.ts	impl/src/tooling/verifier/smtcollection_emitter.ts	2	4	10
impl/src/compiler/functionalize.ts	impl/src/tooling/verifier/smtdecls_emitter.ts	2	4	12
impl/src/compiler/functionalize.ts	impl/src/tooling/verifier/smt_assembly.ts	2	4	7
impl/src/compiler/functionalize.ts	impl/src/tooling/verifier/smttype_emitter.ts	2	4	11
impl/src/compiler/functionalize.ts	impl/src/ast/assembly.ts	2	4	13
impl/src/compiler/functionalize.ts	impl/src/tooling/verifier/runtime/smtruntime.smt2	2	4	8
impl/src/compiler/functionalize.ts	impl/src/runtimes/bsqcheck.ts	2	4	14
impl/src/compiler/functionalize.ts	impl/src/tooling/verifier/smt_exp.ts	2	4	4
impl/src/compiler/functionalize.ts	impl/src/ast/body.ts	2	4	6
impl/src/compiler/functionalize.ts	impl/src/ast/bsqregex.ts	2	4	4
impl/src/compiler/functionalize.ts	impl/src/type_checker/type_environment.ts	2	4	6
impl/src/compiler/functionalize.ts	impl/src/compiler/bcgen.ts	2	4	6
impl/src/compiler/functionalize.ts	impl/src/ast/type_signature.ts	2	4	4
impl/src/compiler/mir_assembly.ts	impl/src/ast/resolved_type.ts	2	5	5
impl/src/compiler/mir_assembly.ts	impl/src/tooling/verifier/smt_workflows.ts	2	5	11
impl/src/compiler/mir_assembly.ts	impl/build/include/headers/z3/z3++.h	2	5	4
impl/src/compiler/mir_assembly.ts	impl/src/tooling/verifier/smt_exp.ts	2	5	4
impl/src/compiler/mir_assembly.ts	impl/src/ast/body.ts	2	5	6
impl/src/compiler/mir_assembly.ts	impl/src/ast/bsqregex.ts	2	5	4
impl/src/compiler/mir_assembly.ts	impl/src/type_checker/type_environment.ts	2	5	6
impl/src/compiler/mir_assembly.ts	impl/build/include/headers/z3/z3_api.h	2	5	3
impl/src/compiler/mir_assembly.ts	impl/src/ast/type_signature.ts	2	5	4
impl/src/compiler/mir_assembly.ts	impl/src/compiler/functionalize.ts	2	5	4
impl/src/compiler/mir_assembly.ts	impl/src/ast/parser_env.ts	2	5	7
impl/src/compiler/mir_callg.ts	impl/src/ast/resolved_type.ts	2	4	5
impl/src/compiler/mir_callg.ts	impl/src/tooling/verifier/smtcollection_emitter.ts	2	4	10
impl/src/compiler/mir_callg.ts	impl/src/tooling/verifier/smtdecls_emitter.ts	2	4	12
impl/src/compiler/mir_callg.ts	impl/src/tooling/verifier/smt_assembly.ts	2	4	7
impl/src/compiler/mir_callg.ts	impl/src/tooling/verifier/smttype_emitter.ts	2	4	11
impl/src/compiler/mir_callg.ts	impl/src/ast/assembly.ts	2	4	13
impl/src/compiler/mir_callg.ts	impl/src/tooling/verifier/runtime/smtruntime.smt2	2	4	8
impl/src/compiler/mir_callg.ts	impl/src/runtimes/bsqcheck.ts	2	4	14
impl/src/compiler/mir_callg.ts	impl/src/tooling/verifier/smt_exp.ts	2	4	4
impl/src/compiler/mir_callg.ts	impl/src/ast/body.ts	2	4	6
impl/src/compiler/mir_callg.ts	impl/src/ast/bsqregex.ts	2	4	4
impl/src/compiler/mir_callg.ts	impl/src/type_checker/type_environment.ts	2	4	6
impl/src/compiler/mir_callg.ts	impl/src/compiler/bcgen.ts	2	4	6
impl/src/compiler/mir_callg.ts	impl/src/ast/type_signature.ts	2	4	4
impl/src/compiler/mir_callg.ts	impl/src/compiler/functionalize.ts	2	4	4
impl/src/compiler/mir_callg.ts	impl/src/compiler/mir_assembly.ts	2	4	5
impl/src/compiler/mir_ops.ts	impl/src/ast/resolved_type.ts	2	14	5
impl/src/compiler/mir_ops.ts	impl/src/tooling/verifier/smtcollection_emitter.ts	2	14	10
impl/src/compiler/mir_ops.ts	impl/src/tooling/verifier/smtdecls_emitter.ts	2	14	12
impl/src/compiler/mir_ops.ts	impl/src/tooling/verifier/smt_assembly.ts	2	14	7
impl/src/compiler/mir_ops.ts	impl/src/ast/assembly.ts	2	14	13
impl/src/compiler/mir_ops.ts	impl/src/tooling/verifier/runtime/smtruntime.smt2	2	14	8
impl/src/compiler/mir_ops.ts	impl/src/tooling/verifier/smt_workflows.ts	2	14	11
impl/src/compiler/mir_ops.ts	impl/src/tooling/verifier/smt_exp.ts	2	14	4
impl/src/compiler/mir_ops.ts	impl/src/ast/body.ts	2	14	6
impl/src/compiler/mir_ops.ts	impl/src/ast/bsqregex.ts	2	14	4
impl/src/compiler/mir_ops.ts	impl/src/type_checker/type_environment.ts	2	14	6
impl/src/compiler/mir_ops.ts	impl/src/compiler/bcgen.ts	2	14	6
impl/src/compiler/mir_ops.ts	impl/src/ast/type_signature.ts	2	14	4
impl/src/compiler/mir_ops.ts	impl/src/compiler/functionalize.ts	2	14	4
impl/src/compiler/mir_ops.ts	impl/src/compiler/mir_assembly.ts	2	14	5
impl/src/compiler/mir_ops.ts	impl/src/compiler/mir_callg.ts	2	14	4
impl/src/tooling/icpp/transpiler/icppdecls_emitter.ts	impl/src/ast/resolved_type.ts	2	5	5
impl/src/tooling/icpp/transpiler/icppdecls_emitter.ts	impl/src/tooling/verifier/smt_exp.ts	2	5	4
impl/src/tooling/icpp/transpiler/icppdecls_emitter.ts	impl/src/ast/body.ts	2	5	6
impl/src/tooling/icpp/transpiler/icppdecls_emitter.ts	impl/src/ast/bsqregex.ts	2	5	4
impl/src/tooling/icpp/transpiler/icppdecls_emitter.ts	impl/src/type_checker/type_environment.ts	2	5	6
impl/src/tooling/icpp/transpiler/icppdecls_emitter.ts	impl/src/ast/type_signature.ts	2	5	4
impl/src/tooling/icpp/transpiler/icppdecls_emitter.ts	impl/src/compiler/functionalize.ts	2	5	4
impl/src/tooling/icpp/transpiler/icppdecls_emitter.ts	impl/src/compiler/mir_callg.ts	2	5	4
impl/src/tooling/icpp/transpiler/icppdecls_emitter.ts	impl/src/compiler/mir_ops.ts	2	5	14
impl/src/tooling/icpp/transpiler/icppdecls_emitter.ts	impl/src/ast/parser_env.ts	2	5	7
impl/src/tooling/verifier/evaluator/decls.cpp	impl/src/tooling/verifier/smt_exp.ts	2	9	4
impl/src/tooling/verifier/evaluator/decls.cpp	impl/src/ast/bsqregex.ts	2	9	4
impl/src/tooling/verifier/evaluator/decls.cpp	impl/src/type_checker/type_environment.ts	2	9	6
impl/src/tooling/verifier/evaluator/decls.cpp	impl/src/compiler/bcgen.ts	2	9	6
impl/src/tooling/verifier/evaluator/decls.cpp	impl/src/compiler/mir_assembly.ts	2	9	5
impl/src/tooling/verifier/evaluator/decls.cpp	impl/src/compiler/mir_ops.ts	2	9	14
impl/src/tooling/verifier/evaluator/decls.h	impl/src/tooling/verifier/smtcollection_emitter.ts	2	6	10
impl/src/tooling/verifier/evaluator/decls.h	impl/src/ast/assembly.ts	2	6	13
impl/src/tooling/verifier/evaluator/decls.h	impl/src/ast/bsqregex.ts	2	6	4
impl/src/tooling/verifier/evaluator/decls.h	impl/src/type_checker/type_environment.ts	2	6	6
impl/src/tooling/verifier/evaluator/decls.h	impl/src/compiler/bcgen.ts	2	6	6
impl/src/tooling/verifier/evaluator/decls.h	impl/src/compiler/mir_assembly.ts	2	6	5
impl/src/tooling/verifier/evaluator/workflows.cpp	impl/src/tooling/verifier/smt_exp.ts	2	6	4
impl/src/tooling/verifier/evaluator/workflows.cpp	impl/src/type_checker/type_environment.ts	2	6	6
impl/src/tooling/verifier/evaluator/workflows.cpp	impl/src/compiler/bcgen.ts	2	6	6
impl/src/tooling/verifier/evaluator/workflows.cpp	impl/src/compiler/mir_assembly.ts	2	6	5
impl/src/tooling/icpp/interpreter/common.h	impl/src/ast/bsqregex.ts	2	5	4
impl/src/tooling/icpp/interpreter/common.h	impl/src/tooling/verifier/smtcollection_emitter.ts	2	5	10
impl/src/tooling/icpp/interpreter/common.h	impl/src/tooling/verifier/smt_assembly.ts	2	5	7
impl/src/tooling/icpp/interpreter/common.h	impl/src/ast/assembly.ts	2	5	13
impl/src/tooling/icpp/interpreter/common.h	impl/src/tooling/verifier/runtime/smtruntime.smt2	2	5	8
impl/src/tooling/icpp/interpreter/common.h	impl/src/tooling/verifier/smt_workflows.ts	2	5	11
impl/src/tooling/icpp/interpreter/common.h	impl/src/tooling/verifier/smt_exp.ts	2	5	4
impl/src/tooling/icpp/interpreter/common.h	impl/src/tooling/icpp/transpiler/icppdecls_emitter.ts	2	5	5
impl/src/tooling/icpp/interpreter/op_eval.cpp	impl/src/ast/bsqregex.ts	2	9	4
impl/src/tooling/icpp/interpreter/op_eval.cpp	impl/src/tooling/verifier/smtcollection_emitter.ts	2	9	10
impl/src/tooling/icpp/interpreter/op_eval.cpp	impl/src/ast/assembly.ts	2	9	13
impl/src/tooling/icpp/interpreter/op_eval.cpp	impl/src/tooling/verifier/smt_exp.ts	2	9	4
impl/src/tooling/icpp/interpreter/op_eval.cpp	impl/src/compiler/mir_ops.ts	2	9	14
impl/src/tooling/icpp/interpreter/op_eval.cpp	impl/src/type_checker/type_environment.ts	2	9	6
impl/src/tooling/icpp/interpreter/runtime/bsqvalue.cpp	impl/src/ast/bsqregex.ts	2	9	4
impl/src/tooling/icpp/interpreter/runtime/bsqvalue.cpp	impl/src/type_checker/type_environment.ts	2	9	6
impl/src/tooling/icpp/interpreter/runtime/bsqvalue.cpp	impl/build/include/headers/z3/z3++.h	2	9	4
impl/src/tooling/icpp/interpreter/runtime/bsqvalue.cpp	impl/build/include/headers/z3/z3_api.h	2	9	3
impl/src/tooling/icpp/interpreter/runtime/bsqvalue.cpp	impl/src/tooling/verifier/smtcollection_emitter.ts	2	9	10
impl/src/tooling/icpp/interpreter/runtime/bsqvalue.cpp	impl/src/ast/assembly.ts	2	9	13
impl/src/tooling/icpp/interpreter/runtime/bsqvalue.cpp	impl/src/ast/parser_env.ts	2	9	7
impl/src/tooling/icpp/interpreter/runtime/bsqvalue.cpp	impl/src/compiler/bcgen.ts	2	9	6
impl/src/tooling/icpp/interpreter/runtime/bsqvalue.cpp	impl/src/compiler/mir_assembly.ts	2	9	5
impl/src/tooling/icpp/interpreter/runtime/bsqvalue.h	impl/src/ast/bsqregex.ts	2	7	4
impl/src/tooling/icpp/interpreter/runtime/bsqvalue.h	impl/src/tooling/verifier/smt_workflows.ts	2	7	11
impl/src/tooling/icpp/interpreter/runtime/bsqvalue.h	impl/build/include/headers/z3/z3++.h	2	7	4
impl/src/tooling/icpp/interpreter/runtime/bsqvalue.h	impl/build/include/headers/z3/z3_api.h	2	7	3
impl/src/tooling/icpp/interpreter/runtime/bsqvalue.h	impl/src/tooling/verifier/smtcollection_emitter.ts	2	7	10
impl/src/tooling/icpp/interpreter/runtime/bsqvalue.h	impl/src/tooling/verifier/smt_assembly.ts	2	7	7
impl/src/tooling/icpp/interpreter/runtime/bsqvalue.h	impl/src/ast/assembly.ts	2	7	13
impl/src/tooling/icpp/interpreter/runtime/bsqvalue.h	impl/src/tooling/verifier/runtime/smtruntime.smt2	2	7	8
impl/src/tooling/icpp/interpreter/runtime/bsqvalue.h	impl/src/ast/parser_env.ts	2	7	7
impl/src/tooling/icpp/interpreter/runtime/bsqvalue.h	impl/src/compiler/bcgen.ts	2	7	6
impl/src/tooling/icpp/interpreter/runtime/bsqvalue.h	impl/src/compiler/mir_assembly.ts	2	7	5
impl/src/tooling/icpp/interpreter/runtime/environment.cpp	impl/src/ast/bsqregex.ts	2	4	4
impl/src/tooling/icpp/interpreter/runtime/environment.cpp	impl/src/tooling/verifier/evaluator/decls.h	2	4	6
impl/src/tooling/icpp/interpreter/runtime/environment.cpp	impl/src/tooling/verifier/smtcollection_emitter.ts	2	4	10
impl/src/tooling/icpp/interpreter/runtime/environment.cpp	impl/src/tooling/verifier/smt_assembly.ts	2	4	7
impl/src/tooling/icpp/interpreter/runtime/environment.cpp	impl/src/ast/assembly.ts	2	4	13
impl/src/tooling/icpp/interpreter/runtime/environment.cpp	impl/src/tooling/verifier/runtime/smtruntime.smt2	2	4	8
impl/src/tooling/icpp/interpreter/runtime/environment.cpp	impl/src/tooling/verifier/smt_workflows.ts	2	4	11
impl/src/tooling/icpp/interpreter/runtime/environment.cpp	impl/src/tooling/verifier/smt_exp.ts	2	4	4
impl/src/tooling/icpp/interpreter/runtime/environment.cpp	impl/src/tooling/verifier/evaluator/workflows.cpp	2	4	6
impl/src/tooling/icpp/interpreter/runtime/environment.cpp	impl/src/tooling/icpp/transpiler/icppdecls_emitter.ts	2	4	5
impl/src/tooling/icpp/transpiler/icpp_assembly.ts	impl/src/ast/bsqregex.ts	2	5	4
impl/src/tooling/icpp/transpiler/icpp_assembly.ts	impl/src/tooling/verifier/smt_workflows.ts	2	5	11
impl/src/tooling/icpp/transpiler/icpp_assembly.ts	impl/build/include/headers/z3/z3++.h	2	5	4
impl/src/tooling/icpp/transpiler/icpp_assembly.ts	impl/build/include/headers/z3/z3_api.h	2	5	3
impl/src/tooling/icpp/transpiler/icpp_assembly.ts	impl/src/tooling/verifier/evaluator/workflows.cpp	2	5	6
impl/src/tooling/icpp/transpiler/icpp_assembly.ts	impl/src/tooling/verifier/smtcollection_emitter.ts	2	5	10
impl/src/tooling/icpp/transpiler/icpp_assembly.ts	impl/src/tooling/verifier/smt_assembly.ts	2	5	7
impl/src/tooling/icpp/transpiler/icpp_assembly.ts	impl/src/ast/assembly.ts	2	5	13
impl/src/tooling/icpp/transpiler/icpp_assembly.ts	impl/src/tooling/verifier/runtime/smtruntime.smt2	2	5	8
impl/src/tooling/icpp/transpiler/icpp_assembly.ts	impl/src/ast/parser_env.ts	2	5	7
impl/src/tooling/icpp/transpiler/icpp_assembly.ts	impl/src/compiler/bcgen.ts	2	5	6
impl/src/tooling/icpp/transpiler/icpp_assembly.ts	impl/src/compiler/mir_assembly.ts	2	5	5
impl/src/tooling/icpp/transpiler/icpptype_emitter.ts	impl/src/ast/bsqregex.ts	2	4	4
impl/src/tooling/icpp/transpiler/icpptype_emitter.ts	impl/src/tooling/verifier/smt_workflows.ts	2	4	11
impl/src/tooling/icpp/transpiler/icpptype_emitter.ts	impl/build/include/headers/z3/z3++.h	2	4	4
impl/src/tooling/icpp/transpiler/icpptype_emitter.ts	impl/build/include/headers/z3/z3_api.h	2	4	3
impl/src/tooling/icpp/transpiler/icpptype_emitter.ts	impl/src/tooling/verifier/evaluator/workflows.cpp	2	4	6
impl/src/tooling/icpp/transpiler/icpptype_emitter.ts	impl/src/tooling/verifier/smtcollection_emitter.ts	2	4	10
impl/src/tooling/icpp/transpiler/icpptype_emitter.ts	impl/src/tooling/verifier/smt_assembly.ts	2	4	7
impl/src/tooling/icpp/transpiler/icpptype_emitter.ts	impl/src/ast/assembly.ts	2	4	13
impl/src/tooling/icpp/transpiler/icpptype_emitter.ts	impl/src/tooling/verifier/runtime/smtruntime.smt2	2	4	8
impl/src/tooling/icpp/transpiler/icpptype_emitter.ts	impl/src/ast/parser_env.ts	2	4	7
impl/src/tooling/icpp/transpiler/icpptype_emitter.ts	impl/src/compiler/bcgen.ts	2	4	6
impl/src/tooling/icpp/transpiler/icpptype_emitter.ts	impl/src/compiler/mir_assembly.ts	2	4	5
impl/src/tooling/icpp/interpreter/runner.cpp	impl/src/tooling/verifier/smt_exp.ts	2	9	4
impl/src/tooling/icpp/interpreter/runner.cpp	impl/src/type_checker/type_environment.ts	2	9	6
impl/src/tooling/icpp/interpreter/runner.cpp	impl/build/include/headers/z3/z3++.h	2	9	4
impl/src/tooling/icpp/interpreter/runner.cpp	impl/build/include/headers/z3/z3_api.h	2	9	3
impl/src/tooling/icpp/interpreter/runner.cpp	impl/src/ast/parser_env.ts	2	9	7
impl/src/tooling/icpp/interpreter/runner.cpp	impl/src/compiler/bcgen.ts	2	9	6
impl/src/tooling/icpp/interpreter/runner.cpp	impl/src/compiler/mir_assembly.ts	2	9	5
impl/src/tooling/icpp/interpreter/assembly/bsqop.cpp	impl/src/compiler/mir_ops.ts	2	7	14
impl/src/tooling/icpp/interpreter/assembly/bsqop.cpp	impl/build/include/headers/z3/z3++.h	2	7	4
impl/src/tooling/icpp/interpreter/assembly/bsqop.cpp	impl/build/include/headers/z3/z3_api.h	2	7	3
impl/src/tooling/icpp/interpreter/assembly/bsqop.cpp	impl/src/tooling/icpp/interpreter/runtime/environment.cpp	2	7	4
impl/src/tooling/icpp/interpreter/assembly/bsqop.cpp	impl/src/tooling/verifier/smtcollection_emitter.ts	2	7	10
impl/src/tooling/icpp/interpreter/assembly/bsqop.cpp	impl/src/tooling/verifier/smtdecls_emitter.ts	2	7	12
impl/src/tooling/icpp/interpreter/assembly/bsqop.cpp	impl/src/tooling/verifier/smt_assembly.ts	2	7	7
impl/src/tooling/icpp/interpreter/assembly/bsqop.cpp	impl/src/ast/assembly.ts	2	7	13
impl/src/tooling/icpp/interpreter/assembly/bsqop.cpp	impl/src/tooling/verifier/runtime/smtruntime.smt2	2	7	8
impl/src/tooling/icpp/interpreter/assembly/bsqop.cpp	impl/src/ast/parser_env.ts	2	7	7
impl/src/tooling/icpp/interpreter/assembly/bsqop.cpp	impl/src/compiler/bcgen.ts	2	7	6
impl/src/tooling/icpp/interpreter/assembly/bsqop.cpp	impl/src/compiler/mir_assembly.ts	2	7	5
impl/src/tooling/icpp/interpreter/assembly/bsqop.h	impl/src/tooling/verifier/smt_workflows.ts	2	5	11
impl/src/tooling/icpp/interpreter/assembly/bsqop.h	impl/src/compiler/mir_ops.ts	2	5	14
impl/src/tooling/icpp/interpreter/assembly/bsqop.h	impl/src/tooling/verifier/evaluator/decls.h	2	5	6
impl/src/tooling/icpp/interpreter/assembly/bsqop.h	impl/src/tooling/verifier/evaluator/workflows.cpp	2	5	6
impl/src/tooling/icpp/interpreter/assembly/bsqop.h	impl/src/tooling/icpp/interpreter/common.h	2	5	5
impl/src/tooling/icpp/interpreter/assembly/bsqop.h	impl/src/tooling/verifier/smtcollection_emitter.ts	2	5	10
impl/src/tooling/icpp/interpreter/assembly/bsqop.h	impl/src/tooling/verifier/smtdecls_emitter.ts	2	5	12
impl/src/tooling/icpp/interpreter/assembly/bsqop.h	impl/src/tooling/verifier/smt_assembly.ts	2	5	7
impl/src/tooling/icpp/interpreter/assembly/bsqop.h	impl/src/ast/assembly.ts	2	5	13
impl/src/tooling/icpp/interpreter/assembly/bsqop.h	impl/src/tooling/verifier/runtime/smtruntime.smt2	2	5	8
impl/src/tooling/icpp/interpreter/assembly/bsqop.h	impl/src/ast/parser_env.ts	2	5	7
impl/src/tooling/icpp/interpreter/assembly/bsqop.h	impl/src/compiler/bcgen.ts	2	5	6
impl/src/tooling/icpp/interpreter/assembly/bsqop.h	impl/src/compiler/mir_assembly.ts	2	5	5
impl/src/tooling/icpp/interpreter/assembly/bsqop.h	impl/src/tooling/icpp/transpiler/icpptype_emitter.ts	2	5	4
impl/src/tooling/icpp/interpreter/op_eval.h	impl/src/compiler/mir_ops.ts	2	6	14
impl/src/tooling/icpp/interpreter/op_eval.h	impl/build/include/headers/z3/z3++.h	2	6	4
impl/src/tooling/icpp/interpreter/op_eval.h	impl/build/include/headers/z3/z3_api.h	2	6	3
impl/src/tooling/icpp/interpreter/op_eval.h	impl/src/tooling/verifier/evaluator/decls.h	2	6	6
impl/src/tooling/icpp/interpreter/op_eval.h	impl/src/tooling/verifier/evaluator/workflows.cpp	2	6	6
impl/src/tooling/icpp/interpreter/op_eval.h	impl/src/tooling/icpp/interpreter/common.h	2	6	5
impl/src/tooling/icpp/interpreter/op_eval.h	impl/src/tooling/icpp/interpreter/runtime/environment.cpp	2	6	4
impl/src/tooling/icpp/interpreter/op_eval.h	impl/src/tooling/verifier/smtcollection_emitter.ts	2	6	10
impl/src/tooling/icpp/interpreter/op_eval.h	impl/src/tooling/verifier/smtdecls_emitter.ts	2	6	12
impl/src/tooling/icpp/interpreter/op_eval.h	impl/src/tooling/verifier/smt_assembly.ts	2	6	7
impl/src/tooling/icpp/interpreter/op_eval.h	impl/src/ast/assembly.ts	2	6	13
impl/src/tooling/icpp/interpreter/op_eval.h	impl/src/tooling/verifier/runtime/smtruntime.smt2	2	6	8
impl/src/tooling/icpp/interpreter/op_eval.h	impl/src/ast/parser_env.ts	2	6	7
impl/src/tooling/icpp/interpreter/op_eval.h	impl/src/compiler/bcgen.ts	2	6	6
impl/src/tooling/icpp/interpreter/op_eval.h	impl/src/compiler/mir_assembly.ts	2	6	5
impl/src/tooling/icpp/transpiler/icpp_exp.ts	impl/src/tooling/verifier/smttype_emitter.ts	2	2	11
impl/src/tooling/icpp/transpiler/icpp_exp.ts	impl/src/runtimes/bsqcheck.ts	2	2	14
impl/src/tooling/icpp/transpiler/icpp_exp.ts	impl/src/compiler/mir_ops.ts	2	2	14
impl/src/tooling/icpp/transpiler/icpp_exp.ts	impl/src/tooling/icpp/interpreter/op_eval.cpp	2	2	9
impl/src/tooling/icpp/transpiler/icpp_exp.ts	impl/src/tooling/icpp/interpreter/assembly/bsqop.cpp	2	2	7
impl/src/tooling/icpp/transpiler/icpp_exp.ts	impl/src/tooling/icpp/interpreter/assembly/bsqop.h	2	2	5
impl/src/tooling/icpp/transpiler/icpp_exp.ts	impl/src/tooling/icpp/interpreter/op_eval.h	2	2	6
impl/build/interpreter_build.js	impl/src/tooling/verifier/evaluator/decls.cpp	2	4	9
impl/build/interpreter_build.js	impl/src/tooling/verifier/evaluator/decls.h	2	4	6
impl/build/interpreter_build.js	impl/src/tooling/verifier/evaluator/workflows.cpp	2	4	6
impl/build/interpreter_build.js	impl/src/tooling/icpp/interpreter/common.h	2	4	5
impl/build/interpreter_build.js	impl/src/tooling/verifier/smtcollection_emitter.ts	2	4	10
impl/build/interpreter_build.js	impl/src/tooling/verifier/smtdecls_emitter.ts	2	4	12
impl/build/interpreter_build.js	impl/src/tooling/verifier/smt_assembly.ts	2	4	7
impl/build/interpreter_build.js	impl/src/tooling/verifier/smttype_emitter.ts	2	4	11
impl/build/interpreter_build.js	impl/src/ast/assembly.ts	2	4	13
impl/build/interpreter_build.js	impl/src/tooling/verifier/runtime/smtruntime.smt2	2	4	8
impl/build/interpreter_build.js	impl/src/ast/parser_env.ts	2	4	7
impl/build/interpreter_build.js	impl/src/compiler/bcgen.ts	2	4	6
impl/build/interpreter_build.js	impl/src/compiler/mir_assembly.ts	2	4	5
impl/build/interpreter_build.js	impl/src/tooling/icpp/transpiler/icpptype_emitter.ts	2	4	4
impl/src/tooling/icpp/interpreter/assembly/bsqassembly.cpp	impl/src/tooling/verifier/smt_workflows.ts	2	6	11
impl/src/tooling/icpp/interpreter/assembly/bsqassembly.cpp	impl/build/include/headers/z3/z3++.h	2	6	4
impl/src/tooling/icpp/interpreter/assembly/bsqassembly.cpp	impl/build/include/headers/z3/z3_api.h	2	6	3
impl/src/tooling/icpp/interpreter/assembly/bsqassembly.cpp	impl/src/tooling/icpp/interpreter/runtime/environment.cpp	2	6	4
impl/src/tooling/icpp/interpreter/assembly/bsqassembly.cpp	impl/src/tooling/verifier/smtcollection_emitter.ts	2	6	10
impl/src/tooling/icpp/interpreter/assembly/bsqassembly.cpp	impl/src/tooling/verifier/smtdecls_emitter.ts	2	6	12
impl/src/tooling/icpp/interpreter/assembly/bsqassembly.cpp	impl/src/tooling/verifier/smt_assembly.ts	2	6	7
impl/src/tooling/icpp/interpreter/assembly/bsqassembly.cpp	impl/src/tooling/verifier/smttype_emitter.ts	2	6	11
impl/src/tooling/icpp/interpreter/assembly/bsqassembly.cpp	impl/src/ast/assembly.ts	2	6	13
impl/src/tooling/icpp/interpreter/assembly/bsqassembly.cpp	impl/src/tooling/verifier/runtime/smtruntime.smt2	2	6	8
impl/src/tooling/icpp/interpreter/assembly/bsqassembly.cpp	impl/src/ast/parser_env.ts	2	6	7
impl/src/tooling/icpp/interpreter/assembly/bsqassembly.cpp	impl/src/compiler/bcgen.ts	2	6	6
impl/src/tooling/icpp/interpreter/assembly/bsqassembly.cpp	impl/src/compiler/mir_assembly.ts	2	6	5
impl/src/tooling/icpp/interpreter/assembly/bsqassembly.h	impl/src/tooling/verifier/evaluator/decls.cpp	2	3	9
impl/src/tooling/icpp/interpreter/assembly/bsqassembly.h	impl/src/tooling/verifier/evaluator/decls.h	2	3	6
impl/src/tooling/icpp/interpreter/assembly/bsqassembly.h	impl/src/tooling/verifier/evaluator/workflows.cpp	2	3	6
impl/src/tooling/icpp/interpreter/assembly/bsqassembly.h	impl/src/tooling/icpp/interpreter/assembly/bsqop.h	2	3	5
impl/src/tooling/icpp/interpreter/assembly/bsqassembly.h	impl/build/interpreter_build.js	2	3	4
impl/src/tooling/icpp/interpreter/assembly/bsqassembly.h	impl/src/tooling/icpp/transpiler/icppdecls_emitter.ts	2	3	5
impl/src/tooling/icpp/interpreter/assembly/bsqassembly.h	impl/src/tooling/icpp/interpreter/runtime/environment.cpp	2	3	4
impl/src/tooling/icpp/interpreter/assembly/bsqassembly.h	impl/src/tooling/icpp/transpiler/icpp_assembly.ts	2	3	5
impl/src/tooling/icpp/interpreter/assembly/bsqassembly.h	impl/src/tooling/icpp/transpiler/icpptype_emitter.ts	2	3	4
impl/src/tooling/icpp/interpreter/assembly/bsqassembly.h	impl/src/tooling/icpp/interpreter/op_eval.h	2	3	6
impl/src/tooling/icpp/interpreter/assembly/bsqtype.cpp	impl/src/runtimes/bsqcheck.ts	2	2	14
impl/src/tooling/icpp/interpreter/assembly/bsqtype.cpp	impl/src/tooling/icpp/interpreter/common.h	2	2	5
impl/src/tooling/icpp/interpreter/assembly/bsqtype.cpp	impl/src/tooling/icpp/interpreter/op_eval.cpp	2	2	9
impl/src/tooling/icpp/interpreter/assembly/bsqtype.cpp	impl/src/tooling/icpp/interpreter/runtime/bsqvalue.cpp	2	2	9
impl/src/tooling/icpp/interpreter/assembly/bsqtype.cpp	impl/src/tooling/icpp/interpreter/runtime/bsqvalue.h	2	2	7
impl/src/tooling/icpp/interpreter/assembly/bsqtype.cpp	impl/src/tooling/icpp/interpreter/runner.cpp	2	2	9
impl/src/tooling/icpp/interpreter/assembly/bsqtype.cpp	impl/src/tooling/icpp/interpreter/assembly/bsqop.cpp	2	2	7
impl/src/tooling/icpp/interpreter/assembly/bsqtype.cpp	impl/src/tooling/icpp/interpreter/assembly/bsqop.h	2	2	5
impl/src/tooling/icpp/interpreter/assembly/bsqtype.cpp	impl/build/interpreter_build.js	2	2	4
impl/src/tooling/icpp/interpreter/assembly/bsqtype.cpp	impl/src/tooling/icpp/interpreter/assembly/bsqassembly.cpp	2	2	6
impl/src/tooling/icpp/interpreter/assembly/bsqtype.cpp	impl/src/tooling/icpp/interpreter/assembly/bsqassembly.h	2	2	3
impl/src/tooling/icpp/interpreter/assembly/bsqtype.h	impl/src/runtimes/bsqcheck.ts	2	3	14
impl/src/tooling/icpp/interpreter/assembly/bsqtype.h	impl/src/tooling/icpp/interpreter/common.h	2	3	5
impl/src/tooling/icpp/interpreter/assembly/bsqtype.h	impl/src/tooling/icpp/interpreter/assembly/bsqassembly.h	2	3	3
impl/src/tooling/icpp/interpreter/assembly/bsqtype.h	impl/src/tooling/icpp/interpreter/assembly/bsqtype.cpp	2	3	2
impl/src/tooling/icpp/interpreter/assembly/bsqtype.h	impl/src/tooling/icpp/transpiler/icppdecls_emitter.ts	2	3	5
impl/src/tooling/icpp/interpreter/assembly/bsqtype.h	impl/src/tooling/icpp/transpiler/icpp_assembly.ts	2	3	5
impl/src/tooling/icpp/interpreter/assembly/bsqtype.h	impl/src/tooling/icpp/interpreter/op_eval.h	2	3	6
impl/src/tooling/icpp/interpreter/runner.h	impl/src/runtimes/bsqcheck.ts	2	3	14
impl/src/tooling/icpp/interpreter/runner.h	impl/src/tooling/icpp/interpreter/common.h	2	3	5
impl/src/tooling/icpp/interpreter/runner.h	impl/src/tooling/icpp/interpreter/runtime/bsqvalue.h	2	3	7
impl/src/tooling/icpp/interpreter/runner.h	impl/src/tooling/icpp/interpreter/assembly/bsqop.h	2	3	5
impl/src/tooling/icpp/interpreter/runner.h	impl/build/interpreter_build.js	2	3	4
impl/src/tooling/icpp/interpreter/runner.h	impl/src/tooling/icpp/interpreter/assembly/bsqassembly.h	2	3	3
impl/src/tooling/icpp/interpreter/runner.h	impl/src/tooling/icpp/interpreter/assembly/bsqtype.cpp	2	3	2
impl/src/tooling/icpp/interpreter/runner.h	impl/src/tooling/icpp/interpreter/assembly/bsqtype.h	2	3	3
impl/src/tooling/icpp/interpreter/runner.h	impl/src/tooling/icpp/interpreter/op_eval.h	2	3	6
impl/src/tooling/icpp/interpreter/runtime/bsqcollections.cpp	impl/src/tooling/verifier/evaluator/decls.cpp	2	3	9
impl/src/tooling/icpp/interpreter/runtime/bsqcollections.cpp	impl/src/tooling/verifier/evaluator/decls.h	2	3	6
impl/src/tooling/icpp/interpreter/runtime/bsqcollections.cpp	impl/src/tooling/verifier/evaluator/workflows.cpp	2	3	6
impl/src/tooling/icpp/interpreter/runtime/bsqcollections.cpp	impl/src/tooling/icpp/interpreter/assembly/bsqop.h	2	3	5
impl/src/tooling/icpp/interpreter/runtime/bsqcollections.cpp	impl/build/interpreter_build.js	2	3	4
impl/src/tooling/icpp/interpreter/runtime/bsqcollections.cpp	impl/src/tooling/icpp/interpreter/assembly/bsqtype.cpp	2	3	2
impl/src/tooling/icpp/interpreter/runtime/bsqcollections.cpp	impl/src/tooling/icpp/interpreter/assembly/bsqtype.h	2	3	3
impl/src/tooling/icpp/interpreter/runtime/bsqcollections.cpp	impl/src/tooling/icpp/interpreter/runner.h	2	3	3
impl/src/tooling/icpp/interpreter/runtime/bsqcollections.cpp	impl/src/tooling/icpp/transpiler/icppdecls_emitter.ts	2	3	5
impl/src/tooling/icpp/interpreter/runtime/bsqcollections.cpp	impl/src/tooling/icpp/interpreter/runtime/environment.cpp	2	3	4
impl/src/tooling/icpp/interpreter/runtime/bsqcollections.cpp	impl/src/tooling/icpp/transpiler/icpp_assembly.ts	2	3	5
impl/src/tooling/icpp/interpreter/runtime/bsqcollections.cpp	impl/src/tooling/icpp/transpiler/icpptype_emitter.ts	2	3	4
impl/src/tooling/icpp/interpreter/runtime/bsqcollections.cpp	impl/src/tooling/icpp/interpreter/op_eval.h	2	3	6
impl/src/tooling/icpp/interpreter/runtime/bsqcollections.h	impl/src/tooling/verifier/evaluator/decls.cpp	2	3	9
impl/src/tooling/icpp/interpreter/runtime/bsqcollections.h	impl/src/tooling/verifier/evaluator/decls.h	2	3	6
impl/src/tooling/icpp/interpreter/runtime/bsqcollections.h	impl/src/tooling/verifier/evaluator/workflows.cpp	2	3	6
impl/src/tooling/icpp/interpreter/runtime/bsqcollections.h	impl/src/tooling/icpp/interpreter/assembly/bsqop.h	2	3	5
impl/src/tooling/icpp/interpreter/runtime/bsqcollections.h	impl/build/interpreter_build.js	2	3	4
impl/src/tooling/icpp/interpreter/runtime/bsqcollections.h	impl/src/tooling/icpp/interpreter/assembly/bsqtype.cpp	2	3	2
impl/src/tooling/icpp/interpreter/runtime/bsqcollections.h	impl/src/tooling/icpp/interpreter/assembly/bsqtype.h	2	3	3
impl/src/tooling/icpp/interpreter/runtime/bsqcollections.h	impl/src/tooling/icpp/interpreter/runner.h	2	3	3
impl/src/tooling/icpp/interpreter/runtime/bsqcollections.h	impl/src/tooling/icpp/transpiler/icppdecls_emitter.ts	2	3	5
impl/src/tooling/icpp/interpreter/runtime/bsqcollections.h	impl/src/tooling/icpp/interpreter/runtime/environment.cpp	2	3	4
impl/src/tooling/icpp/interpreter/runtime/bsqcollections.h	impl/src/tooling/icpp/transpiler/icpp_assembly.ts	2	3	5
impl/src/tooling/icpp/interpreter/runtime/bsqcollections.h	impl/src/tooling/icpp/transpiler/icpptype_emitter.ts	2	3	4
impl/src/tooling/icpp/interpreter/runtime/bsqcollections.h	impl/src/tooling/icpp/interpreter/op_eval.h	2	3	6
impl/build/include/headers/z3/z3_fpa.h	impl/src/tooling/verifier/smt_workflows.ts	2	2	11
impl/build/include/headers/z3/z3_fpa.h	impl/build/include/headers/z3/z3++.h	2	2	4
impl/build/include/headers/z3/z3_fpa.h	impl/src/runtimes/bsqcheck.ts	2	2	14
impl/build/include/headers/z3/z3_fpa.h	impl/build/include/headers/z3/z3_api.h	2	2	3
impl/build/include/headers/z3/z3_fpa.h	impl/src/tooling/icpp/transpiler/icppdecls_emitter.ts	2	2	5
impl/build/include/headers/z3/z3_fpa.h	impl/src/tooling/verifier/evaluator/decls.cpp	2	2	9
impl/build/include/headers/z3/z3_fpa.h	impl/src/tooling/verifier/evaluator/decls.h	2	2	6
impl/build/include/headers/z3/z3_fpa.h	impl/src/tooling/verifier/evaluator/workflows.cpp	2	2	6
impl/build/include/headers/z3/z3_fpa.h	impl/src/tooling/icpp/interpreter/runtime/bsqvalue.cpp	2	2	9
impl/build/include/headers/z3/z3_fpa.h	impl/src/tooling/icpp/interpreter/runtime/bsqvalue.h	2	2	7
impl/build/include/headers/z3/z3_fpa.h	impl/src/tooling/icpp/transpiler/icpp_assembly.ts	2	2	5
impl/build/include/headers/z3/z3_fpa.h	impl/src/tooling/icpp/transpiler/icpptype_emitter.ts	2	2	4
impl/build/include/headers/z3/z3_fpa.h	impl/src/tooling/icpp/interpreter/runner.cpp	2	2	9
impl/build/include/headers/z3/z3_fpa.h	impl/src/tooling/icpp/interpreter/assembly/bsqop.cpp	2	2	7
impl/build/include/headers/z3/z3_fpa.h	impl/src/tooling/icpp/interpreter/op_eval.h	2	2	6
impl/build/include/headers/z3/z3_fpa.h	impl/src/tooling/icpp/interpreter/assembly/bsqassembly.cpp	2	2	6
impl/build/include/headers/z3/z3_optimization.h	impl/src/tooling/verifier/smt_workflows.ts	2	2	11
impl/build/include/headers/z3/z3_optimization.h	impl/build/include/headers/z3/z3++.h	2	2	4
impl/build/include/headers/z3/z3_optimization.h	impl/src/runtimes/bsqcheck.ts	2	2	14
impl/build/include/headers/z3/z3_optimization.h	impl/build/include/headers/z3/z3_api.h	2	2	3
impl/build/include/headers/z3/z3_optimization.h	impl/src/tooling/icpp/transpiler/icppdecls_emitter.ts	2	2	5
impl/build/include/headers/z3/z3_optimization.h	impl/src/tooling/verifier/evaluator/decls.cpp	2	2	9
impl/build/include/headers/z3/z3_optimization.h	impl/src/tooling/verifier/evaluator/decls.h	2	2	6
impl/build/include/headers/z3/z3_optimization.h	impl/src/tooling/verifier/evaluator/workflows.cpp	2	2	6
impl/build/include/headers/z3/z3_optimization.h	impl/src/tooling/icpp/interpreter/runtime/bsqvalue.cpp	2	2	9
impl/build/include/headers/z3/z3_optimization.h	impl/src/tooling/icpp/interpreter/runtime/bsqvalue.h	2	2	7
impl/build/include/headers/z3/z3_optimization.h	impl/src/tooling/icpp/transpiler/icpp_assembly.ts	2	2	5
impl/build/include/headers/z3/z3_optimization.h	impl/src/tooling/icpp/transpiler/icpptype_emitter.ts	2	2	4
impl/build/include/headers/z3/z3_optimization.h	impl/src/tooling/icpp/interpreter/runner.cpp	2	2	9
impl/build/include/headers/z3/z3_optimization.h	impl/src/tooling/icpp/interpreter/assembly/bsqop.cpp	2	2	7
impl/build/include/headers/z3/z3_optimization.h	impl/src/tooling/icpp/interpreter/op_eval.h	2	2	6
impl/build/include/headers/z3/z3_optimization.h	impl/src/tooling/icpp/interpreter/assembly/bsqassembly.cpp	2	2	6
impl/build/include/headers/z3/z3_optimization.h	impl/build/include/headers/z3/z3_fpa.h	2	2	2
impl/src/tooling/icpp/interpreter/runtime/environment.h	impl/src/runtimes/bsqcheck.ts	2	2	14
impl/src/tooling/icpp/interpreter/runtime/environment.h	impl/src/tooling/icpp/transpiler/icppdecls_emitter.ts	2	2	5
impl/src/tooling/icpp/interpreter/runtime/environment.h	impl/src/tooling/icpp/interpreter/common.h	2	2	5
impl/src/tooling/icpp/interpreter/runtime/environment.h	impl/src/tooling/icpp/interpreter/op_eval.cpp	2	2	9
impl/src/tooling/icpp/interpreter/runtime/environment.h	impl/src/tooling/icpp/interpreter/runtime/bsqvalue.cpp	2	2	9
impl/src/tooling/icpp/interpreter/runtime/environment.h	impl/src/tooling/icpp/interpreter/runtime/bsqvalue.h	2	2	7
impl/src/tooling/icpp/interpreter/runtime/environment.h	impl/src/tooling/icpp/interpreter/runtime/environment.cpp	2	2	4
impl/src/tooling/icpp/interpreter/runtime/environment.h	impl/src/tooling/icpp/transpiler/icpp_assembly.ts	2	2	5
impl/src/tooling/icpp/interpreter/runtime/environment.h	impl/src/tooling/icpp/transpiler/icpptype_emitter.ts	2	2	4
impl/src/tooling/icpp/interpreter/runtime/environment.h	impl/src/tooling/icpp/interpreter/runner.cpp	2	2	9
impl/src/tooling/icpp/interpreter/runtime/environment.h	impl/src/tooling/icpp/interpreter/assembly/bsqop.cpp	2	2	7
impl/src/tooling/icpp/interpreter/runtime/environment.h	impl/src/tooling/icpp/interpreter/op_eval.h	2	2	6
impl/src/tooling/icpp/interpreter/runtime/environment.h	impl/src/tooling/icpp/interpreter/assembly/bsqassembly.cpp	2	2	6
impl/src/tooling/icpp/interpreter/runtime/environment.h	impl/src/tooling/icpp/interpreter/assembly/bsqassembly.h	2	2	3
impl/src/tooling/icpp/interpreter/runtime/environment.h	impl/src/tooling/icpp/interpreter/runtime/bsqcollections.cpp	2	2	3
impl/src/tooling/icpp/interpreter/runtime/environment.h	impl/src/tooling/icpp/interpreter/runtime/bsqcollections.h	2	2	3
impl/src/runtimes/bsqir.ts	impl/src/tooling/verifier/smtcollection_emitter.ts	2	2	10
impl/src/runtimes/bsqir.ts	impl/src/tooling/verifier/smtdecls_emitter.ts	2	2	12
impl/src/runtimes/bsqir.ts	impl/src/tooling/verifier/smt_assembly.ts	2	2	7
impl/src/runtimes/bsqir.ts	impl/src/tooling/verifier/smttype_emitter.ts	2	2	11
impl/src/runtimes/bsqir.ts	impl/src/ast/assembly.ts	2	2	13
impl/src/runtimes/bsqir.ts	impl/src/tooling/verifier/runtime/smtruntime.smt2	2	2	8
impl/src/runtimes/bsqir.ts	impl/src/runtimes/bsqcheck.ts	2	2	14
impl/src/runtimes/bsqir.ts	impl/src/ast/parser_env.ts	2	2	7
impl/src/runtimes/bsqir.ts	impl/src/compiler/bcgen.ts	2	2	6
impl/src/runtimes/bsqir.ts	impl/src/compiler/mir_assembly.ts	2	2	5
impl/src/runtimes/bsqir.ts	impl/src/tooling/icpp/transpiler/icppdecls_emitter.ts	2	2	5
impl/src/runtimes/bsqir.ts	impl/src/tooling/icpp/interpreter/runtime/bsqvalue.cpp	2	2	9
impl/src/runtimes/bsqir.ts	impl/src/tooling/icpp/interpreter/runtime/bsqvalue.h	2	2	7
impl/src/runtimes/bsqir.ts	impl/src/tooling/icpp/transpiler/icpp_assembly.ts	2	2	5
impl/src/runtimes/bsqir.ts	impl/src/tooling/icpp/transpiler/icpptype_emitter.ts	2	2	4
impl/src/runtimes/bsqir.ts	impl/src/tooling/icpp/interpreter/runner.cpp	2	2	9
impl/src/runtimes/bsqir.ts	impl/src/tooling/icpp/interpreter/assembly/bsqop.cpp	2	2	7
impl/src/runtimes/bsqir.ts	impl/src/tooling/icpp/interpreter/assembly/bsqop.h	2	2	5
impl/src/runtimes/bsqir.ts	impl/src/tooling/icpp/interpreter/op_eval.h	2	2	6
impl/src/runtimes/bsqir.ts	impl/build/interpreter_build.js	2	2	4
impl/src/runtimes/bsqir.ts	impl/src/tooling/icpp/interpreter/assembly/bsqassembly.cpp	2	2	6
impl/src/tooling/verifier/smt_workflows.ts	impl/src/ast/resolved_type.ts	1	11	5
impl/build/include/headers/z3/z3++.h	impl/src/ast/resolved_type.ts	1	4	5
impl/src/ast/body.ts	impl/src/tooling/verifier/smt_workflows.ts	1	6	11
impl/src/ast/body.ts	impl/build/include/headers/z3/z3++.h	1	6	4
impl/build/evaluator_build.js	impl/src/tooling/verifier/smtcollection_emitter.ts	1	2	10
impl/build/evaluator_build.js	impl/src/tooling/verifier/smtdecls_emitter.ts	1	2	12
impl/build/evaluator_build.js	impl/src/tooling/verifier/smt_assembly.ts	1	2	7
impl/build/evaluator_build.js	impl/src/tooling/verifier/smttype_emitter.ts	1	2	11
impl/build/evaluator_build.js	impl/src/ast/assembly.ts	1	2	13
impl/build/evaluator_build.js	impl/src/tooling/verifier/runtime/smtruntime.smt2	1	2	8
impl/build/evaluator_build.js	impl/src/tooling/verifier/smt_workflows.ts	1	2	11
impl/build/evaluator_build.js	impl/build/include/headers/z3/z3++.h	1	2	4
impl/build/evaluator_build.js	impl/src/runtimes/bsqcheck.ts	1	2	14
impl/src/ast/bsqregex.ts	impl/src/tooling/verifier/smt_workflows.ts	1	4	11
impl/src/ast/bsqregex.ts	impl/build/include/headers/z3/z3++.h	1	4	4
impl/src/ast/parser_env.ts	impl/src/tooling/verifier/smt_workflows.ts	1	7	11
impl/src/ast/parser_env.ts	impl/build/include/headers/z3/z3++.h	1	7	4
impl/src/ast/parser_env.ts	impl/build/evaluator_build.js	1	7	2
impl/src/ast/parser_env.ts	impl/src/ast/resolved_type.ts	1	7	5
impl/src/ast/parser_env.ts	impl/src/tooling/verifier/smt_exp.ts	1	7	4
impl/src/ast/parser_env.ts	impl/src/ast/body.ts	1	7	6
impl/src/ast/parser_env.ts	impl/src/ast/bsqregex.ts	1	7	4
impl/src/type_checker/type_environment.ts	impl/build/include/headers/z3/z3++.h	1	6	4
impl/src/compiler/bcgen.ts	impl/build/evaluator_build.js	1	6	2
impl/build/include/headers/z3/z3_api.h	impl/src/ast/resolved_type.ts	1	3	5
impl/build/include/headers/z3/z3_api.h	impl/src/tooling/verifier/smt_exp.ts	1	3	4
impl/build/include/headers/z3/z3_api.h	impl/src/ast/body.ts	1	3	6
impl/build/include/headers/z3/z3_api.h	impl/src/ast/bsqregex.ts	1	3	4
impl/build/include/headers/z3/z3_api.h	impl/src/type_checker/type_environment.ts	1	3	6
impl/build/include/headers/z3/z3_api.h	impl/build/evaluator_build.js	1	3	2
impl/build/include/headers/z3/z3_api.h	impl/src/ast/parser_env.ts	1	3	7
impl/src/ast/type_signature.ts	impl/src/tooling/verifier/smt_workflows.ts	1	4	11
impl/src/ast/type_signature.ts	impl/build/include/headers/z3/z3++.h	1	4	4
impl/src/ast/type_signature.ts	impl/build/include/headers/z3/z3_api.h	1	4	3
impl/src/ast/type_signature.ts	impl/src/ast/parser_env.ts	1	4	7
impl/src/compiler/functionalize.ts	impl/src/tooling/verifier/smt_workflows.ts	1	4	11
impl/src/compiler/functionalize.ts	impl/build/include/headers/z3/z3++.h	1	4	4
impl/src/compiler/functionalize.ts	impl/build/include/headers/z3/z3_api.h	1	4	3
impl/src/compiler/functionalize.ts	impl/src/ast/parser_env.ts	1	4	7
impl/src/compiler/mir_assembly.ts	impl/build/evaluator_build.js	1	5	2
impl/src/compiler/mir_callg.ts	impl/src/tooling/verifier/smt_workflows.ts	1	4	11
impl/src/compiler/mir_callg.ts	impl/build/include/headers/z3/z3++.h	1	4	4
impl/src/compiler/mir_callg.ts	impl/build/include/headers/z3/z3_api.h	1	4	3
impl/src/compiler/mir_callg.ts	impl/src/ast/parser_env.ts	1	4	7
impl/src/compiler/mir_ops.ts	impl/build/include/headers/z3/z3++.h	1	14	4
impl/src/compiler/mir_ops.ts	impl/build/include/headers/z3/z3_api.h	1	14	3
impl/src/compiler/mir_ops.ts	impl/src/ast/parser_env.ts	1	14	7
impl/src/tooling/icpp/transpiler/icppdecls_emitter.ts	impl/build/evaluator_build.js	1	5	2
impl/src/tooling/verifier/evaluator/decls.cpp	impl/src/ast/resolved_type.ts	1	9	5
impl/src/tooling/verifier/evaluator/decls.cpp	impl/src/ast/body.ts	1	9	6
impl/src/tooling/verifier/evaluator/decls.cpp	impl/src/ast/type_signature.ts	1	9	4
impl/src/tooling/verifier/evaluator/decls.cpp	impl/src/compiler/functionalize.ts	1	9	4
impl/src/tooling/verifier/evaluator/decls.cpp	impl/src/compiler/mir_callg.ts	1	9	4
impl/src/tooling/verifier/evaluator/decls.cpp	impl/build/evaluator_build.js	1	9	2
impl/src/tooling/verifier/evaluator/decls.cpp	impl/src/ast/parser_env.ts	1	9	7
impl/src/tooling/verifier/evaluator/decls.h	impl/src/ast/resolved_type.ts	1	6	5
impl/src/tooling/verifier/evaluator/decls.h	impl/src/tooling/verifier/smt_exp.ts	1	6	4
impl/src/tooling/verifier/evaluator/decls.h	impl/src/ast/body.ts	1	6	6
impl/src/tooling/verifier/evaluator/decls.h	impl/src/ast/type_signature.ts	1	6	4
impl/src/tooling/verifier/evaluator/decls.h	impl/src/compiler/functionalize.ts	1	6	4
impl/src/tooling/verifier/evaluator/decls.h	impl/src/compiler/mir_callg.ts	1	6	4
impl/src/tooling/verifier/evaluator/decls.h	impl/src/compiler/mir_ops.ts	1	6	14
impl/src/tooling/verifier/evaluator/decls.h	impl/build/evaluator_build.js	1	6	2
impl/src/tooling/verifier/evaluator/decls.h	impl/src/ast/parser_env.ts	1	6	7
impl/src/tooling/verifier/evaluator/workflows.cpp	impl/src/ast/resolved_type.ts	1	6	5
impl/src/tooling/verifier/evaluator/workflows.cpp	impl/src/ast/body.ts	1	6	6
impl/src/tooling/verifier/evaluator/workflows.cpp	impl/src/ast/bsqregex.ts	1	6	4
impl/src/tooling/verifier/evaluator/workflows.cpp	impl/src/ast/type_signature.ts	1	6	4
impl/src/tooling/verifier/evaluator/workflows.cpp	impl/src/compiler/functionalize.ts	1	6	4
impl/src/tooling/verifier/evaluator/workflows.cpp	impl/src/compiler/mir_callg.ts	1	6	4
impl/src/tooling/verifier/evaluator/workflows.cpp	impl/src/compiler/mir_ops.ts	1	6	14
impl/src/tooling/verifier/evaluator/workflows.cpp	impl/build/evaluator_build.js	1	6	2
impl/src/tooling/verifier/evaluator/workflows.cpp	impl/src/ast/parser_env.ts	1	6	7
impl/src/tooling/icpp/interpreter/common.h	impl/build/include/headers/z3/z3++.h	1	5	4
impl/src/tooling/icpp/interpreter/common.h	impl/build/include/headers/z3/z3_api.h	1	5	3
impl/src/tooling/icpp/interpreter/common.h	impl/src/ast/resolved_type.ts	1	5	5
impl/src/tooling/icpp/interpreter/common.h	impl/src/ast/body.ts	1	5	6
impl/src/tooling/icpp/interpreter/common.h	impl/src/ast/parser_env.ts	1	5	7
impl/src/tooling/icpp/interpreter/common.h	impl/src/type_checker/type_environment.ts	1	5	6
impl/src/tooling/icpp/interpreter/common.h	impl/src/compiler/bcgen.ts	1	5	6
impl/src/tooling/icpp/interpreter/common.h	impl/src/ast/type_signature.ts	1	5	4
impl/src/tooling/icpp/interpreter/common.h	impl/src/compiler/functionalize.ts	1	5	4
impl/src/tooling/icpp/interpreter/common.h	impl/src/compiler/mir_assembly.ts	1	5	5
impl/src/tooling/icpp/interpreter/common.h	impl/src/compiler/mir_callg.ts	1	5	4
impl/src/tooling/icpp/interpreter/common.h	impl/src/compiler/mir_ops.ts	1	5	14
impl/src/tooling/icpp/interpreter/op_eval.cpp	impl/build/include/headers/z3/z3++.h	1	9	4
impl/src/tooling/icpp/interpreter/op_eval.cpp	impl/build/include/headers/z3/z3_api.h	1	9	3
impl/src/tooling/icpp/interpreter/op_eval.cpp	impl/src/ast/resolved_type.ts	1	9	5
impl/src/tooling/icpp/interpreter/op_eval.cpp	impl/src/ast/body.ts	1	9	6
impl/src/tooling/icpp/interpreter/op_eval.cpp	impl/src/ast/parser_env.ts	1	9	7
impl/src/tooling/icpp/interpreter/op_eval.cpp	impl/src/compiler/bcgen.ts	1	9	6
impl/src/tooling/icpp/interpreter/op_eval.cpp	impl/src/ast/type_signature.ts	1	9	4
impl/src/tooling/icpp/interpreter/op_eval.cpp	impl/src/compiler/functionalize.ts	1	9	4
impl/src/tooling/icpp/interpreter/op_eval.cpp	impl/src/compiler/mir_assembly.ts	1	9	5
impl/src/tooling/icpp/interpreter/op_eval.cpp	impl/src/compiler/mir_callg.ts	1	9	4
impl/src/tooling/icpp/interpreter/runtime/bsqvalue.cpp	impl/build/evaluator_build.js	1	9	2
impl/src/tooling/icpp/interpreter/runtime/bsqvalue.cpp	impl/src/ast/resolved_type.ts	1	9	5
impl/src/tooling/icpp/interpreter/runtime/bsqvalue.cpp	impl/src/tooling/verifier/smt_exp.ts	1	9	4
impl/src/tooling/icpp/interpreter/runtime/bsqvalue.cpp	impl/src/ast/body.ts	1	9	6
impl/src/tooling/icpp/interpreter/runtime/bsqvalue.cpp	impl/src/ast/type_signature.ts	1	9	4
impl/src/tooling/icpp/interpreter/runtime/bsqvalue.cpp	impl/src/compiler/functionalize.ts	1	9	4
impl/src/tooling/icpp/interpreter/runtime/bsqvalue.cpp	impl/src/compiler/mir_callg.ts	1	9	4
impl/src/tooling/icpp/interpreter/runtime/bsqvalue.cpp	impl/src/compiler/mir_ops.ts	1	9	14
impl/src/tooling/icpp/interpreter/runtime/bsqvalue.h	impl/build/evaluator_build.js	1	7	2
impl/src/tooling/icpp/interpreter/runtime/bsqvalue.h	impl/src/ast/resolved_type.ts	1	7	5
impl/src/tooling/icpp/interpreter/runtime/bsqvalue.h	impl/src/tooling/verifier/smt_exp.ts	1	7	4
impl/src/tooling/icpp/interpreter/runtime/bsqvalue.h	impl/src/ast/body.ts	1	7	6
impl/src/tooling/icpp/interpreter/runtime/bsqvalue.h	impl/src/type_checker/type_environment.ts	1	7	6
impl/src/tooling/icpp/interpreter/runtime/bsqvalue.h	impl/src/ast/type_signature.ts	1	7	4
impl/src/tooling/icpp/interpreter/runtime/bsqvalue.h	impl/src/compiler/functionalize.ts	1	7	4
impl/src/tooling/icpp/interpreter/runtime/bsqvalue.h	impl/src/compiler/mir_callg.ts	1	7	4
impl/src/tooling/icpp/interpreter/runtime/bsqvalue.h	impl/src/compiler/mir_ops.ts	1	7	14
impl/src/tooling/icpp/interpreter/runtime/environment.cpp	impl/build/include/headers/z3/z3++.h	1	4	4
impl/src/tooling/icpp/interpreter/runtime/environment.cpp	impl/build/include/headers/z3/z3_api.h	1	4	3
impl/src/tooling/icpp/interpreter/runtime/environment.cpp	impl/src/ast/resolved_type.ts	1	4	5
impl/src/tooling/icpp/interpreter/runtime/environment.cpp	impl/src/ast/body.ts	1	4	6
impl/src/tooling/icpp/interpreter/runtime/environment.cpp	impl/src/ast/parser_env.ts	1	4	7
impl/src/tooling/icpp/interpreter/runtime/environment.cpp	impl/src/type_checker/type_environment.ts	1	4	6
impl/src/tooling/icpp/interpreter/runtime/environment.cpp	impl/src/compiler/bcgen.ts	1	4	6
impl/src/tooling/icpp/interpreter/runtime/environment.cpp	impl/src/ast/type_signature.ts	1	4	4
impl/src/tooling/icpp/interpreter/runtime/environment.cpp	impl/src/compiler/functionalize.ts	1	4	4
impl/src/tooling/icpp/interpreter/runtime/environment.cpp	impl/src/compiler/mir_assembly.ts	1	4	5
impl/src/tooling/icpp/interpreter/runtime/environment.cpp	impl/src/compiler/mir_callg.ts	1	4	4
impl/src/tooling/icpp/interpreter/runtime/environment.cpp	impl/src/compiler/mir_ops.ts	1	4	14
impl/src/tooling/icpp/transpiler/icpp_assembly.ts	impl/build/evaluator_build.js	1	5	2
impl/src/tooling/icpp/transpiler/icpp_assembly.ts	impl/src/ast/resolved_type.ts	1	5	5
impl/src/tooling/icpp/transpiler/icpp_assembly.ts	impl/src/tooling/verifier/smt_exp.ts	1	5	4
impl/src/tooling/icpp/transpiler/icpp_assembly.ts	impl/src/ast/body.ts	1	5	6
impl/src/tooling/icpp/transpiler/icpp_assembly.ts	impl/src/type_checker/type_environment.ts	1	5	6
impl/src/tooling/icpp/transpiler/icpp_assembly.ts	impl/src/ast/type_signature.ts	1	5	4
impl/src/tooling/icpp/transpiler/icpp_assembly.ts	impl/src/compiler/functionalize.ts	1	5	4
impl/src/tooling/icpp/transpiler/icpp_assembly.ts	impl/src/compiler/mir_callg.ts	1	5	4
impl/src/tooling/icpp/transpiler/icpp_assembly.ts	impl/src/compiler/mir_ops.ts	1	5	14
impl/src/tooling/icpp/transpiler/icpptype_emitter.ts	impl/build/evaluator_build.js	1	4	2
impl/src/tooling/icpp/transpiler/icpptype_emitter.ts	impl/src/ast/resolved_type.ts	1	4	5
impl/src/tooling/icpp/transpiler/icpptype_emitter.ts	impl/src/tooling/verifier/smt_exp.ts	1	4	4
impl/src/tooling/icpp/transpiler/icpptype_emitter.ts	impl/src/ast/body.ts	1	4	6
impl/src/tooling/icpp/transpiler/icpptype_emitter.ts	impl/src/type_checker/type_environment.ts	1	4	6
impl/src/tooling/icpp/transpiler/icpptype_emitter.ts	impl/src/ast/type_signature.ts	1	4	4
impl/src/tooling/icpp/transpiler/icpptype_emitter.ts	impl/src/compiler/functionalize.ts	1	4	4
impl/src/tooling/icpp/transpiler/icpptype_emitter.ts	impl/src/compiler/mir_callg.ts	1	4	4
impl/src/tooling/icpp/transpiler/icpptype_emitter.ts	impl/src/compiler/mir_ops.ts	1	4	14
impl/src/tooling/icpp/interpreter/runner.cpp	impl/build/evaluator_build.js	1	9	2
impl/src/tooling/icpp/interpreter/runner.cpp	impl/src/ast/resolved_type.ts	1	9	5
impl/src/tooling/icpp/interpreter/runner.cpp	impl/src/ast/body.ts	1	9	6
impl/src/tooling/icpp/interpreter/runner.cpp	impl/src/ast/bsqregex.ts	1	9	4
impl/src/tooling/icpp/interpreter/runner.cpp	impl/src/ast/type_signature.ts	1	9	4
impl/src/tooling/icpp/interpreter/runner.cpp	impl/src/compiler/functionalize.ts	1	9	4
impl/src/tooling/icpp/interpreter/runner.cpp	impl/src/compiler/mir_callg.ts	1	9	4
impl/src/tooling/icpp/interpreter/runner.cpp	impl/src/compiler/mir_ops.ts	1	9	14
impl/src/tooling/icpp/interpreter/assembly/bsqop.cpp	impl/build/evaluator_build.js	1	7	2
impl/src/tooling/icpp/interpreter/assembly/bsqop.cpp	impl/src/ast/resolved_type.ts	1	7	5
impl/src/tooling/icpp/interpreter/assembly/bsqop.cpp	impl/src/tooling/verifier/smt_exp.ts	1	7	4
impl/src/tooling/icpp/interpreter/assembly/bsqop.cpp	impl/src/ast/body.ts	1	7	6
impl/src/tooling/icpp/interpreter/assembly/bsqop.cpp	impl/src/ast/bsqregex.ts	1	7	4
impl/src/tooling/icpp/interpreter/assembly/bsqop.cpp	impl/src/type_checker/type_environment.ts	1	7	6
impl/src/tooling/icpp/interpreter/assembly/bsqop.cpp	impl/src/ast/type_signature.ts	1	7	4
impl/src/tooling/icpp/interpreter/assembly/bsqop.cpp	impl/src/compiler/functionalize.ts	1	7	4
impl/src/tooling/icpp/interpreter/assembly/bsqop.cpp	impl/src/compiler/mir_callg.ts	1	7	4
impl/src/tooling/icpp/interpreter/assembly/bsqop.h	impl/build/include/headers/z3/z3++.h	1	5	4
impl/src/tooling/icpp/interpreter/assembly/bsqop.h	impl/build/evaluator_build.js	1	5	2
impl/src/tooling/icpp/interpreter/assembly/bsqop.h	impl/build/include/headers/z3/z3_api.h	1	5	3
impl/src/tooling/icpp/interpreter/assembly/bsqop.h	impl/src/ast/resolved_type.ts	1	5	5
impl/src/tooling/icpp/interpreter/assembly/bsqop.h	impl/src/tooling/verifier/smt_exp.ts	1	5	4
impl/src/tooling/icpp/interpreter/assembly/bsqop.h	impl/src/ast/body.ts	1	5	6
impl/src/tooling/icpp/interpreter/assembly/bsqop.h	impl/src/ast/bsqregex.ts	1	5	4
impl/src/tooling/icpp/interpreter/assembly/bsqop.h	impl/src/type_checker/type_environment.ts	1	5	6
impl/src/tooling/icpp/interpreter/assembly/bsqop.h	impl/src/ast/type_signature.ts	1	5	4
impl/src/tooling/icpp/interpreter/assembly/bsqop.h	impl/src/compiler/functionalize.ts	1	5	4
impl/src/tooling/icpp/interpreter/assembly/bsqop.h	impl/src/compiler/mir_callg.ts	1	5	4
impl/src/tooling/icpp/interpreter/assembly/bsqop.h	impl/src/tooling/icpp/interpreter/runtime/environment.cpp	1	5	4
impl/src/tooling/icpp/interpreter/op_eval.h	impl/build/evaluator_build.js	1	6	2
impl/src/tooling/icpp/interpreter/op_eval.h	impl/src/ast/resolved_type.ts	1	6	5
impl/src/tooling/icpp/interpreter/op_eval.h	impl/src/tooling/verifier/smt_exp.ts	1	6	4
impl/src/tooling/icpp/interpreter/op_eval.h	impl/src/ast/body.ts	1	6	6
impl/src/tooling/icpp/interpreter/op_eval.h	impl/src/ast/bsqregex.ts	1	6	4
impl/src/tooling/icpp/interpreter/op_eval.h	impl/src/type_checker/type_environment.ts	1	6	6
impl/src/tooling/icpp/interpreter/op_eval.h	impl/src/ast/type_signature.ts	1	6	4
impl/src/tooling/icpp/interpreter/op_eval.h	impl/src/compiler/functionalize.ts	1	6	4
impl/src/tooling/icpp/interpreter/op_eval.h	impl/src/compiler/mir_callg.ts	1	6	4
impl/src/tooling/icpp/transpiler/icpp_exp.ts	impl/src/tooling/verifier/smt_workflows.ts	1	2	11
impl/src/tooling/icpp/transpiler/icpp_exp.ts	impl/src/tooling/verifier/evaluator/decls.cpp	1	2	9
impl/src/tooling/icpp/transpiler/icpp_exp.ts	impl/src/ast/resolved_type.ts	1	2	5
impl/src/tooling/icpp/transpiler/icpp_exp.ts	impl/src/tooling/verifier/smtcollection_emitter.ts	1	2	10
impl/src/tooling/icpp/transpiler/icpp_exp.ts	impl/src/tooling/verifier/smtdecls_emitter.ts	1	2	12
impl/src/tooling/icpp/transpiler/icpp_exp.ts	impl/src/tooling/verifier/smt_assembly.ts	1	2	7
impl/src/tooling/icpp/transpiler/icpp_exp.ts	impl/src/ast/assembly.ts	1	2	13
impl/src/tooling/icpp/transpiler/icpp_exp.ts	impl/src/tooling/verifier/runtime/smtruntime.smt2	1	2	8
impl/src/tooling/icpp/transpiler/icpp_exp.ts	impl/src/tooling/verifier/smt_exp.ts	1	2	4
impl/src/tooling/icpp/transpiler/icpp_exp.ts	impl/src/ast/body.ts	1	2	6
impl/src/tooling/icpp/transpiler/icpp_exp.ts	impl/src/ast/bsqregex.ts	1	2	4
impl/src/tooling/icpp/transpiler/icpp_exp.ts	impl/src/ast/parser_env.ts	1	2	7
impl/src/tooling/icpp/transpiler/icpp_exp.ts	impl/src/type_checker/type_environment.ts	1	2	6
impl/src/tooling/icpp/transpiler/icpp_exp.ts	impl/src/compiler/bcgen.ts	1	2	6
impl/src/tooling/icpp/transpiler/icpp_exp.ts	impl/src/ast/type_signature.ts	1	2	4
impl/src/tooling/icpp/transpiler/icpp_exp.ts	impl/src/compiler/functionalize.ts	1	2	4
impl/src/tooling/icpp/transpiler/icpp_exp.ts	impl/src/compiler/mir_assembly.ts	1	2	5
impl/src/tooling/icpp/transpiler/icpp_exp.ts	impl/src/compiler/mir_callg.ts	1	2	4
impl/src/tooling/icpp/transpiler/icpp_exp.ts	impl/src/tooling/icpp/transpiler/icppdecls_emitter.ts	1	2	5
impl/src/tooling/icpp/transpiler/icpp_exp.ts	impl/src/tooling/icpp/interpreter/common.h	1	2	5
impl/src/tooling/icpp/transpiler/icpp_exp.ts	impl/src/tooling/icpp/interpreter/runtime/bsqvalue.cpp	1	2	9
impl/src/tooling/icpp/transpiler/icpp_exp.ts	impl/src/tooling/icpp/interpreter/runtime/bsqvalue.h	1	2	7
impl/src/tooling/icpp/transpiler/icpp_exp.ts	impl/src/tooling/icpp/interpreter/runtime/environment.cpp	1	2	4
impl/src/tooling/icpp/transpiler/icpp_exp.ts	impl/src/tooling/icpp/transpiler/icpp_assembly.ts	1	2	5
impl/src/tooling/icpp/transpiler/icpp_exp.ts	impl/src/tooling/icpp/transpiler/icpptype_emitter.ts	1	2	4
impl/src/tooling/icpp/transpiler/icpp_exp.ts	impl/src/tooling/icpp/interpreter/runner.cpp	1	2	9
impl/build/interpreter_build.js	impl/src/tooling/verifier/smt_workflows.ts	1	4	11
impl/build/interpreter_build.js	impl/build/include/headers/z3/z3++.h	1	4	4
impl/build/interpreter_build.js	impl/build/evaluator_build.js	1	4	2
impl/build/interpreter_build.js	impl/build/include/headers/z3/z3_api.h	1	4	3
impl/build/interpreter_build.js	impl/src/ast/resolved_type.ts	1	4	5
impl/build/interpreter_build.js	impl/src/tooling/verifier/smt_exp.ts	1	4	4
impl/build/interpreter_build.js	impl/src/ast/body.ts	1	4	6
impl/build/interpreter_build.js	impl/src/ast/bsqregex.ts	1	4	4
impl/build/interpreter_build.js	impl/src/type_checker/type_environment.ts	1	4	6
impl/build/interpreter_build.js	impl/src/ast/type_signature.ts	1	4	4
impl/build/interpreter_build.js	impl/src/compiler/functionalize.ts	1	4	4
impl/build/interpreter_build.js	impl/src/compiler/mir_callg.ts	1	4	4
impl/build/interpreter_build.js	impl/src/compiler/mir_ops.ts	1	4	14
impl/build/interpreter_build.js	impl/src/tooling/icpp/interpreter/runtime/environment.cpp	1	4	4
impl/build/interpreter_build.js	impl/src/tooling/icpp/transpiler/icpp_exp.ts	1	4	2
impl/src/tooling/icpp/interpreter/assembly/bsqassembly.cpp	impl/build/evaluator_build.js	1	6	2
impl/src/tooling/icpp/interpreter/assembly/bsqassembly.cpp	impl/src/ast/resolved_type.ts	1	6	5
impl/src/tooling/icpp/interpreter/assembly/bsqassembly.cpp	impl/src/tooling/verifier/smt_exp.ts	1	6	4
impl/src/tooling/icpp/interpreter/assembly/bsqassembly.cpp	impl/src/ast/body.ts	1	6	6
impl/src/tooling/icpp/interpreter/assembly/bsqassembly.cpp	impl/src/ast/bsqregex.ts	1	6	4
impl/src/tooling/icpp/interpreter/assembly/bsqassembly.cpp	impl/src/type_checker/type_environment.ts	1	6	6
impl/src/tooling/icpp/interpreter/assembly/bsqassembly.cpp	impl/src/ast/type_signature.ts	1	6	4
impl/src/tooling/icpp/interpreter/assembly/bsqassembly.cpp	impl/src/compiler/functionalize.ts	1	6	4
impl/src/tooling/icpp/interpreter/assembly/bsqassembly.cpp	impl/src/compiler/mir_callg.ts	1	6	4
impl/src/tooling/icpp/interpreter/assembly/bsqassembly.cpp	impl/src/compiler/mir_ops.ts	1	6	14
impl/src/tooling/icpp/interpreter/assembly/bsqassembly.cpp	impl/src/tooling/icpp/transpiler/icpp_exp.ts	1	6	2
impl/src/tooling/icpp/interpreter/assembly/bsqassembly.h	impl/src/tooling/verifier/smt_workflows.ts	1	3	11
impl/src/tooling/icpp/interpreter/assembly/bsqassembly.h	impl/build/include/headers/z3/z3++.h	1	3	4
impl/src/tooling/icpp/interpreter/assembly/bsqassembly.h	impl/build/include/headers/z3/z3_api.h	1	3	3
impl/src/tooling/icpp/interpreter/assembly/bsqassembly.h	impl/src/ast/resolved_type.ts	1	3	5
impl/src/tooling/icpp/interpreter/assembly/bsqassembly.h	impl/src/tooling/verifier/smtcollection_emitter.ts	1	3	10
impl/src/tooling/icpp/interpreter/assembly/bsqassembly.h	impl/src/tooling/verifier/smtdecls_emitter.ts	1	3	12
impl/src/tooling/icpp/interpreter/assembly/bsqassembly.h	impl/src/tooling/verifier/smt_assembly.ts	1	3	7
impl/src/tooling/icpp/interpreter/assembly/bsqassembly.h	impl/src/tooling/verifier/smttype_emitter.ts	1	3	11
impl/src/tooling/icpp/interpreter/assembly/bsqassembly.h	impl/src/ast/assembly.ts	1	3	13
impl/src/tooling/icpp/interpreter/assembly/bsqassembly.h	impl/src/tooling/verifier/runtime/smtruntime.smt2	1	3	8
impl/src/tooling/icpp/interpreter/assembly/bsqassembly.h	impl/src/tooling/verifier/smt_exp.ts	1	3	4
impl/src/tooling/icpp/interpreter/assembly/bsqassembly.h	impl/src/ast/body.ts	1	3	6
impl/src/tooling/icpp/interpreter/assembly/bsqassembly.h	impl/src/ast/bsqregex.ts	1	3	4
impl/src/tooling/icpp/interpreter/assembly/bsqassembly.h	impl/src/ast/parser_env.ts	1	3	7
impl/src/tooling/icpp/interpreter/assembly/bsqassembly.h	impl/src/type_checker/type_environment.ts	1	3	6
impl/src/tooling/icpp/interpreter/assembly/bsqassembly.h	impl/src/compiler/bcgen.ts	1	3	6
impl/src/tooling/icpp/interpreter/assembly/bsqassembly.h	impl/src/ast/type_signature.ts	1	3	4
impl/src/tooling/icpp/interpreter/assembly/bsqassembly.h	impl/src/compiler/functionalize.ts	1	3	4
impl/src/tooling/icpp/interpreter/assembly/bsqassembly.h	impl/src/compiler/mir_assembly.ts	1	3	5
impl/src/tooling/icpp/interpreter/assembly/bsqassembly.h	impl/src/compiler/mir_callg.ts	1	3	4
impl/src/tooling/icpp/interpreter/assembly/bsqassembly.h	impl/src/compiler/mir_ops.ts	1	3	14
impl/src/tooling/icpp/interpreter/assembly/bsqassembly.h	impl/src/tooling/icpp/transpiler/icpp_exp.ts	1	3	2
impl/src/tooling/icpp/interpreter/assembly/bsqtype.cpp	impl/src/tooling/verifier/evaluator/decls.cpp	1	2	9
impl/src/tooling/icpp/interpreter/assembly/bsqtype.cpp	impl/src/tooling/verifier/evaluator/decls.h	1	2	6
impl/src/tooling/icpp/interpreter/assembly/bsqtype.cpp	impl/src/tooling/verifier/evaluator/workflows.cpp	1	2	6
impl/src/tooling/icpp/interpreter/assembly/bsqtype.cpp	impl/src/ast/resolved_type.ts	1	2	5
impl/src/tooling/icpp/interpreter/assembly/bsqtype.cpp	impl/src/tooling/verifier/smtcollection_emitter.ts	1	2	10
impl/src/tooling/icpp/interpreter/assembly/bsqtype.cpp	impl/src/tooling/verifier/smtdecls_emitter.ts	1	2	12
impl/src/tooling/icpp/interpreter/assembly/bsqtype.cpp	impl/src/tooling/verifier/smt_assembly.ts	1	2	7
impl/src/tooling/icpp/interpreter/assembly/bsqtype.cpp	impl/src/tooling/verifier/smttype_emitter.ts	1	2	11
impl/src/tooling/icpp/interpreter/assembly/bsqtype.cpp	impl/src/ast/assembly.ts	1	2	13
impl/src/tooling/icpp/interpreter/assembly/bsqtype.cpp	impl/src/tooling/verifier/runtime/smtruntime.smt2	1	2	8
impl/src/tooling/icpp/interpreter/assembly/bsqtype.cpp	impl/src/tooling/verifier/smt_exp.ts	1	2	4
impl/src/tooling/icpp/interpreter/assembly/bsqtype.cpp	impl/src/ast/body.ts	1	2	6
impl/src/tooling/icpp/interpreter/assembly/bsqtype.cpp	impl/src/ast/bsqregex.ts	1	2	4
impl/src/tooling/icpp/interpreter/assembly/bsqtype.cpp	impl/src/ast/parser_env.ts	1	2	7
impl/src/tooling/icpp/interpreter/assembly/bsqtype.cpp	impl/src/type_checker/type_environment.ts	1	2	6
impl/src/tooling/icpp/interpreter/assembly/bsqtype.cpp	impl/src/compiler/bcgen.ts	1	2	6
impl/src/tooling/icpp/interpreter/assembly/bsqtype.cpp	impl/src/ast/type_signature.ts	1	2	4
impl/src/tooling/icpp/interpreter/assembly/bsqtype.cpp	impl/src/compiler/functionalize.ts	1	2	4
impl/src/tooling/icpp/interpreter/assembly/bsqtype.cpp	impl/src/compiler/mir_assembly.ts	1	2	5
impl/src/tooling/icpp/interpreter/assembly/bsqtype.cpp	impl/src/compiler/mir_callg.ts	1	2	4
impl/src/tooling/icpp/interpreter/assembly/bsqtype.cpp	impl/src/compiler/mir_ops.ts	1	2	14
impl/src/tooling/icpp/interpreter/assembly/bsqtype.cpp	impl/src/tooling/icpp/transpiler/icppdecls_emitter.ts	1	2	5
impl/src/tooling/icpp/interpreter/assembly/bsqtype.cpp	impl/src/tooling/icpp/interpreter/runtime/environment.cpp	1	2	4
impl/src/tooling/icpp/interpreter/assembly/bsqtype.cpp	impl/src/tooling/icpp/transpiler/icpp_assembly.ts	1	2	5
impl/src/tooling/icpp/interpreter/assembly/bsqtype.cpp	impl/src/tooling/icpp/transpiler/icpptype_emitter.ts	1	2	4
impl/src/tooling/icpp/interpreter/assembly/bsqtype.cpp	impl/src/tooling/icpp/interpreter/op_eval.h	1	2	6
impl/src/tooling/icpp/interpreter/assembly/bsqtype.cpp	impl/src/tooling/icpp/transpiler/icpp_exp.ts	1	2	2
impl/src/tooling/icpp/interpreter/assembly/bsqtype.h	impl/src/tooling/verifier/evaluator/decls.cpp	1	3	9
impl/src/tooling/icpp/interpreter/assembly/bsqtype.h	impl/src/tooling/verifier/evaluator/decls.h	1	3	6
impl/src/tooling/icpp/interpreter/assembly/bsqtype.h	impl/src/tooling/verifier/evaluator/workflows.cpp	1	3	6
impl/src/tooling/icpp/interpreter/assembly/bsqtype.h	impl/src/ast/resolved_type.ts	1	3	5
impl/src/tooling/icpp/interpreter/assembly/bsqtype.h	impl/src/tooling/verifier/smtcollection_emitter.ts	1	3	10
impl/src/tooling/icpp/interpreter/assembly/bsqtype.h	impl/src/tooling/verifier/smtdecls_emitter.ts	1	3	12
impl/src/tooling/icpp/interpreter/assembly/bsqtype.h	impl/src/tooling/verifier/smt_assembly.ts	1	3	7
impl/src/tooling/icpp/interpreter/assembly/bsqtype.h	impl/src/tooling/verifier/smttype_emitter.ts	1	3	11
impl/src/tooling/icpp/interpreter/assembly/bsqtype.h	impl/src/ast/assembly.ts	1	3	13
impl/src/tooling/icpp/interpreter/assembly/bsqtype.h	impl/src/tooling/verifier/runtime/smtruntime.smt2	1	3	8
impl/src/tooling/icpp/interpreter/assembly/bsqtype.h	impl/src/tooling/verifier/smt_exp.ts	1	3	4
impl/src/tooling/icpp/interpreter/assembly/bsqtype.h	impl/src/ast/body.ts	1	3	6
impl/src/tooling/icpp/interpreter/assembly/bsqtype.h	impl/src/ast/bsqregex.ts	1	3	4
impl/src/tooling/icpp/interpreter/assembly/bsqtype.h	impl/src/ast/parser_env.ts	1	3	7
impl/src/tooling/icpp/interpreter/assembly/bsqtype.h	impl/src/type_checker/type_environment.ts	1	3	6
impl/src/tooling/icpp/interpreter/assembly/bsqtype.h	impl/src/compiler/bcgen.ts	1	3	6
impl/src/tooling/icpp/interpreter/assembly/bsqtype.h	impl/src/ast/type_signature.ts	1	3	4
impl/src/tooling/icpp/interpreter/assembly/bsqtype.h	impl/src/compiler/functionalize.ts	1	3	4
impl/src/tooling/icpp/interpreter/assembly/bsqtype.h	impl/src/compiler/mir_assembly.ts	1	3	5
impl/src/tooling/icpp/interpreter/assembly/bsqtype.h	impl/src/compiler/mir_callg.ts	1	3	4
impl/src/tooling/icpp/interpreter/assembly/bsqtype.h	impl/src/compiler/mir_ops.ts	1	3	14
impl/src/tooling/icpp/interpreter/assembly/bsqtype.h	impl/src/tooling/icpp/interpreter/runtime/environment.cpp	1	3	4
impl/src/tooling/icpp/interpreter/assembly/bsqtype.h	impl/src/tooling/icpp/transpiler/icpptype_emitter.ts	1	3	4
impl/src/tooling/icpp/interpreter/assembly/bsqtype.h	impl/src/tooling/icpp/transpiler/icpp_exp.ts	1	3	2
impl/src/tooling/icpp/interpreter/runner.h	impl/src/tooling/verifier/evaluator/decls.cpp	1	3	9
impl/src/tooling/icpp/interpreter/runner.h	impl/src/tooling/verifier/evaluator/decls.h	1	3	6
impl/src/tooling/icpp/interpreter/runner.h	impl/src/tooling/verifier/evaluator/workflows.cpp	1	3	6
impl/src/tooling/icpp/interpreter/runner.h	impl/src/ast/resolved_type.ts	1	3	5
impl/src/tooling/icpp/interpreter/runner.h	impl/src/tooling/verifier/smtcollection_emitter.ts	1	3	10
impl/src/tooling/icpp/interpreter/runner.h	impl/src/tooling/verifier/smtdecls_emitter.ts	1	3	12
impl/src/tooling/icpp/interpreter/runner.h	impl/src/tooling/verifier/smt_assembly.ts	1	3	7
impl/src/tooling/icpp/interpreter/runner.h	impl/src/tooling/verifier/smttype_emitter.ts	1	3	11
impl/src/tooling/icpp/interpreter/runner.h	impl/src/ast/assembly.ts	1	3	13
impl/src/tooling/icpp/interpreter/runner.h	impl/src/tooling/verifier/runtime/smtruntime.smt2	1	3	8
impl/src/tooling/icpp/interpreter/runner.h	impl/src/tooling/verifier/smt_exp.ts	1	3	4
impl/src/tooling/icpp/interpreter/runner.h	impl/src/ast/body.ts	1	3	6
impl/src/tooling/icpp/interpreter/runner.h	impl/src/ast/bsqregex.ts	1	3	4
impl/src/tooling/icpp/interpreter/runner.h	impl/src/ast/parser_env.ts	1	3	7
impl/src/tooling/icpp/interpreter/runner.h	impl/src/type_checker/type_environment.ts	1	3	6
impl/src/tooling/icpp/interpreter/runner.h	impl/src/compiler/bcgen.ts	1	3	6
impl/src/tooling/icpp/interpreter/runner.h	impl/src/ast/type_signature.ts	1	3	4
impl/src/tooling/icpp/interpreter/runner.h	impl/src/compiler/functionalize.ts	1	3	4
impl/src/tooling/icpp/interpreter/runner.h	impl/src/compiler/mir_assembly.ts	1	3	5
impl/src/tooling/icpp/interpreter/runner.h	impl/src/compiler/mir_callg.ts	1	3	4
impl/src/tooling/icpp/interpreter/runner.h	impl/src/compiler/mir_ops.ts	1	3	14
impl/src/tooling/icpp/interpreter/runner.h	impl/src/tooling/icpp/transpiler/icppdecls_emitter.ts	1	3	5
impl/src/tooling/icpp/interpreter/runner.h	impl/src/tooling/icpp/interpreter/runtime/environment.cpp	1	3	4
impl/src/tooling/icpp/interpreter/runner.h	impl/src/tooling/icpp/transpiler/icpp_assembly.ts	1	3	5
impl/src/tooling/icpp/interpreter/runner.h	impl/src/tooling/icpp/transpiler/icpptype_emitter.ts	1	3	4
impl/src/tooling/icpp/interpreter/runner.h	impl/src/tooling/icpp/transpiler/icpp_exp.ts	1	3	2
impl/src/tooling/icpp/interpreter/runtime/bsqcollections.cpp	impl/src/tooling/verifier/smt_workflows.ts	1	3	11
impl/src/tooling/icpp/interpreter/runtime/bsqcollections.cpp	impl/build/include/headers/z3/z3++.h	1	3	4
impl/src/tooling/icpp/interpreter/runtime/bsqcollections.cpp	impl/build/include/headers/z3/z3_api.h	1	3	3
impl/src/tooling/icpp/interpreter/runtime/bsqcollections.cpp	impl/src/ast/resolved_type.ts	1	3	5
impl/src/tooling/icpp/interpreter/runtime/bsqcollections.cpp	impl/src/tooling/verifier/smtcollection_emitter.ts	1	3	10
impl/src/tooling/icpp/interpreter/runtime/bsqcollections.cpp	impl/src/tooling/verifier/smtdecls_emitter.ts	1	3	12
impl/src/tooling/icpp/interpreter/runtime/bsqcollections.cpp	impl/src/tooling/verifier/smt_assembly.ts	1	3	7
impl/src/tooling/icpp/interpreter/runtime/bsqcollections.cpp	impl/src/tooling/verifier/smttype_emitter.ts	1	3	11
impl/src/tooling/icpp/interpreter/runtime/bsqcollections.cpp	impl/src/ast/assembly.ts	1	3	13
impl/src/tooling/icpp/interpreter/runtime/bsqcollections.cpp	impl/src/tooling/verifier/runtime/smtruntime.smt2	1	3	8
impl/src/tooling/icpp/interpreter/runtime/bsqcollections.cpp	impl/src/tooling/verifier/smt_exp.ts	1	3	4
impl/src/tooling/icpp/interpreter/runtime/bsqcollections.cpp	impl/src/ast/body.ts	1	3	6
impl/src/tooling/icpp/interpreter/runtime/bsqcollections.cpp	impl/src/ast/bsqregex.ts	1	3	4
impl/src/tooling/icpp/interpreter/runtime/bsqcollections.cpp	impl/src/ast/parser_env.ts	1	3	7
impl/src/tooling/icpp/interpreter/runtime/bsqcollections.cpp	impl/src/type_checker/type_environment.ts	1	3	6
impl/src/tooling/icpp/interpreter/runtime/bsqcollections.cpp	impl/src/compiler/bcgen.ts	1	3	6
impl/src/tooling/icpp/interpreter/runtime/bsqcollections.cpp	impl/src/ast/type_signature.ts	1	3	4
impl/src/tooling/icpp/interpreter/runtime/bsqcollections.cpp	impl/src/compiler/functionalize.ts	1	3	4
impl/src/tooling/icpp/interpreter/runtime/bsqcollections.cpp	impl/src/compiler/mir_assembly.ts	1	3	5
impl/src/tooling/icpp/interpreter/runtime/bsqcollections.cpp	impl/src/compiler/mir_callg.ts	1	3	4
impl/src/tooling/icpp/interpreter/runtime/bsqcollections.cpp	impl/src/compiler/mir_ops.ts	1	3	14
impl/src/tooling/icpp/interpreter/runtime/bsqcollections.cpp	impl/src/tooling/icpp/transpiler/icpp_exp.ts	1	3	2
impl/src/tooling/icpp/interpreter/runtime/bsqcollections.h	impl/src/tooling/verifier/smt_workflows.ts	1	3	11
impl/src/tooling/icpp/interpreter/runtime/bsqcollections.h	impl/build/include/headers/z3/z3++.h	1	3	4
impl/src/tooling/icpp/interpreter/runtime/bsqcollections.h	impl/build/include/headers/z3/z3_api.h	1	3	3
impl/src/tooling/icpp/interpreter/runtime/bsqcollections.h	impl/src/ast/resolved_type.ts	1	3	5
impl/src/tooling/icpp/interpreter/runtime/bsqcollections.h	impl/src/tooling/verifier/smtcollection_emitter.ts	1	3	10
impl/src/tooling/icpp/interpreter/runtime/bsqcollections.h	impl/src/tooling/verifier/smtdecls_emitter.ts	1	3	12
impl/src/tooling/icpp/interpreter/runtime/bsqcollections.h	impl/src/tooling/verifier/smt_assembly.ts	1	3	7
impl/src/tooling/icpp/interpreter/runtime/bsqcollections.h	impl/src/tooling/verifier/smttype_emitter.ts	1	3	11
impl/src/tooling/icpp/interpreter/runtime/bsqcollections.h	impl/src/ast/assembly.ts	1	3	13
impl/src/tooling/icpp/interpreter/runtime/bsqcollections.h	impl/src/tooling/verifier/runtime/smtruntime.smt2	1	3	8
impl/src/tooling/icpp/interpreter/runtime/bsqcollections.h	impl/src/tooling/verifier/smt_exp.ts	1	3	4
impl/src/tooling/icpp/interpreter/runtime/bsqcollections.h	impl/src/ast/body.ts	1	3	6
impl/src/tooling/icpp/interpreter/runtime/bsqcollections.h	impl/src/ast/bsqregex.ts	1	3	4
impl/src/tooling/icpp/interpreter/runtime/bsqcollections.h	impl/src/ast/parser_env.ts	1	3	7
impl/src/tooling/icpp/interpreter/runtime/bsqcollections.h	impl/src/type_checker/type_environment.ts	1	3	6
impl/src/tooling/icpp/interpreter/runtime/bsqcollections.h	impl/src/compiler/bcgen.ts	1	3	6
impl/src/tooling/icpp/interpreter/runtime/bsqcollections.h	impl/src/ast/type_signature.ts	1	3	4
impl/src/tooling/icpp/interpreter/runtime/bsqcollections.h	impl/src/compiler/functionalize.ts	1	3	4
impl/src/tooling/icpp/interpreter/runtime/bsqcollections.h	impl/src/compiler/mir_assembly.ts	1	3	5
impl/src/tooling/icpp/interpreter/runtime/bsqcollections.h	impl/src/compiler/mir_callg.ts	1	3	4
impl/src/tooling/icpp/interpreter/runtime/bsqcollections.h	impl/src/compiler/mir_ops.ts	1	3	14
impl/src/tooling/icpp/interpreter/runtime/bsqcollections.h	impl/src/tooling/icpp/transpiler/icpp_exp.ts	1	3	2
impl/build/include/headers/z3/z3_fpa.h	impl/src/tooling/icpp/interpreter/common.h	1	2	5
impl/build/include/headers/z3/z3_fpa.h	impl/src/tooling/icpp/interpreter/op_eval.cpp	1	2	9
impl/build/include/headers/z3/z3_fpa.h	impl/src/tooling/icpp/interpreter/runtime/environment.cpp	1	2	4
impl/build/include/headers/z3/z3_fpa.h	impl/src/tooling/icpp/interpreter/assembly/bsqassembly.h	1	2	3
impl/build/include/headers/z3/z3_fpa.h	impl/src/tooling/icpp/interpreter/runtime/bsqcollections.cpp	1	2	3
impl/build/include/headers/z3/z3_fpa.h	impl/src/tooling/icpp/interpreter/runtime/bsqcollections.h	1	2	3
impl/build/include/headers/z3/z3_fpa.h	impl/src/tooling/verifier/smtcollection_emitter.ts	1	2	10
impl/build/include/headers/z3/z3_fpa.h	impl/src/tooling/verifier/smtdecls_emitter.ts	1	2	12
impl/build/include/headers/z3/z3_fpa.h	impl/src/tooling/verifier/smt_assembly.ts	1	2	7
impl/build/include/headers/z3/z3_fpa.h	impl/src/tooling/verifier/smttype_emitter.ts	1	2	11
impl/build/include/headers/z3/z3_fpa.h	impl/src/ast/assembly.ts	1	2	13
impl/build/include/headers/z3/z3_fpa.h	impl/src/tooling/verifier/runtime/smtruntime.smt2	1	2	8
impl/build/include/headers/z3/z3_fpa.h	impl/build/evaluator_build.js	1	2	2
impl/build/include/headers/z3/z3_fpa.h	impl/src/ast/parser_env.ts	1	2	7
impl/build/include/headers/z3/z3_fpa.h	impl/src/compiler/bcgen.ts	1	2	6
impl/build/include/headers/z3/z3_fpa.h	impl/src/compiler/mir_assembly.ts	1	2	5
impl/build/include/headers/z3/z3_fpa.h	impl/src/tooling/icpp/interpreter/assembly/bsqop.h	1	2	5
impl/build/include/headers/z3/z3_fpa.h	impl/build/interpreter_build.js	1	2	4
impl/build/include/headers/z3/z3_optimization.h	impl/src/tooling/icpp/interpreter/common.h	1	2	5
impl/build/include/headers/z3/z3_optimization.h	impl/src/tooling/icpp/interpreter/op_eval.cpp	1	2	9
impl/build/include/headers/z3/z3_optimization.h	impl/src/tooling/icpp/interpreter/runtime/environment.cpp	1	2	4
impl/build/include/headers/z3/z3_optimization.h	impl/src/tooling/icpp/interpreter/assembly/bsqassembly.h	1	2	3
impl/build/include/headers/z3/z3_optimization.h	impl/src/tooling/icpp/interpreter/runtime/bsqcollections.cpp	1	2	3
impl/build/include/headers/z3/z3_optimization.h	impl/src/tooling/icpp/interpreter/runtime/bsqcollections.h	1	2	3
impl/build/include/headers/z3/z3_optimization.h	impl/src/tooling/verifier/smtcollection_emitter.ts	1	2	10
impl/build/include/headers/z3/z3_optimization.h	impl/src/tooling/verifier/smtdecls_emitter.ts	1	2	12
impl/build/include/headers/z3/z3_optimization.h	impl/src/tooling/verifier/smt_assembly.ts	1	2	7
impl/build/include/headers/z3/z3_optimization.h	impl/src/tooling/verifier/smttype_emitter.ts	1	2	11
impl/build/include/headers/z3/z3_optimization.h	impl/src/ast/assembly.ts	1	2	13
impl/build/include/headers/z3/z3_optimization.h	impl/src/tooling/verifier/runtime/smtruntime.smt2	1	2	8
impl/build/include/headers/z3/z3_optimization.h	impl/build/evaluator_build.js	1	2	2
impl/build/include/headers/z3/z3_optimization.h	impl/src/ast/parser_env.ts	1	2	7
impl/build/include/headers/z3/z3_optimization.h	impl/src/compiler/bcgen.ts	1	2	6
impl/build/include/headers/z3/z3_optimization.h	impl/src/compiler/mir_assembly.ts	1	2	5
impl/build/include/headers/z3/z3_optimization.h	impl/src/tooling/icpp/interpreter/assembly/bsqop.h	1	2	5
impl/build/include/headers/z3/z3_optimization.h	impl/build/interpreter_build.js	1	2	4
impl/src/tooling/icpp/interpreter/runtime/environment.h	impl/src/tooling/verifier/smt_workflows.ts	1	2	11
impl/src/tooling/icpp/interpreter/runtime/environment.h	impl/build/include/headers/z3/z3++.h	1	2	4
impl/src/tooling/icpp/interpreter/runtime/environment.h	impl/build/include/headers/z3/z3_api.h	1	2	3
impl/src/tooling/icpp/interpreter/runtime/environment.h	impl/src/tooling/verifier/evaluator/decls.cpp	1	2	9
impl/src/tooling/icpp/interpreter/runtime/environment.h	impl/src/tooling/verifier/evaluator/decls.h	1	2	6
impl/src/tooling/icpp/interpreter/runtime/environment.h	impl/src/tooling/verifier/evaluator/workflows.cpp	1	2	6
impl/src/tooling/icpp/interpreter/runtime/environment.h	impl/build/include/headers/z3/z3_fpa.h	1	2	2
impl/src/tooling/icpp/interpreter/runtime/environment.h	impl/build/include/headers/z3/z3_optimization.h	1	2	2
impl/src/tooling/icpp/interpreter/runtime/environment.h	impl/src/ast/resolved_type.ts	1	2	5
impl/src/tooling/icpp/interpreter/runtime/environment.h	impl/src/tooling/verifier/smtcollection_emitter.ts	1	2	10
impl/src/tooling/icpp/interpreter/runtime/environment.h	impl/src/tooling/verifier/smtdecls_emitter.ts	1	2	12
impl/src/tooling/icpp/interpreter/runtime/environment.h	impl/src/tooling/verifier/smt_assembly.ts	1	2	7
impl/src/tooling/icpp/interpreter/runtime/environment.h	impl/src/tooling/verifier/smttype_emitter.ts	1	2	11
impl/src/tooling/icpp/interpreter/runtime/environment.h	impl/src/ast/assembly.ts	1	2	13
impl/src/tooling/icpp/interpreter/runtime/environment.h	impl/src/tooling/verifier/runtime/smtruntime.smt2	1	2	8
impl/src/tooling/icpp/interpreter/runtime/environment.h	impl/src/tooling/verifier/smt_exp.ts	1	2	4
impl/src/tooling/icpp/interpreter/runtime/environment.h	impl/src/ast/body.ts	1	2	6
impl/src/tooling/icpp/interpreter/runtime/environment.h	impl/src/ast/bsqregex.ts	1	2	4
impl/src/tooling/icpp/interpreter/runtime/environment.h	impl/src/ast/parser_env.ts	1	2	7
impl/src/tooling/icpp/interpreter/runtime/environment.h	impl/src/type_checker/type_environment.ts	1	2	6
impl/src/tooling/icpp/interpreter/runtime/environment.h	impl/src/compiler/bcgen.ts	1	2	6
impl/src/tooling/icpp/interpreter/runtime/environment.h	impl/src/ast/type_signature.ts	1	2	4
impl/src/tooling/icpp/interpreter/runtime/environment.h	impl/src/compiler/functionalize.ts	1	2	4
impl/src/tooling/icpp/interpreter/runtime/environment.h	impl/src/compiler/mir_assembly.ts	1	2	5
impl/src/tooling/icpp/interpreter/runtime/environment.h	impl/src/compiler/mir_callg.ts	1	2	4
impl/src/tooling/icpp/interpreter/runtime/environment.h	impl/src/compiler/mir_ops.ts	1	2	14
impl/src/tooling/icpp/interpreter/runtime/environment.h	impl/src/tooling/icpp/interpreter/assembly/bsqop.h	1	2	5
impl/src/tooling/icpp/interpreter/runtime/environment.h	impl/src/tooling/icpp/transpiler/icpp_exp.ts	1	2	2
impl/src/tooling/icpp/interpreter/runtime/environment.h	impl/build/interpreter_build.js	1	2	4
impl/src/tooling/icpp/interpreter/runtime/environment.h	impl/src/tooling/icpp/interpreter/assembly/bsqtype.cpp	1	2	2
impl/src/tooling/icpp/interpreter/runtime/environment.h	impl/src/tooling/icpp/interpreter/assembly/bsqtype.h	1	2	3
impl/src/tooling/icpp/interpreter/runtime/environment.h	impl/src/tooling/icpp/interpreter/runner.h	1	2	3
impl/build/include/headers/json/json.hpp	impl/src/tooling/verifier/smtcollection_emitter.ts	1	1	10
impl/build/include/headers/json/json.hpp	impl/src/tooling/verifier/smtdecls_emitter.ts	1	1	12
impl/build/include/headers/json/json.hpp	impl/src/tooling/verifier/smt_assembly.ts	1	1	7
impl/build/include/headers/json/json.hpp	impl/src/tooling/verifier/smttype_emitter.ts	1	1	11
impl/build/include/headers/json/json.hpp	impl/src/ast/assembly.ts	1	1	13
impl/build/include/headers/json/json.hpp	impl/src/tooling/verifier/runtime/smtruntime.smt2	1	1	8
impl/build/include/headers/json/json.hpp	impl/src/tooling/verifier/smt_workflows.ts	1	1	11
impl/build/include/headers/json/json.hpp	impl/build/include/headers/z3/z3++.h	1	1	4
impl/build/include/headers/json/json.hpp	impl/src/runtimes/bsqcheck.ts	1	1	14
impl/build/include/headers/json/json.hpp	impl/build/evaluator_build.js	1	1	2
impl/build/include/headers/json/json.hpp	impl/src/ast/parser_env.ts	1	1	7
impl/build/include/headers/json/json.hpp	impl/src/compiler/bcgen.ts	1	1	6
impl/build/include/headers/json/json.hpp	impl/build/include/headers/z3/z3_api.h	1	1	3
impl/build/include/headers/json/json.hpp	impl/src/compiler/mir_assembly.ts	1	1	5
impl/build/include/headers/json/json.hpp	impl/src/tooling/icpp/transpiler/icppdecls_emitter.ts	1	1	5
impl/build/include/headers/json/json.hpp	impl/src/tooling/verifier/evaluator/decls.cpp	1	1	9
impl/build/include/headers/json/json.hpp	impl/src/tooling/verifier/evaluator/decls.h	1	1	6
impl/build/include/headers/json/json.hpp	impl/src/tooling/verifier/evaluator/workflows.cpp	1	1	6
impl/build/include/headers/json/json.hpp	impl/src/tooling/icpp/interpreter/runtime/bsqvalue.cpp	1	1	9
impl/build/include/headers/json/json.hpp	impl/src/tooling/icpp/interpreter/runtime/bsqvalue.h	1	1	7
impl/build/include/headers/json/json.hpp	impl/src/tooling/icpp/transpiler/icpp_assembly.ts	1	1	5
impl/build/include/headers/json/json.hpp	impl/src/tooling/icpp/transpiler/icpptype_emitter.ts	1	1	4
impl/build/include/headers/json/json.hpp	impl/src/tooling/icpp/interpreter/runner.cpp	1	1	9
impl/build/include/headers/json/json.hpp	impl/src/tooling/icpp/interpreter/assembly/bsqop.cpp	1	1	7
impl/build/include/headers/json/json.hpp	impl/src/tooling/icpp/interpreter/assembly/bsqop.h	1	1	5
impl/build/include/headers/json/json.hpp	impl/src/tooling/icpp/interpreter/op_eval.h	1	1	6
impl/build/include/headers/json/json.hpp	impl/build/interpreter_build.js	1	1	4
impl/build/include/headers/json/json.hpp	impl/src/tooling/icpp/interpreter/assembly/bsqassembly.cpp	1	1	6
impl/build/include/headers/json/json.hpp	impl/build/include/headers/z3/z3_fpa.h	1	1	2
impl/build/include/headers/json/json.hpp	impl/build/include/headers/z3/z3_optimization.h	1	1	2
impl/build/include/headers/mimalloc/mimalloc-atomic.h	impl/src/tooling/verifier/smtcollection_emitter.ts	1	1	10
impl/build/include/headers/mimalloc/mimalloc-atomic.h	impl/src/tooling/verifier/smtdecls_emitter.ts	1	1	12
impl/build/include/headers/mimalloc/mimalloc-atomic.h	impl/src/tooling/verifier/smt_assembly.ts	1	1	7
impl/build/include/headers/mimalloc/mimalloc-atomic.h	impl/src/tooling/verifier/smttype_emitter.ts	1	1	11
impl/build/include/headers/mimalloc/mimalloc-atomic.h	impl/src/ast/assembly.ts	1	1	13
impl/build/include/headers/mimalloc/mimalloc-atomic.h	impl/src/tooling/verifier/runtime/smtruntime.smt2	1	1	8
impl/build/include/headers/mimalloc/mimalloc-atomic.h	impl/src/tooling/verifier/smt_workflows.ts	1	1	11
impl/build/include/headers/mimalloc/mimalloc-atomic.h	impl/build/include/headers/z3/z3++.h	1	1	4
impl/build/include/headers/mimalloc/mimalloc-atomic.h	impl/src/runtimes/bsqcheck.ts	1	1	14
impl/build/include/headers/mimalloc/mimalloc-atomic.h	impl/build/evaluator_build.js	1	1	2
impl/build/include/headers/mimalloc/mimalloc-atomic.h	impl/src/ast/parser_env.ts	1	1	7
impl/build/include/headers/mimalloc/mimalloc-atomic.h	impl/src/compiler/bcgen.ts	1	1	6
impl/build/include/headers/mimalloc/mimalloc-atomic.h	impl/build/include/headers/z3/z3_api.h	1	1	3
impl/build/include/headers/mimalloc/mimalloc-atomic.h	impl/src/compiler/mir_assembly.ts	1	1	5
impl/build/include/headers/mimalloc/mimalloc-atomic.h	impl/src/tooling/icpp/transpiler/icppdecls_emitter.ts	1	1	5
impl/build/include/headers/mimalloc/mimalloc-atomic.h	impl/src/tooling/verifier/evaluator/decls.cpp	1	1	9
impl/build/include/headers/mimalloc/mimalloc-atomic.h	impl/src/tooling/verifier/evaluator/decls.h	1	1	6
impl/build/include/headers/mimalloc/mimalloc-atomic.h	impl/src/tooling/verifier/evaluator/workflows.cpp	1	1	6
impl/build/include/headers/mimalloc/mimalloc-atomic.h	impl/src/tooling/icpp/interpreter/runtime/bsqvalue.cpp	1	1	9
impl/build/include/headers/mimalloc/mimalloc-atomic.h	impl/src/tooling/icpp/interpreter/runtime/bsqvalue.h	1	1	7
impl/build/include/headers/mimalloc/mimalloc-atomic.h	impl/src/tooling/icpp/transpiler/icpp_assembly.ts	1	1	5
impl/build/include/headers/mimalloc/mimalloc-atomic.h	impl/src/tooling/icpp/transpiler/icpptype_emitter.ts	1	1	4
impl/build/include/headers/mimalloc/mimalloc-atomic.h	impl/src/tooling/icpp/interpreter/runner.cpp	1	1	9
impl/build/include/headers/mimalloc/mimalloc-atomic.h	impl/src/tooling/icpp/interpreter/assembly/bsqop.cpp	1	1	7
impl/build/include/headers/mimalloc/mimalloc-atomic.h	impl/src/tooling/icpp/interpreter/assembly/bsqop.h	1	1	5
impl/build/include/headers/mimalloc/mimalloc-atomic.h	impl/src/tooling/icpp/interpreter/op_eval.h	1	1	6
impl/build/include/headers/mimalloc/mimalloc-atomic.h	impl/build/interpreter_build.js	1	1	4
impl/build/include/headers/mimalloc/mimalloc-atomic.h	impl/src/tooling/icpp/interpreter/assembly/bsqassembly.cpp	1	1	6
impl/build/include/headers/mimalloc/mimalloc-atomic.h	impl/build/include/headers/z3/z3_fpa.h	1	1	2
impl/build/include/headers/mimalloc/mimalloc-atomic.h	impl/build/include/headers/z3/z3_optimization.h	1	1	2
impl/build/include/headers/mimalloc/mimalloc-atomic.h	impl/build/include/headers/json/json.hpp	1	1	1
impl/build/include/headers/mimalloc/mimalloc-internal.h	impl/src/tooling/verifier/smtcollection_emitter.ts	1	1	10
impl/build/include/headers/mimalloc/mimalloc-internal.h	impl/src/tooling/verifier/smtdecls_emitter.ts	1	1	12
impl/build/include/headers/mimalloc/mimalloc-internal.h	impl/src/tooling/verifier/smt_assembly.ts	1	1	7
impl/build/include/headers/mimalloc/mimalloc-internal.h	impl/src/tooling/verifier/smttype_emitter.ts	1	1	11
impl/build/include/headers/mimalloc/mimalloc-internal.h	impl/src/ast/assembly.ts	1	1	13
impl/build/include/headers/mimalloc/mimalloc-internal.h	impl/src/tooling/verifier/runtime/smtruntime.smt2	1	1	8
impl/build/include/headers/mimalloc/mimalloc-internal.h	impl/src/tooling/verifier/smt_workflows.ts	1	1	11
impl/build/include/headers/mimalloc/mimalloc-internal.h	impl/build/include/headers/z3/z3++.h	1	1	4
impl/build/include/headers/mimalloc/mimalloc-internal.h	impl/src/runtimes/bsqcheck.ts	1	1	14
impl/build/include/headers/mimalloc/mimalloc-internal.h	impl/build/evaluator_build.js	1	1	2
impl/build/include/headers/mimalloc/mimalloc-internal.h	impl/src/ast/parser_env.ts	1	1	7
impl/build/include/headers/mimalloc/mimalloc-internal.h	impl/src/compiler/bcgen.ts	1	1	6
impl/build/include/headers/mimalloc/mimalloc-internal.h	impl/build/include/headers/z3/z3_api.h	1	1	3
impl/build/include/headers/mimalloc/mimalloc-internal.h	impl/src/compiler/mir_assembly.ts	1	1	5
impl/build/include/headers/mimalloc/mimalloc-internal.h	impl/src/tooling/icpp/transpiler/icppdecls_emitter.ts	1	1	5
impl/build/include/headers/mimalloc/mimalloc-internal.h	impl/src/tooling/verifier/evaluator/decls.cpp	1	1	9
impl/build/include/headers/mimalloc/mimalloc-internal.h	impl/src/tooling/verifier/evaluator/decls.h	1	1	6
impl/build/include/headers/mimalloc/mimalloc-internal.h	impl/src/tooling/verifier/evaluator/workflows.cpp	1	1	6
impl/build/include/headers/mimalloc/mimalloc-internal.h	impl/src/tooling/icpp/interpreter/runtime/bsqvalue.cpp	1	1	9
impl/build/include/headers/mimalloc/mimalloc-internal.h	impl/src/tooling/icpp/interpreter/runtime/bsqvalue.h	1	1	7
impl/build/include/headers/mimalloc/mimalloc-internal.h	impl/src/tooling/icpp/transpiler/icpp_assembly.ts	1	1	5
impl/build/include/headers/mimalloc/mimalloc-internal.h	impl/src/tooling/icpp/transpiler/icpptype_emitter.ts	1	1	4
impl/build/include/headers/mimalloc/mimalloc-internal.h	impl/src/tooling/icpp/interpreter/runner.cpp	1	1	9
impl/build/include/headers/mimalloc/mimalloc-internal.h	impl/src/tooling/icpp/interpreter/assembly/bsqop.cpp	1	1	7
impl/build/include/headers/mimalloc/mimalloc-internal.h	impl/src/tooling/icpp/interpreter/assembly/bsqop.h	1	1	5
impl/build/include/headers/mimalloc/mimalloc-internal.h	impl/src/tooling/icpp/interpreter/op_eval.h	1	1	6
impl/build/include/headers/mimalloc/mimalloc-internal.h	impl/build/interpreter_build.js	1	1	4
impl/build/include/headers/mimalloc/mimalloc-internal.h	impl/src/tooling/icpp/interpreter/assembly/bsqassembly.cpp	1	1	6
impl/build/include/headers/mimalloc/mimalloc-internal.h	impl/build/include/headers/z3/z3_fpa.h	1	1	2
impl/build/include/headers/mimalloc/mimalloc-internal.h	impl/build/include/headers/z3/z3_optimization.h	1	1	2
impl/build/include/headers/mimalloc/mimalloc-internal.h	impl/build/include/headers/json/json.hpp	1	1	1
impl/build/include/headers/mimalloc/mimalloc-internal.h	impl/build/include/headers/mimalloc/mimalloc-atomic.h	1	1	1
impl/build/include/headers/mimalloc/mimalloc-new-delete.h	impl/src/tooling/verifier/smtcollection_emitter.ts	1	1	10
impl/build/include/headers/mimalloc/mimalloc-new-delete.h	impl/src/tooling/verifier/smtdecls_emitter.ts	1	1	12
impl/build/include/headers/mimalloc/mimalloc-new-delete.h	impl/src/tooling/verifier/smt_assembly.ts	1	1	7
impl/build/include/headers/mimalloc/mimalloc-new-delete.h	impl/src/tooling/verifier/smttype_emitter.ts	1	1	11
impl/build/include/headers/mimalloc/mimalloc-new-delete.h	impl/src/ast/assembly.ts	1	1	13
impl/build/include/headers/mimalloc/mimalloc-new-delete.h	impl/src/tooling/verifier/runtime/smtruntime.smt2	1	1	8
impl/build/include/headers/mimalloc/mimalloc-new-delete.h	impl/src/tooling/verifier/smt_workflows.ts	1	1	11
impl/build/include/headers/mimalloc/mimalloc-new-delete.h	impl/build/include/headers/z3/z3++.h	1	1	4
impl/build/include/headers/mimalloc/mimalloc-new-delete.h	impl/src/runtimes/bsqcheck.ts	1	1	14
impl/build/include/headers/mimalloc/mimalloc-new-delete.h	impl/build/evaluator_build.js	1	1	2
impl/build/include/headers/mimalloc/mimalloc-new-delete.h	impl/src/ast/parser_env.ts	1	1	7
impl/build/include/headers/mimalloc/mimalloc-new-delete.h	impl/src/compiler/bcgen.ts	1	1	6
impl/build/include/headers/mimalloc/mimalloc-new-delete.h	impl/build/include/headers/z3/z3_api.h	1	1	3
impl/build/include/headers/mimalloc/mimalloc-new-delete.h	impl/src/compiler/mir_assembly.ts	1	1	5
impl/build/include/headers/mimalloc/mimalloc-new-delete.h	impl/src/tooling/icpp/transpiler/icppdecls_emitter.ts	1	1	5
impl/build/include/headers/mimalloc/mimalloc-new-delete.h	impl/src/tooling/verifier/evaluator/decls.cpp	1	1	9
impl/build/include/headers/mimalloc/mimalloc-new-delete.h	impl/src/tooling/verifier/evaluator/decls.h	1	1	6
impl/build/include/headers/mimalloc/mimalloc-new-delete.h	impl/src/tooling/verifier/evaluator/workflows.cpp	1	1	6
impl/build/include/headers/mimalloc/mimalloc-new-delete.h	impl/src/tooling/icpp/interpreter/runtime/bsqvalue.cpp	1	1	9
impl/build/include/headers/mimalloc/mimalloc-new-delete.h	impl/src/tooling/icpp/interpreter/runtime/bsqvalue.h	1	1	7
impl/build/include/headers/mimalloc/mimalloc-new-delete.h	impl/src/tooling/icpp/transpiler/icpp_assembly.ts	1	1	5
impl/build/include/headers/mimalloc/mimalloc-new-delete.h	impl/src/tooling/icpp/transpiler/icpptype_emitter.ts	1	1	4
impl/build/include/headers/mimalloc/mimalloc-new-delete.h	impl/src/tooling/icpp/interpreter/runner.cpp	1	1	9
impl/build/include/headers/mimalloc/mimalloc-new-delete.h	impl/src/tooling/icpp/interpreter/assembly/bsqop.cpp	1	1	7
impl/build/include/headers/mimalloc/mimalloc-new-delete.h	impl/src/tooling/icpp/interpreter/assembly/bsqop.h	1	1	5
impl/build/include/headers/mimalloc/mimalloc-new-delete.h	impl/src/tooling/icpp/interpreter/op_eval.h	1	1	6
impl/build/include/headers/mimalloc/mimalloc-new-delete.h	impl/build/interpreter_build.js	1	1	4
impl/build/include/headers/mimalloc/mimalloc-new-delete.h	impl/src/tooling/icpp/interpreter/assembly/bsqassembly.cpp	1	1	6
impl/build/include/headers/mimalloc/mimalloc-new-delete.h	impl/build/include/headers/z3/z3_fpa.h	1	1	2
impl/build/include/headers/mimalloc/mimalloc-new-delete.h	impl/build/include/headers/z3/z3_optimization.h	1	1	2
impl/build/include/headers/mimalloc/mimalloc-new-delete.h	impl/build/include/headers/json/json.hpp	1	1	1
impl/build/include/headers/mimalloc/mimalloc-new-delete.h	impl/build/include/headers/mimalloc/mimalloc-atomic.h	1	1	1
impl/build/include/headers/mimalloc/mimalloc-new-delete.h	impl/build/include/headers/mimalloc/mimalloc-internal.h	1	1	1
impl/build/include/headers/mimalloc/mimalloc-override.h	impl/src/tooling/verifier/smtcollection_emitter.ts	1	1	10
impl/build/include/headers/mimalloc/mimalloc-override.h	impl/src/tooling/verifier/smtdecls_emitter.ts	1	1	12
impl/build/include/headers/mimalloc/mimalloc-override.h	impl/src/tooling/verifier/smt_assembly.ts	1	1	7
impl/build/include/headers/mimalloc/mimalloc-override.h	impl/src/tooling/verifier/smttype_emitter.ts	1	1	11
impl/build/include/headers/mimalloc/mimalloc-override.h	impl/src/ast/assembly.ts	1	1	13
impl/build/include/headers/mimalloc/mimalloc-override.h	impl/src/tooling/verifier/runtime/smtruntime.smt2	1	1	8
impl/build/include/headers/mimalloc/mimalloc-override.h	impl/src/tooling/verifier/smt_workflows.ts	1	1	11
impl/build/include/headers/mimalloc/mimalloc-override.h	impl/build/include/headers/z3/z3++.h	1	1	4
impl/build/include/headers/mimalloc/mimalloc-override.h	impl/src/runtimes/bsqcheck.ts	1	1	14
impl/build/include/headers/mimalloc/mimalloc-override.h	impl/build/evaluator_build.js	1	1	2
impl/build/include/headers/mimalloc/mimalloc-override.h	impl/src/ast/parser_env.ts	1	1	7
impl/build/include/headers/mimalloc/mimalloc-override.h	impl/src/compiler/bcgen.ts	1	1	6
impl/build/include/headers/mimalloc/mimalloc-override.h	impl/build/include/headers/z3/z3_api.h	1	1	3
impl/build/include/headers/mimalloc/mimalloc-override.h	impl/src/compiler/mir_assembly.ts	1	1	5
impl/build/include/headers/mimalloc/mimalloc-override.h	impl/src/tooling/icpp/transpiler/icppdecls_emitter.ts	1	1	5
impl/build/include/headers/mimalloc/mimalloc-override.h	impl/src/tooling/verifier/evaluator/decls.cpp	1	1	9
impl/build/include/headers/mimalloc/mimalloc-override.h	impl/src/tooling/verifier/evaluator/decls.h	1	1	6
impl/build/include/headers/mimalloc/mimalloc-override.h	impl/src/tooling/verifier/evaluator/workflows.cpp	1	1	6
impl/build/include/headers/mimalloc/mimalloc-override.h	impl/src/tooling/icpp/interpreter/runtime/bsqvalue.cpp	1	1	9
impl/build/include/headers/mimalloc/mimalloc-override.h	impl/src/tooling/icpp/interpreter/runtime/bsqvalue.h	1	1	7
impl/build/include/headers/mimalloc/mimalloc-override.h	impl/src/tooling/icpp/transpiler/icpp_assembly.ts	1	1	5
impl/build/include/headers/mimalloc/mimalloc-override.h	impl/src/tooling/icpp/transpiler/icpptype_emitter.ts	1	1	4
impl/build/include/headers/mimalloc/mimalloc-override.h	impl/src/tooling/icpp/interpreter/runner.cpp	1	1	9
impl/build/include/headers/mimalloc/mimalloc-override.h	impl/src/tooling/icpp/interpreter/assembly/bsqop.cpp	1	1	7
impl/build/include/headers/mimalloc/mimalloc-override.h	impl/src/tooling/icpp/interpreter/assembly/bsqop.h	1	1	5
impl/build/include/headers/mimalloc/mimalloc-override.h	impl/src/tooling/icpp/interpreter/op_eval.h	1	1	6
impl/build/include/headers/mimalloc/mimalloc-override.h	impl/build/interpreter_build.js	1	1	4
impl/build/include/headers/mimalloc/mimalloc-override.h	impl/src/tooling/icpp/interpreter/assembly/bsqassembly.cpp	1	1	6
impl/build/include/headers/mimalloc/mimalloc-override.h	impl/build/include/headers/z3/z3_fpa.h	1	1	2
impl/build/include/headers/mimalloc/mimalloc-override.h	impl/build/include/headers/z3/z3_optimization.h	1	1	2
impl/build/include/headers/mimalloc/mimalloc-override.h	impl/build/include/headers/json/json.hpp	1	1	1
impl/build/include/headers/mimalloc/mimalloc-override.h	impl/build/include/headers/mimalloc/mimalloc-atomic.h	1	1	1
impl/build/include/headers/mimalloc/mimalloc-override.h	impl/build/include/headers/mimalloc/mimalloc-internal.h	1	1	1
impl/build/include/headers/mimalloc/mimalloc-override.h	impl/build/include/headers/mimalloc/mimalloc-new-delete.h	1	1	1
impl/build/include/headers/mimalloc/mimalloc-types.h	impl/src/tooling/verifier/smtcollection_emitter.ts	1	1	10
impl/build/include/headers/mimalloc/mimalloc-types.h	impl/src/tooling/verifier/smtdecls_emitter.ts	1	1	12
impl/build/include/headers/mimalloc/mimalloc-types.h	impl/src/tooling/verifier/smt_assembly.ts	1	1	7
impl/build/include/headers/mimalloc/mimalloc-types.h	impl/src/tooling/verifier/smttype_emitter.ts	1	1	11
impl/build/include/headers/mimalloc/mimalloc-types.h	impl/src/ast/assembly.ts	1	1	13
impl/build/include/headers/mimalloc/mimalloc-types.h	impl/src/tooling/verifier/runtime/smtruntime.smt2	1	1	8
impl/build/include/headers/mimalloc/mimalloc-types.h	impl/src/tooling/verifier/smt_workflows.ts	1	1	11
impl/build/include/headers/mimalloc/mimalloc-types.h	impl/build/include/headers/z3/z3++.h	1	1	4
impl/build/include/headers/mimalloc/mimalloc-types.h	impl/src/runtimes/bsqcheck.ts	1	1	14
impl/build/include/headers/mimalloc/mimalloc-types.h	impl/build/evaluator_build.js	1	1	2
impl/build/include/headers/mimalloc/mimalloc-types.h	impl/src/ast/parser_env.ts	1	1	7
impl/build/include/headers/mimalloc/mimalloc-types.h	impl/src/compiler/bcgen.ts	1	1	6
impl/build/include/headers/mimalloc/mimalloc-types.h	impl/build/include/headers/z3/z3_api.h	1	1	3
impl/build/include/headers/mimalloc/mimalloc-types.h	impl/src/compiler/mir_assembly.ts	1	1	5
impl/build/include/headers/mimalloc/mimalloc-types.h	impl/src/tooling/icpp/transpiler/icppdecls_emitter.ts	1	1	5
impl/build/include/headers/mimalloc/mimalloc-types.h	impl/src/tooling/verifier/evaluator/decls.cpp	1	1	9
impl/build/include/headers/mimalloc/mimalloc-types.h	impl/src/tooling/verifier/evaluator/decls.h	1	1	6
impl/build/include/headers/mimalloc/mimalloc-types.h	impl/src/tooling/verifier/evaluator/workflows.cpp	1	1	6
impl/build/include/headers/mimalloc/mimalloc-types.h	impl/src/tooling/icpp/interpreter/runtime/bsqvalue.cpp	1	1	9
impl/build/include/headers/mimalloc/mimalloc-types.h	impl/src/tooling/icpp/interpreter/runtime/bsqvalue.h	1	1	7
impl/build/include/headers/mimalloc/mimalloc-types.h	impl/src/tooling/icpp/transpiler/icpp_assembly.ts	1	1	5
impl/build/include/headers/mimalloc/mimalloc-types.h	impl/src/tooling/icpp/transpiler/icpptype_emitter.ts	1	1	4
impl/build/include/headers/mimalloc/mimalloc-types.h	impl/src/tooling/icpp/interpreter/runner.cpp	1	1	9
impl/build/include/headers/mimalloc/mimalloc-types.h	impl/src/tooling/icpp/interpreter/assembly/bsqop.cpp	1	1	7
impl/build/include/headers/mimalloc/mimalloc-types.h	impl/src/tooling/icpp/interpreter/assembly/bsqop.h	1	1	5
impl/build/include/headers/mimalloc/mimalloc-types.h	impl/src/tooling/icpp/interpreter/op_eval.h	1	1	6
impl/build/include/headers/mimalloc/mimalloc-types.h	impl/build/interpreter_build.js	1	1	4
impl/build/include/headers/mimalloc/mimalloc-types.h	impl/src/tooling/icpp/interpreter/assembly/bsqassembly.cpp	1	1	6
impl/build/include/headers/mimalloc/mimalloc-types.h	impl/build/include/headers/z3/z3_fpa.h	1	1	2
impl/build/include/headers/mimalloc/mimalloc-types.h	impl/build/include/headers/z3/z3_optimization.h	1	1	2
impl/build/include/headers/mimalloc/mimalloc-types.h	impl/build/include/headers/json/json.hpp	1	1	1
impl/build/include/headers/mimalloc/mimalloc-types.h	impl/build/include/headers/mimalloc/mimalloc-atomic.h	1	1	1
impl/build/include/headers/mimalloc/mimalloc-types.h	impl/build/include/headers/mimalloc/mimalloc-internal.h	1	1	1
impl/build/include/headers/mimalloc/mimalloc-types.h	impl/build/include/headers/mimalloc/mimalloc-new-delete.h	1	1	1
impl/build/include/headers/mimalloc/mimalloc-types.h	impl/build/include/headers/mimalloc/mimalloc-override.h	1	1	1
impl/build/include/headers/mimalloc/mimalloc.h	impl/src/tooling/verifier/smtcollection_emitter.ts	1	1	10
impl/build/include/headers/mimalloc/mimalloc.h	impl/src/tooling/verifier/smtdecls_emitter.ts	1	1	12
impl/build/include/headers/mimalloc/mimalloc.h	impl/src/tooling/verifier/smt_assembly.ts	1	1	7
impl/build/include/headers/mimalloc/mimalloc.h	impl/src/tooling/verifier/smttype_emitter.ts	1	1	11
impl/build/include/headers/mimalloc/mimalloc.h	impl/src/ast/assembly.ts	1	1	13
impl/build/include/headers/mimalloc/mimalloc.h	impl/src/tooling/verifier/runtime/smtruntime.smt2	1	1	8
impl/build/include/headers/mimalloc/mimalloc.h	impl/src/tooling/verifier/smt_workflows.ts	1	1	11
impl/build/include/headers/mimalloc/mimalloc.h	impl/build/include/headers/z3/z3++.h	1	1	4
impl/build/include/headers/mimalloc/mimalloc.h	impl/src/runtimes/bsqcheck.ts	1	1	14
impl/build/include/headers/mimalloc/mimalloc.h	impl/build/evaluator_build.js	1	1	2
impl/build/include/headers/mimalloc/mimalloc.h	impl/src/ast/parser_env.ts	1	1	7
impl/build/include/headers/mimalloc/mimalloc.h	impl/src/compiler/bcgen.ts	1	1	6
impl/build/include/headers/mimalloc/mimalloc.h	impl/build/include/headers/z3/z3_api.h	1	1	3
impl/build/include/headers/mimalloc/mimalloc.h	impl/src/compiler/mir_assembly.ts	1	1	5
impl/build/include/headers/mimalloc/mimalloc.h	impl/src/tooling/icpp/transpiler/icppdecls_emitter.ts	1	1	5
impl/build/include/headers/mimalloc/mimalloc.h	impl/src/tooling/verifier/evaluator/decls.cpp	1	1	9
impl/build/include/headers/mimalloc/mimalloc.h	impl/src/tooling/verifier/evaluator/decls.h	1	1	6
impl/build/include/headers/mimalloc/mimalloc.h	impl/src/tooling/verifier/evaluator/workflows.cpp	1	1	6
impl/build/include/headers/mimalloc/mimalloc.h	impl/src/tooling/icpp/interpreter/runtime/bsqvalue.cpp	1	1	9
impl/build/include/headers/mimalloc/mimalloc.h	impl/src/tooling/icpp/interpreter/runtime/bsqvalue.h	1	1	7
impl/build/include/headers/mimalloc/mimalloc.h	impl/src/tooling/icpp/transpiler/icpp_assembly.ts	1	1	5
impl/build/include/headers/mimalloc/mimalloc.h	impl/src/tooling/icpp/transpiler/icpptype_emitter.ts	1	1	4
impl/build/include/headers/mimalloc/mimalloc.h	impl/src/tooling/icpp/interpreter/runner.cpp	1	1	9
impl/build/include/headers/mimalloc/mimalloc.h	impl/src/tooling/icpp/interpreter/assembly/bsqop.cpp	1	1	7
impl/build/include/headers/mimalloc/mimalloc.h	impl/src/tooling/icpp/interpreter/assembly/bsqop.h	1	1	5
impl/build/include/headers/mimalloc/mimalloc.h	impl/src/tooling/icpp/interpreter/op_eval.h	1	1	6
impl/build/include/headers/mimalloc/mimalloc.h	impl/build/interpreter_build.js	1	1	4
impl/build/include/headers/mimalloc/mimalloc.h	impl/src/tooling/icpp/interpreter/assembly/bsqassembly.cpp	1	1	6
impl/build/include/headers/mimalloc/mimalloc.h	impl/build/include/headers/z3/z3_fpa.h	1	1	2
impl/build/include/headers/mimalloc/mimalloc.h	impl/build/include/headers/z3/z3_optimization.h	1	1	2
impl/build/include/headers/mimalloc/mimalloc.h	impl/build/include/headers/json/json.hpp	1	1	1
impl/build/include/headers/mimalloc/mimalloc.h	impl/build/include/headers/mimalloc/mimalloc-atomic.h	1	1	1
impl/build/include/headers/mimalloc/mimalloc.h	impl/build/include/headers/mimalloc/mimalloc-internal.h	1	1	1
impl/build/include/headers/mimalloc/mimalloc.h	impl/build/include/headers/mimalloc/mimalloc-new-delete.h	1	1	1
impl/build/include/headers/mimalloc/mimalloc.h	impl/build/include/headers/mimalloc/mimalloc-override.h	1	1	1
impl/build/include/headers/mimalloc/mimalloc.h	impl/build/include/headers/mimalloc/mimalloc-types.h	1	1	1
impl/build/include/headers/z3/z3.h	impl/src/tooling/verifier/smtcollection_emitter.ts	1	1	10
impl/build/include/headers/z3/z3.h	impl/src/tooling/verifier/smtdecls_emitter.ts	1	1	12
impl/build/include/headers/z3/z3.h	impl/src/tooling/verifier/smt_assembly.ts	1	1	7
impl/build/include/headers/z3/z3.h	impl/src/tooling/verifier/smttype_emitter.ts	1	1	11
impl/build/include/headers/z3/z3.h	impl/src/ast/assembly.ts	1	1	13
impl/build/include/headers/z3/z3.h	impl/src/tooling/verifier/runtime/smtruntime.smt2	1	1	8
impl/build/include/headers/z3/z3.h	impl/src/tooling/verifier/smt_workflows.ts	1	1	11
impl/build/include/headers/z3/z3.h	impl/build/include/headers/z3/z3++.h	1	1	4
impl/build/include/headers/z3/z3.h	impl/src/runtimes/bsqcheck.ts	1	1	14
impl/build/include/headers/z3/z3.h	impl/build/evaluator_build.js	1	1	2
impl/build/include/headers/z3/z3.h	impl/src/ast/parser_env.ts	1	1	7
impl/build/include/headers/z3/z3.h	impl/src/compiler/bcgen.ts	1	1	6
impl/build/include/headers/z3/z3.h	impl/build/include/headers/z3/z3_api.h	1	1	3
impl/build/include/headers/z3/z3.h	impl/src/compiler/mir_assembly.ts	1	1	5
impl/build/include/headers/z3/z3.h	impl/src/tooling/icpp/transpiler/icppdecls_emitter.ts	1	1	5
impl/build/include/headers/z3/z3.h	impl/src/tooling/verifier/evaluator/decls.cpp	1	1	9
impl/build/include/headers/z3/z3.h	impl/src/tooling/verifier/evaluator/decls.h	1	1	6
impl/build/include/headers/z3/z3.h	impl/src/tooling/verifier/evaluator/workflows.cpp	1	1	6
impl/build/include/headers/z3/z3.h	impl/src/tooling/icpp/interpreter/runtime/bsqvalue.cpp	1	1	9
impl/build/include/headers/z3/z3.h	impl/src/tooling/icpp/interpreter/runtime/bsqvalue.h	1	1	7
impl/build/include/headers/z3/z3.h	impl/src/tooling/icpp/transpiler/icpp_assembly.ts	1	1	5
impl/build/include/headers/z3/z3.h	impl/src/tooling/icpp/transpiler/icpptype_emitter.ts	1	1	4
impl/build/include/headers/z3/z3.h	impl/src/tooling/icpp/interpreter/runner.cpp	1	1	9
impl/build/include/headers/z3/z3.h	impl/src/tooling/icpp/interpreter/assembly/bsqop.cpp	1	1	7
impl/build/include/headers/z3/z3.h	impl/src/tooling/icpp/interpreter/assembly/bsqop.h	1	1	5
impl/build/include/headers/z3/z3.h	impl/src/tooling/icpp/interpreter/op_eval.h	1	1	6
impl/build/include/headers/z3/z3.h	impl/build/interpreter_build.js	1	1	4
impl/build/include/headers/z3/z3.h	impl/src/tooling/icpp/interpreter/assembly/bsqassembly.cpp	1	1	6
impl/build/include/headers/z3/z3.h	impl/build/include/headers/z3/z3_fpa.h	1	1	2
impl/build/include/headers/z3/z3.h	impl/build/include/headers/z3/z3_optimization.h	1	1	2
impl/build/include/headers/z3/z3.h	impl/build/include/headers/json/json.hpp	1	1	1
impl/build/include/headers/z3/z3.h	impl/build/include/headers/mimalloc/mimalloc-atomic.h	1	1	1
impl/build/include/headers/z3/z3.h	impl/build/include/headers/mimalloc/mimalloc-internal.h	1	1	1
impl/build/include/headers/z3/z3.h	impl/build/include/headers/mimalloc/mimalloc-new-delete.h	1	1	1
impl/build/include/headers/z3/z3.h	impl/build/include/headers/mimalloc/mimalloc-override.h	1	1	1
impl/build/include/headers/z3/z3.h	impl/build/include/headers/mimalloc/mimalloc-types.h	1	1	1
impl/build/include/headers/z3/z3.h	impl/build/include/headers/mimalloc/mimalloc.h	1	1	1
impl/build/include/headers/z3/z3_algebraic.h	impl/src/tooling/verifier/smtcollection_emitter.ts	1	1	10
impl/build/include/headers/z3/z3_algebraic.h	impl/src/tooling/verifier/smtdecls_emitter.ts	1	1	12
impl/build/include/headers/z3/z3_algebraic.h	impl/src/tooling/verifier/smt_assembly.ts	1	1	7
impl/build/include/headers/z3/z3_algebraic.h	impl/src/tooling/verifier/smttype_emitter.ts	1	1	11
impl/build/include/headers/z3/z3_algebraic.h	impl/src/ast/assembly.ts	1	1	13
impl/build/include/headers/z3/z3_algebraic.h	impl/src/tooling/verifier/runtime/smtruntime.smt2	1	1	8
impl/build/include/headers/z3/z3_algebraic.h	impl/src/tooling/verifier/smt_workflows.ts	1	1	11
impl/build/include/headers/z3/z3_algebraic.h	impl/build/include/headers/z3/z3++.h	1	1	4
impl/build/include/headers/z3/z3_algebraic.h	impl/src/runtimes/bsqcheck.ts	1	1	14
impl/build/include/headers/z3/z3_algebraic.h	impl/build/evaluator_build.js	1	1	2
impl/build/include/headers/z3/z3_algebraic.h	impl/src/ast/parser_env.ts	1	1	7
impl/build/include/headers/z3/z3_algebraic.h	impl/src/compiler/bcgen.ts	1	1	6
impl/build/include/headers/z3/z3_algebraic.h	impl/build/include/headers/z3/z3_api.h	1	1	3
impl/build/include/headers/z3/z3_algebraic.h	impl/src/compiler/mir_assembly.ts	1	1	5
impl/build/include/headers/z3/z3_algebraic.h	impl/src/tooling/icpp/transpiler/icppdecls_emitter.ts	1	1	5
impl/build/include/headers/z3/z3_algebraic.h	impl/src/tooling/verifier/evaluator/decls.cpp	1	1	9
impl/build/include/headers/z3/z3_algebraic.h	impl/src/tooling/verifier/evaluator/decls.h	1	1	6
impl/build/include/headers/z3/z3_algebraic.h	impl/src/tooling/verifier/evaluator/workflows.cpp	1	1	6
impl/build/include/headers/z3/z3_algebraic.h	impl/src/tooling/icpp/interpreter/runtime/bsqvalue.cpp	1	1	9
impl/build/include/headers/z3/z3_algebraic.h	impl/src/tooling/icpp/interpreter/runtime/bsqvalue.h	1	1	7
impl/build/include/headers/z3/z3_algebraic.h	impl/src/tooling/icpp/transpiler/icpp_assembly.ts	1	1	5
impl/build/include/headers/z3/z3_algebraic.h	impl/src/tooling/icpp/transpiler/icpptype_emitter.ts	1	1	4
impl/build/include/headers/z3/z3_algebraic.h	impl/src/tooling/icpp/interpreter/runner.cpp	1	1	9
impl/build/include/headers/z3/z3_algebraic.h	impl/src/tooling/icpp/interpreter/assembly/bsqop.cpp	1	1	7
impl/build/include/headers/z3/z3_algebraic.h	impl/src/tooling/icpp/interpreter/assembly/bsqop.h	1	1	5
impl/build/include/headers/z3/z3_algebraic.h	impl/src/tooling/icpp/interpreter/op_eval.h	1	1	6
impl/build/include/headers/z3/z3_algebraic.h	impl/build/interpreter_build.js	1	1	4
impl/build/include/headers/z3/z3_algebraic.h	impl/src/tooling/icpp/interpreter/assembly/bsqassembly.cpp	1	1	6
impl/build/include/headers/z3/z3_algebraic.h	impl/build/include/headers/z3/z3_fpa.h	1	1	2
impl/build/include/headers/z3/z3_algebraic.h	impl/build/include/headers/z3/z3_optimization.h	1	1	2
impl/build/include/headers/z3/z3_algebraic.h	impl/build/include/headers/json/json.hpp	1	1	1
impl/build/include/headers/z3/z3_algebraic.h	impl/build/include/headers/mimalloc/mimalloc-atomic.h	1	1	1
impl/build/include/headers/z3/z3_algebraic.h	impl/build/include/headers/mimalloc/mimalloc-internal.h	1	1	1
impl/build/include/headers/z3/z3_algebraic.h	impl/build/include/headers/mimalloc/mimalloc-new-delete.h	1	1	1
impl/build/include/headers/z3/z3_algebraic.h	impl/build/include/headers/mimalloc/mimalloc-override.h	1	1	1
impl/build/include/headers/z3/z3_algebraic.h	impl/build/include/headers/mimalloc/mimalloc-types.h	1	1	1
impl/build/include/headers/z3/z3_algebraic.h	impl/build/include/headers/mimalloc/mimalloc.h	1	1	1
impl/build/include/headers/z3/z3_algebraic.h	impl/build/include/headers/z3/z3.h	1	1	1
impl/build/include/headers/z3/z3_ast_containers.h	impl/src/tooling/verifier/smtcollection_emitter.ts	1	1	10
impl/build/include/headers/z3/z3_ast_containers.h	impl/src/tooling/verifier/smtdecls_emitter.ts	1	1	12
impl/build/include/headers/z3/z3_ast_containers.h	impl/src/tooling/verifier/smt_assembly.ts	1	1	7
impl/build/include/headers/z3/z3_ast_containers.h	impl/src/tooling/verifier/smttype_emitter.ts	1	1	11
impl/build/include/headers/z3/z3_ast_containers.h	impl/src/ast/assembly.ts	1	1	13
impl/build/include/headers/z3/z3_ast_containers.h	impl/src/tooling/verifier/runtime/smtruntime.smt2	1	1	8
impl/build/include/headers/z3/z3_ast_containers.h	impl/src/tooling/verifier/smt_workflows.ts	1	1	11
impl/build/include/headers/z3/z3_ast_containers.h	impl/build/include/headers/z3/z3++.h	1	1	4
impl/build/include/headers/z3/z3_ast_containers.h	impl/src/runtimes/bsqcheck.ts	1	1	14
impl/build/include/headers/z3/z3_ast_containers.h	impl/build/evaluator_build.js	1	1	2
impl/build/include/headers/z3/z3_ast_containers.h	impl/src/ast/parser_env.ts	1	1	7
impl/build/include/headers/z3/z3_ast_containers.h	impl/src/compiler/bcgen.ts	1	1	6
impl/build/include/headers/z3/z3_ast_containers.h	impl/build/include/headers/z3/z3_api.h	1	1	3
impl/build/include/headers/z3/z3_ast_containers.h	impl/src/compiler/mir_assembly.ts	1	1	5
impl/build/include/headers/z3/z3_ast_containers.h	impl/src/tooling/icpp/transpiler/icppdecls_emitter.ts	1	1	5
impl/build/include/headers/z3/z3_ast_containers.h	impl/src/tooling/verifier/evaluator/decls.cpp	1	1	9
impl/build/include/headers/z3/z3_ast_containers.h	impl/src/tooling/verifier/evaluator/decls.h	1	1	6
impl/build/include/headers/z3/z3_ast_containers.h	impl/src/tooling/verifier/evaluator/workflows.cpp	1	1	6
impl/build/include/headers/z3/z3_ast_containers.h	impl/src/tooling/icpp/interpreter/runtime/bsqvalue.cpp	1	1	9
impl/build/include/headers/z3/z3_ast_containers.h	impl/src/tooling/icpp/interpreter/runtime/bsqvalue.h	1	1	7
impl/build/include/headers/z3/z3_ast_containers.h	impl/src/tooling/icpp/transpiler/icpp_assembly.ts	1	1	5
impl/build/include/headers/z3/z3_ast_containers.h	impl/src/tooling/icpp/transpiler/icpptype_emitter.ts	1	1	4
impl/build/include/headers/z3/z3_ast_containers.h	impl/src/tooling/icpp/interpreter/runner.cpp	1	1	9
impl/build/include/headers/z3/z3_ast_containers.h	impl/src/tooling/icpp/interpreter/assembly/bsqop.cpp	1	1	7
impl/build/include/headers/z3/z3_ast_containers.h	impl/src/tooling/icpp/interpreter/assembly/bsqop.h	1	1	5
impl/build/include/headers/z3/z3_ast_containers.h	impl/src/tooling/icpp/interpreter/op_eval.h	1	1	6
impl/build/include/headers/z3/z3_ast_containers.h	impl/build/interpreter_build.js	1	1	4
impl/build/include/headers/z3/z3_ast_containers.h	impl/src/tooling/icpp/interpreter/assembly/bsqassembly.cpp	1	1	6
impl/build/include/headers/z3/z3_ast_containers.h	impl/build/include/headers/z3/z3_fpa.h	1	1	2
impl/build/include/headers/z3/z3_ast_containers.h	impl/build/include/headers/z3/z3_optimization.h	1	1	2
impl/build/include/headers/z3/z3_ast_containers.h	impl/build/include/headers/json/json.hpp	1	1	1
impl/build/include/headers/z3/z3_ast_containers.h	impl/build/include/headers/mimalloc/mimalloc-atomic.h	1	1	1
impl/build/include/headers/z3/z3_ast_containers.h	impl/build/include/headers/mimalloc/mimalloc-internal.h	1	1	1
impl/build/include/headers/z3/z3_ast_containers.h	impl/build/include/headers/mimalloc/mimalloc-new-delete.h	1	1	1
impl/build/include/headers/z3/z3_ast_containers.h	impl/build/include/headers/mimalloc/mimalloc-override.h	1	1	1
impl/build/include/headers/z3/z3_ast_containers.h	impl/build/include/headers/mimalloc/mimalloc-types.h	1	1	1
impl/build/include/headers/z3/z3_ast_containers.h	impl/build/include/headers/mimalloc/mimalloc.h	1	1	1
impl/build/include/headers/z3/z3_ast_containers.h	impl/build/include/headers/z3/z3.h	1	1	1
impl/build/include/headers/z3/z3_ast_containers.h	impl/build/include/headers/z3/z3_algebraic.h	1	1	1
impl/build/include/headers/z3/z3_fixedpoint.h	impl/src/tooling/verifier/smtcollection_emitter.ts	1	1	10
impl/build/include/headers/z3/z3_fixedpoint.h	impl/src/tooling/verifier/smtdecls_emitter.ts	1	1	12
impl/build/include/headers/z3/z3_fixedpoint.h	impl/src/tooling/verifier/smt_assembly.ts	1	1	7
impl/build/include/headers/z3/z3_fixedpoint.h	impl/src/tooling/verifier/smttype_emitter.ts	1	1	11
impl/build/include/headers/z3/z3_fixedpoint.h	impl/src/ast/assembly.ts	1	1	13
impl/build/include/headers/z3/z3_fixedpoint.h	impl/src/tooling/verifier/runtime/smtruntime.smt2	1	1	8
impl/build/include/headers/z3/z3_fixedpoint.h	impl/src/tooling/verifier/smt_workflows.ts	1	1	11
impl/build/include/headers/z3/z3_fixedpoint.h	impl/build/include/headers/z3/z3++.h	1	1	4
impl/build/include/headers/z3/z3_fixedpoint.h	impl/src/runtimes/bsqcheck.ts	1	1	14
impl/build/include/headers/z3/z3_fixedpoint.h	impl/build/evaluator_build.js	1	1	2
impl/build/include/headers/z3/z3_fixedpoint.h	impl/src/ast/parser_env.ts	1	1	7
impl/build/include/headers/z3/z3_fixedpoint.h	impl/src/compiler/bcgen.ts	1	1	6
impl/build/include/headers/z3/z3_fixedpoint.h	impl/build/include/headers/z3/z3_api.h	1	1	3
impl/build/include/headers/z3/z3_fixedpoint.h	impl/src/compiler/mir_assembly.ts	1	1	5
impl/build/include/headers/z3/z3_fixedpoint.h	impl/src/tooling/icpp/transpiler/icppdecls_emitter.ts	1	1	5
impl/build/include/headers/z3/z3_fixedpoint.h	impl/src/tooling/verifier/evaluator/decls.cpp	1	1	9
impl/build/include/headers/z3/z3_fixedpoint.h	impl/src/tooling/verifier/evaluator/decls.h	1	1	6
impl/build/include/headers/z3/z3_fixedpoint.h	impl/src/tooling/verifier/evaluator/workflows.cpp	1	1	6
impl/build/include/headers/z3/z3_fixedpoint.h	impl/src/tooling/icpp/interpreter/runtime/bsqvalue.cpp	1	1	9
impl/build/include/headers/z3/z3_fixedpoint.h	impl/src/tooling/icpp/interpreter/runtime/bsqvalue.h	1	1	7
impl/build/include/headers/z3/z3_fixedpoint.h	impl/src/tooling/icpp/transpiler/icpp_assembly.ts	1	1	5
impl/build/include/headers/z3/z3_fixedpoint.h	impl/src/tooling/icpp/transpiler/icpptype_emitter.ts	1	1	4
impl/build/include/headers/z3/z3_fixedpoint.h	impl/src/tooling/icpp/interpreter/runner.cpp	1	1	9
impl/build/include/headers/z3/z3_fixedpoint.h	impl/src/tooling/icpp/interpreter/assembly/bsqop.cpp	1	1	7
impl/build/include/headers/z3/z3_fixedpoint.h	impl/src/tooling/icpp/interpreter/assembly/bsqop.h	1	1	5
impl/build/include/headers/z3/z3_fixedpoint.h	impl/src/tooling/icpp/interpreter/op_eval.h	1	1	6
impl/build/include/headers/z3/z3_fixedpoint.h	impl/build/interpreter_build.js	1	1	4
impl/build/include/headers/z3/z3_fixedpoint.h	impl/src/tooling/icpp/interpreter/assembly/bsqassembly.cpp	1	1	6
impl/build/include/headers/z3/z3_fixedpoint.h	impl/build/include/headers/z3/z3_fpa.h	1	1	2
impl/build/include/headers/z3/z3_fixedpoint.h	impl/build/include/headers/z3/z3_optimization.h	1	1	2
impl/build/include/headers/z3/z3_fixedpoint.h	impl/build/include/headers/json/json.hpp	1	1	1
impl/build/include/headers/z3/z3_fixedpoint.h	impl/build/include/headers/mimalloc/mimalloc-atomic.h	1	1	1
impl/build/include/headers/z3/z3_fixedpoint.h	impl/build/include/headers/mimalloc/mimalloc-internal.h	1	1	1
impl/build/include/headers/z3/z3_fixedpoint.h	impl/build/include/headers/mimalloc/mimalloc-new-delete.h	1	1	1
impl/build/include/headers/z3/z3_fixedpoint.h	impl/build/include/headers/mimalloc/mimalloc-override.h	1	1	1
impl/build/include/headers/z3/z3_fixedpoint.h	impl/build/include/headers/mimalloc/mimalloc-types.h	1	1	1
impl/build/include/headers/z3/z3_fixedpoint.h	impl/build/include/headers/mimalloc/mimalloc.h	1	1	1
impl/build/include/headers/z3/z3_fixedpoint.h	impl/build/include/headers/z3/z3.h	1	1	1
impl/build/include/headers/z3/z3_fixedpoint.h	impl/build/include/headers/z3/z3_algebraic.h	1	1	1
impl/build/include/headers/z3/z3_fixedpoint.h	impl/build/include/headers/z3/z3_ast_containers.h	1	1	1
impl/build/include/headers/z3/z3_macros.h	impl/src/tooling/verifier/smtcollection_emitter.ts	1	1	10
impl/build/include/headers/z3/z3_macros.h	impl/src/tooling/verifier/smtdecls_emitter.ts	1	1	12
impl/build/include/headers/z3/z3_macros.h	impl/src/tooling/verifier/smt_assembly.ts	1	1	7
impl/build/include/headers/z3/z3_macros.h	impl/src/tooling/verifier/smttype_emitter.ts	1	1	11
impl/build/include/headers/z3/z3_macros.h	impl/src/ast/assembly.ts	1	1	13
impl/build/include/headers/z3/z3_macros.h	impl/src/tooling/verifier/runtime/smtruntime.smt2	1	1	8
impl/build/include/headers/z3/z3_macros.h	impl/src/tooling/verifier/smt_workflows.ts	1	1	11
impl/build/include/headers/z3/z3_macros.h	impl/build/include/headers/z3/z3++.h	1	1	4
impl/build/include/headers/z3/z3_macros.h	impl/src/runtimes/bsqcheck.ts	1	1	14
impl/build/include/headers/z3/z3_macros.h	impl/build/evaluator_build.js	1	1	2
impl/build/include/headers/z3/z3_macros.h	impl/src/ast/parser_env.ts	1	1	7
impl/build/include/headers/z3/z3_macros.h	impl/src/compiler/bcgen.ts	1	1	6
impl/build/include/headers/z3/z3_macros.h	impl/build/include/headers/z3/z3_api.h	1	1	3
impl/build/include/headers/z3/z3_macros.h	impl/src/compiler/mir_assembly.ts	1	1	5
impl/build/include/headers/z3/z3_macros.h	impl/src/tooling/icpp/transpiler/icppdecls_emitter.ts	1	1	5
impl/build/include/headers/z3/z3_macros.h	impl/src/tooling/verifier/evaluator/decls.cpp	1	1	9
impl/build/include/headers/z3/z3_macros.h	impl/src/tooling/verifier/evaluator/decls.h	1	1	6
impl/build/include/headers/z3/z3_macros.h	impl/src/tooling/verifier/evaluator/workflows.cpp	1	1	6
impl/build/include/headers/z3/z3_macros.h	impl/src/tooling/icpp/interpreter/runtime/bsqvalue.cpp	1	1	9
impl/build/include/headers/z3/z3_macros.h	impl/src/tooling/icpp/interpreter/runtime/bsqvalue.h	1	1	7
impl/build/include/headers/z3/z3_macros.h	impl/src/tooling/icpp/transpiler/icpp_assembly.ts	1	1	5
impl/build/include/headers/z3/z3_macros.h	impl/src/tooling/icpp/transpiler/icpptype_emitter.ts	1	1	4
impl/build/include/headers/z3/z3_macros.h	impl/src/tooling/icpp/interpreter/runner.cpp	1	1	9
impl/build/include/headers/z3/z3_macros.h	impl/src/tooling/icpp/interpreter/assembly/bsqop.cpp	1	1	7
impl/build/include/headers/z3/z3_macros.h	impl/src/tooling/icpp/interpreter/assembly/bsqop.h	1	1	5
impl/build/include/headers/z3/z3_macros.h	impl/src/tooling/icpp/interpreter/op_eval.h	1	1	6
impl/build/include/headers/z3/z3_macros.h	impl/build/interpreter_build.js	1	1	4
impl/build/include/headers/z3/z3_macros.h	impl/src/tooling/icpp/interpreter/assembly/bsqassembly.cpp	1	1	6
impl/build/include/headers/z3/z3_macros.h	impl/build/include/headers/z3/z3_fpa.h	1	1	2
impl/build/include/headers/z3/z3_macros.h	impl/build/include/headers/z3/z3_optimization.h	1	1	2
impl/build/include/headers/z3/z3_macros.h	impl/build/include/headers/json/json.hpp	1	1	1
impl/build/include/headers/z3/z3_macros.h	impl/build/include/headers/mimalloc/mimalloc-atomic.h	1	1	1
impl/build/include/headers/z3/z3_macros.h	impl/build/include/headers/mimalloc/mimalloc-internal.h	1	1	1
impl/build/include/headers/z3/z3_macros.h	impl/build/include/headers/mimalloc/mimalloc-new-delete.h	1	1	1
impl/build/include/headers/z3/z3_macros.h	impl/build/include/headers/mimalloc/mimalloc-override.h	1	1	1
impl/build/include/headers/z3/z3_macros.h	impl/build/include/headers/mimalloc/mimalloc-types.h	1	1	1
impl/build/include/headers/z3/z3_macros.h	impl/build/include/headers/mimalloc/mimalloc.h	1	1	1
impl/build/include/headers/z3/z3_macros.h	impl/build/include/headers/z3/z3.h	1	1	1
impl/build/include/headers/z3/z3_macros.h	impl/build/include/headers/z3/z3_algebraic.h	1	1	1
impl/build/include/headers/z3/z3_macros.h	impl/build/include/headers/z3/z3_ast_containers.h	1	1	1
impl/build/include/headers/z3/z3_macros.h	impl/build/include/headers/z3/z3_fixedpoint.h	1	1	1
impl/build/include/headers/z3/z3_polynomial.h	impl/src/tooling/verifier/smtcollection_emitter.ts	1	1	10
impl/build/include/headers/z3/z3_polynomial.h	impl/src/tooling/verifier/smtdecls_emitter.ts	1	1	12
impl/build/include/headers/z3/z3_polynomial.h	impl/src/tooling/verifier/smt_assembly.ts	1	1	7
impl/build/include/headers/z3/z3_polynomial.h	impl/src/tooling/verifier/smttype_emitter.ts	1	1	11
impl/build/include/headers/z3/z3_polynomial.h	impl/src/ast/assembly.ts	1	1	13
impl/build/include/headers/z3/z3_polynomial.h	impl/src/tooling/verifier/runtime/smtruntime.smt2	1	1	8
impl/build/include/headers/z3/z3_polynomial.h	impl/src/tooling/verifier/smt_workflows.ts	1	1	11
impl/build/include/headers/z3/z3_polynomial.h	impl/build/include/headers/z3/z3++.h	1	1	4
impl/build/include/headers/z3/z3_polynomial.h	impl/src/runtimes/bsqcheck.ts	1	1	14
impl/build/include/headers/z3/z3_polynomial.h	impl/build/evaluator_build.js	1	1	2
impl/build/include/headers/z3/z3_polynomial.h	impl/src/ast/parser_env.ts	1	1	7
impl/build/include/headers/z3/z3_polynomial.h	impl/src/compiler/bcgen.ts	1	1	6
impl/build/include/headers/z3/z3_polynomial.h	impl/build/include/headers/z3/z3_api.h	1	1	3
impl/build/include/headers/z3/z3_polynomial.h	impl/src/compiler/mir_assembly.ts	1	1	5
impl/build/include/headers/z3/z3_polynomial.h	impl/src/tooling/icpp/transpiler/icppdecls_emitter.ts	1	1	5
impl/build/include/headers/z3/z3_polynomial.h	impl/src/tooling/verifier/evaluator/decls.cpp	1	1	9
impl/build/include/headers/z3/z3_polynomial.h	impl/src/tooling/verifier/evaluator/decls.h	1	1	6
impl/build/include/headers/z3/z3_polynomial.h	impl/src/tooling/verifier/evaluator/workflows.cpp	1	1	6
impl/build/include/headers/z3/z3_polynomial.h	impl/src/tooling/icpp/interpreter/runtime/bsqvalue.cpp	1	1	9
impl/build/include/headers/z3/z3_polynomial.h	impl/src/tooling/icpp/interpreter/runtime/bsqvalue.h	1	1	7
impl/build/include/headers/z3/z3_polynomial.h	impl/src/tooling/icpp/transpiler/icpp_assembly.ts	1	1	5
impl/build/include/headers/z3/z3_polynomial.h	impl/src/tooling/icpp/transpiler/icpptype_emitter.ts	1	1	4
impl/build/include/headers/z3/z3_polynomial.h	impl/src/tooling/icpp/interpreter/runner.cpp	1	1	9
impl/build/include/headers/z3/z3_polynomial.h	impl/src/tooling/icpp/interpreter/assembly/bsqop.cpp	1	1	7
impl/build/include/headers/z3/z3_polynomial.h	impl/src/tooling/icpp/interpreter/assembly/bsqop.h	1	1	5
impl/build/include/headers/z3/z3_polynomial.h	impl/src/tooling/icpp/interpreter/op_eval.h	1	1	6
impl/build/include/headers/z3/z3_polynomial.h	impl/build/interpreter_build.js	1	1	4
impl/build/include/headers/z3/z3_polynomial.h	impl/src/tooling/icpp/interpreter/assembly/bsqassembly.cpp	1	1	6
impl/build/include/headers/z3/z3_polynomial.h	impl/build/include/headers/z3/z3_fpa.h	1	1	2
impl/build/include/headers/z3/z3_polynomial.h	impl/build/include/headers/z3/z3_optimization.h	1	1	2
impl/build/include/headers/z3/z3_polynomial.h	impl/build/include/headers/json/json.hpp	1	1	1
impl/build/include/headers/z3/z3_polynomial.h	impl/build/include/headers/mimalloc/mimalloc-atomic.h	1	1	1
impl/build/include/headers/z3/z3_polynomial.h	impl/build/include/headers/mimalloc/mimalloc-internal.h	1	1	1
impl/build/include/headers/z3/z3_polynomial.h	impl/build/include/headers/mimalloc/mimalloc-new-delete.h	1	1	1
impl/build/include/headers/z3/z3_polynomial.h	impl/build/include/headers/mimalloc/mimalloc-override.h	1	1	1
impl/build/include/headers/z3/z3_polynomial.h	impl/build/include/headers/mimalloc/mimalloc-types.h	1	1	1
impl/build/include/headers/z3/z3_polynomial.h	impl/build/include/headers/mimalloc/mimalloc.h	1	1	1
impl/build/include/headers/z3/z3_polynomial.h	impl/build/include/headers/z3/z3.h	1	1	1
impl/build/include/headers/z3/z3_polynomial.h	impl/build/include/headers/z3/z3_algebraic.h	1	1	1
impl/build/include/headers/z3/z3_polynomial.h	impl/build/include/headers/z3/z3_ast_containers.h	1	1	1
impl/build/include/headers/z3/z3_polynomial.h	impl/build/include/headers/z3/z3_fixedpoint.h	1	1	1
impl/build/include/headers/z3/z3_polynomial.h	impl/build/include/headers/z3/z3_macros.h	1	1	1
impl/build/include/headers/z3/z3_rcf.h	impl/src/tooling/verifier/smtcollection_emitter.ts	1	1	10
impl/build/include/headers/z3/z3_rcf.h	impl/src/tooling/verifier/smtdecls_emitter.ts	1	1	12
impl/build/include/headers/z3/z3_rcf.h	impl/src/tooling/verifier/smt_assembly.ts	1	1	7
impl/build/include/headers/z3/z3_rcf.h	impl/src/tooling/verifier/smttype_emitter.ts	1	1	11
impl/build/include/headers/z3/z3_rcf.h	impl/src/ast/assembly.ts	1	1	13
impl/build/include/headers/z3/z3_rcf.h	impl/src/tooling/verifier/runtime/smtruntime.smt2	1	1	8
impl/build/include/headers/z3/z3_rcf.h	impl/src/tooling/verifier/smt_workflows.ts	1	1	11
impl/build/include/headers/z3/z3_rcf.h	impl/build/include/headers/z3/z3++.h	1	1	4
impl/build/include/headers/z3/z3_rcf.h	impl/src/runtimes/bsqcheck.ts	1	1	14
impl/build/include/headers/z3/z3_rcf.h	impl/build/evaluator_build.js	1	1	2
impl/build/include/headers/z3/z3_rcf.h	impl/src/ast/parser_env.ts	1	1	7
impl/build/include/headers/z3/z3_rcf.h	impl/src/compiler/bcgen.ts	1	1	6
impl/build/include/headers/z3/z3_rcf.h	impl/build/include/headers/z3/z3_api.h	1	1	3
impl/build/include/headers/z3/z3_rcf.h	impl/src/compiler/mir_assembly.ts	1	1	5
impl/build/include/headers/z3/z3_rcf.h	impl/src/tooling/icpp/transpiler/icppdecls_emitter.ts	1	1	5
impl/build/include/headers/z3/z3_rcf.h	impl/src/tooling/verifier/evaluator/decls.cpp	1	1	9
impl/build/include/headers/z3/z3_rcf.h	impl/src/tooling/verifier/evaluator/decls.h	1	1	6
impl/build/include/headers/z3/z3_rcf.h	impl/src/tooling/verifier/evaluator/workflows.cpp	1	1	6
impl/build/include/headers/z3/z3_rcf.h	impl/src/tooling/icpp/interpreter/runtime/bsqvalue.cpp	1	1	9
impl/build/include/headers/z3/z3_rcf.h	impl/src/tooling/icpp/interpreter/runtime/bsqvalue.h	1	1	7
impl/build/include/headers/z3/z3_rcf.h	impl/src/tooling/icpp/transpiler/icpp_assembly.ts	1	1	5
impl/build/include/headers/z3/z3_rcf.h	impl/src/tooling/icpp/transpiler/icpptype_emitter.ts	1	1	4
impl/build/include/headers/z3/z3_rcf.h	impl/src/tooling/icpp/interpreter/runner.cpp	1	1	9
impl/build/include/headers/z3/z3_rcf.h	impl/src/tooling/icpp/interpreter/assembly/bsqop.cpp	1	1	7
impl/build/include/headers/z3/z3_rcf.h	impl/src/tooling/icpp/interpreter/assembly/bsqop.h	1	1	5
impl/build/include/headers/z3/z3_rcf.h	impl/src/tooling/icpp/interpreter/op_eval.h	1	1	6
impl/build/include/headers/z3/z3_rcf.h	impl/build/interpreter_build.js	1	1	4
impl/build/include/headers/z3/z3_rcf.h	impl/src/tooling/icpp/interpreter/assembly/bsqassembly.cpp	1	1	6
impl/build/include/headers/z3/z3_rcf.h	impl/build/include/headers/z3/z3_fpa.h	1	1	2
impl/build/include/headers/z3/z3_rcf.h	impl/build/include/headers/z3/z3_optimization.h	1	1	2
impl/build/include/headers/z3/z3_rcf.h	impl/build/include/headers/json/json.hpp	1	1	1
impl/build/include/headers/z3/z3_rcf.h	impl/build/include/headers/mimalloc/mimalloc-atomic.h	1	1	1
impl/build/include/headers/z3/z3_rcf.h	impl/build/include/headers/mimalloc/mimalloc-internal.h	1	1	1
impl/build/include/headers/z3/z3_rcf.h	impl/build/include/headers/mimalloc/mimalloc-new-delete.h	1	1	1
impl/build/include/headers/z3/z3_rcf.h	impl/build/include/headers/mimalloc/mimalloc-override.h	1	1	1
impl/build/include/headers/z3/z3_rcf.h	impl/build/include/headers/mimalloc/mimalloc-types.h	1	1	1
impl/build/include/headers/z3/z3_rcf.h	impl/build/include/headers/mimalloc/mimalloc.h	1	1	1
impl/build/include/headers/z3/z3_rcf.h	impl/build/include/headers/z3/z3.h	1	1	1
impl/build/include/headers/z3/z3_rcf.h	impl/build/include/headers/z3/z3_algebraic.h	1	1	1
impl/build/include/headers/z3/z3_rcf.h	impl/build/include/headers/z3/z3_ast_containers.h	1	1	1
impl/build/include/headers/z3/z3_rcf.h	impl/build/include/headers/z3/z3_fixedpoint.h	1	1	1
impl/build/include/headers/z3/z3_rcf.h	impl/build/include/headers/z3/z3_macros.h	1	1	1
impl/build/include/headers/z3/z3_rcf.h	impl/build/include/headers/z3/z3_polynomial.h	1	1	1
impl/build/include/headers/z3/z3_spacer.h	impl/src/tooling/verifier/smtcollection_emitter.ts	1	1	10
impl/build/include/headers/z3/z3_spacer.h	impl/src/tooling/verifier/smtdecls_emitter.ts	1	1	12
impl/build/include/headers/z3/z3_spacer.h	impl/src/tooling/verifier/smt_assembly.ts	1	1	7
impl/build/include/headers/z3/z3_spacer.h	impl/src/tooling/verifier/smttype_emitter.ts	1	1	11
impl/build/include/headers/z3/z3_spacer.h	impl/src/ast/assembly.ts	1	1	13
impl/build/include/headers/z3/z3_spacer.h	impl/src/tooling/verifier/runtime/smtruntime.smt2	1	1	8
impl/build/include/headers/z3/z3_spacer.h	impl/src/tooling/verifier/smt_workflows.ts	1	1	11
impl/build/include/headers/z3/z3_spacer.h	impl/build/include/headers/z3/z3++.h	1	1	4
impl/build/include/headers/z3/z3_spacer.h	impl/src/runtimes/bsqcheck.ts	1	1	14
impl/build/include/headers/z3/z3_spacer.h	impl/build/evaluator_build.js	1	1	2
impl/build/include/headers/z3/z3_spacer.h	impl/src/ast/parser_env.ts	1	1	7
impl/build/include/headers/z3/z3_spacer.h	impl/src/compiler/bcgen.ts	1	1	6
impl/build/include/headers/z3/z3_spacer.h	impl/build/include/headers/z3/z3_api.h	1	1	3
impl/build/include/headers/z3/z3_spacer.h	impl/src/compiler/mir_assembly.ts	1	1	5
impl/build/include/headers/z3/z3_spacer.h	impl/src/tooling/icpp/transpiler/icppdecls_emitter.ts	1	1	5
impl/build/include/headers/z3/z3_spacer.h	impl/src/tooling/verifier/evaluator/decls.cpp	1	1	9
impl/build/include/headers/z3/z3_spacer.h	impl/src/tooling/verifier/evaluator/decls.h	1	1	6
impl/build/include/headers/z3/z3_spacer.h	impl/src/tooling/verifier/evaluator/workflows.cpp	1	1	6
impl/build/include/headers/z3/z3_spacer.h	impl/src/tooling/icpp/interpreter/runtime/bsqvalue.cpp	1	1	9
impl/build/include/headers/z3/z3_spacer.h	impl/src/tooling/icpp/interpreter/runtime/bsqvalue.h	1	1	7
impl/build/include/headers/z3/z3_spacer.h	impl/src/tooling/icpp/transpiler/icpp_assembly.ts	1	1	5
impl/build/include/headers/z3/z3_spacer.h	impl/src/tooling/icpp/transpiler/icpptype_emitter.ts	1	1	4
impl/build/include/headers/z3/z3_spacer.h	impl/src/tooling/icpp/interpreter/runner.cpp	1	1	9
impl/build/include/headers/z3/z3_spacer.h	impl/src/tooling/icpp/interpreter/assembly/bsqop.cpp	1	1	7
impl/build/include/headers/z3/z3_spacer.h	impl/src/tooling/icpp/interpreter/assembly/bsqop.h	1	1	5
impl/build/include/headers/z3/z3_spacer.h	impl/src/tooling/icpp/interpreter/op_eval.h	1	1	6
impl/build/include/headers/z3/z3_spacer.h	impl/build/interpreter_build.js	1	1	4
impl/build/include/headers/z3/z3_spacer.h	impl/src/tooling/icpp/interpreter/assembly/bsqassembly.cpp	1	1	6
impl/build/include/headers/z3/z3_spacer.h	impl/build/include/headers/z3/z3_fpa.h	1	1	2
impl/build/include/headers/z3/z3_spacer.h	impl/build/include/headers/z3/z3_optimization.h	1	1	2
impl/build/include/headers/z3/z3_spacer.h	impl/build/include/headers/json/json.hpp	1	1	1
impl/build/include/headers/z3/z3_spacer.h	impl/build/include/headers/mimalloc/mimalloc-atomic.h	1	1	1
impl/build/include/headers/z3/z3_spacer.h	impl/build/include/headers/mimalloc/mimalloc-internal.h	1	1	1
impl/build/include/headers/z3/z3_spacer.h	impl/build/include/headers/mimalloc/mimalloc-new-delete.h	1	1	1
impl/build/include/headers/z3/z3_spacer.h	impl/build/include/headers/mimalloc/mimalloc-override.h	1	1	1
impl/build/include/headers/z3/z3_spacer.h	impl/build/include/headers/mimalloc/mimalloc-types.h	1	1	1
impl/build/include/headers/z3/z3_spacer.h	impl/build/include/headers/mimalloc/mimalloc.h	1	1	1
impl/build/include/headers/z3/z3_spacer.h	impl/build/include/headers/z3/z3.h	1	1	1
impl/build/include/headers/z3/z3_spacer.h	impl/build/include/headers/z3/z3_algebraic.h	1	1	1
impl/build/include/headers/z3/z3_spacer.h	impl/build/include/headers/z3/z3_ast_containers.h	1	1	1
impl/build/include/headers/z3/z3_spacer.h	impl/build/include/headers/z3/z3_fixedpoint.h	1	1	1
impl/build/include/headers/z3/z3_spacer.h	impl/build/include/headers/z3/z3_macros.h	1	1	1
impl/build/include/headers/z3/z3_spacer.h	impl/build/include/headers/z3/z3_polynomial.h	1	1	1
impl/build/include/headers/z3/z3_spacer.h	impl/build/include/headers/z3/z3_rcf.h	1	1	1
impl/src/runtimes/bsqir.ts	impl/src/tooling/verifier/smt_workflows.ts	1	2	11
impl/src/runtimes/bsqir.ts	impl/build/include/headers/z3/z3++.h	1	2	4
impl/src/runtimes/bsqir.ts	impl/build/evaluator_build.js	1	2	2
impl/src/runtimes/bsqir.ts	impl/build/include/headers/z3/z3_api.h	1	2	3
impl/src/runtimes/bsqir.ts	impl/src/tooling/verifier/evaluator/decls.cpp	1	2	9
impl/src/runtimes/bsqir.ts	impl/src/tooling/verifier/evaluator/decls.h	1	2	6
impl/src/runtimes/bsqir.ts	impl/src/tooling/verifier/evaluator/workflows.cpp	1	2	6
impl/src/runtimes/bsqir.ts	impl/build/include/headers/z3/z3_fpa.h	1	2	2
impl/src/runtimes/bsqir.ts	impl/build/include/headers/z3/z3_optimization.h	1	2	2
impl/src/runtimes/bsqir.ts	impl/build/include/headers/json/json.hpp	1	2	1
impl/src/runtimes/bsqir.ts	impl/build/include/headers/mimalloc/mimalloc-atomic.h	1	2	1
impl/src/runtimes/bsqir.ts	impl/build/include/headers/mimalloc/mimalloc-internal.h	1	2	1
impl/src/runtimes/bsqir.ts	impl/build/include/headers/mimalloc/mimalloc-new-delete.h	1	2	1
impl/src/runtimes/bsqir.ts	impl/build/include/headers/mimalloc/mimalloc-override.h	1	2	1
impl/src/runtimes/bsqir.ts	impl/build/include/headers/mimalloc/mimalloc-types.h	1	2	1
impl/src/runtimes/bsqir.ts	impl/build/include/headers/mimalloc/mimalloc.h	1	2	1
impl/src/runtimes/bsqir.ts	impl/build/include/headers/z3/z3.h	1	2	1
impl/src/runtimes/bsqir.ts	impl/build/include/headers/z3/z3_algebraic.h	1	2	1
impl/src/runtimes/bsqir.ts	impl/build/include/headers/z3/z3_ast_containers.h	1	2	1
impl/src/runtimes/bsqir.ts	impl/build/include/headers/z3/z3_fixedpoint.h	1	2	1
impl/src/runtimes/bsqir.ts	impl/build/include/headers/z3/z3_macros.h	1	2	1
impl/src/runtimes/bsqir.ts	impl/build/include/headers/z3/z3_polynomial.h	1	2	1
impl/src/runtimes/bsqir.ts	impl/build/include/headers/z3/z3_rcf.h	1	2	1
impl/src/runtimes/bsqir.ts	impl/build/include/headers/z3/z3_spacer.h	1	2	1
impl/src/runtimes/bsqir.ts	impl/src/ast/resolved_type.ts	1	2	5
impl/src/runtimes/bsqir.ts	impl/src/tooling/verifier/smt_exp.ts	1	2	4
impl/src/runtimes/bsqir.ts	impl/src/ast/body.ts	1	2	6
impl/src/runtimes/bsqir.ts	impl/src/ast/bsqregex.ts	1	2	4
impl/src/runtimes/bsqir.ts	impl/src/type_checker/type_environment.ts	1	2	6
impl/src/runtimes/bsqir.ts	impl/src/ast/type_signature.ts	1	2	4
impl/src/runtimes/bsqir.ts	impl/src/compiler/functionalize.ts	1	2	4
impl/src/runtimes/bsqir.ts	impl/src/compiler/mir_callg.ts	1	2	4
impl/src/runtimes/bsqir.ts	impl/src/compiler/mir_ops.ts	1	2	14
impl/src/runtimes/bsqir.ts	impl/src/tooling/icpp/interpreter/common.h	1	2	5
impl/src/runtimes/bsqir.ts	impl/src/tooling/icpp/interpreter/op_eval.cpp	1	2	9
impl/src/runtimes/bsqir.ts	impl/src/tooling/icpp/interpreter/runtime/environment.cpp	1	2	4
impl/src/runtimes/bsqir.ts	impl/src/tooling/icpp/transpiler/icpp_exp.ts	1	2	2
impl/src/runtimes/bsqir.ts	impl/src/tooling/icpp/interpreter/assembly/bsqassembly.h	1	2	3
impl/src/runtimes/bsqir.ts	impl/src/tooling/icpp/interpreter/assembly/bsqtype.cpp	1	2	2
impl/src/runtimes/bsqir.ts	impl/src/tooling/icpp/interpreter/assembly/bsqtype.h	1	2	3
impl/src/runtimes/bsqir.ts	impl/src/tooling/icpp/interpreter/runner.h	1	2	3
impl/src/runtimes/bsqir.ts	impl/src/tooling/icpp/interpreter/runtime/bsqcollections.cpp	1	2	3
impl/src/runtimes/bsqir.ts	impl/src/tooling/icpp/interpreter/runtime/bsqcollections.h	1	2	3
impl/src/runtimes/bsqir.ts	impl/src/tooling/icpp/interpreter/runtime/environment.h	1	2	2
impl/src/tooling/icpp/transpiler/iccp_workflows.ts	impl/src/tooling/verifier/smtcollection_emitter.ts	1	1	10
impl/src/tooling/icpp/transpiler/iccp_workflows.ts	impl/src/tooling/verifier/smtdecls_emitter.ts	1	1	12
impl/src/tooling/icpp/transpiler/iccp_workflows.ts	impl/src/tooling/verifier/smt_assembly.ts	1	1	7
impl/src/tooling/icpp/transpiler/iccp_workflows.ts	impl/src/tooling/verifier/smttype_emitter.ts	1	1	11
impl/src/tooling/icpp/transpiler/iccp_workflows.ts	impl/src/ast/assembly.ts	1	1	13
impl/src/tooling/icpp/transpiler/iccp_workflows.ts	impl/src/tooling/verifier/runtime/smtruntime.smt2	1	1	8
impl/src/tooling/icpp/transpiler/iccp_workflows.ts	impl/src/tooling/verifier/smt_workflows.ts	1	1	11
impl/src/tooling/icpp/transpiler/iccp_workflows.ts	impl/build/include/headers/z3/z3++.h	1	1	4
impl/src/tooling/icpp/transpiler/iccp_workflows.ts	impl/src/runtimes/bsqcheck.ts	1	1	14
impl/src/tooling/icpp/transpiler/iccp_workflows.ts	impl/build/evaluator_build.js	1	1	2
impl/src/tooling/icpp/transpiler/iccp_workflows.ts	impl/src/ast/parser_env.ts	1	1	7
impl/src/tooling/icpp/transpiler/iccp_workflows.ts	impl/src/compiler/bcgen.ts	1	1	6
impl/src/tooling/icpp/transpiler/iccp_workflows.ts	impl/build/include/headers/z3/z3_api.h	1	1	3
impl/src/tooling/icpp/transpiler/iccp_workflows.ts	impl/src/compiler/mir_assembly.ts	1	1	5
impl/src/tooling/icpp/transpiler/iccp_workflows.ts	impl/src/tooling/icpp/transpiler/icppdecls_emitter.ts	1	1	5
impl/src/tooling/icpp/transpiler/iccp_workflows.ts	impl/src/tooling/verifier/evaluator/decls.cpp	1	1	9
impl/src/tooling/icpp/transpiler/iccp_workflows.ts	impl/src/tooling/verifier/evaluator/decls.h	1	1	6
impl/src/tooling/icpp/transpiler/iccp_workflows.ts	impl/src/tooling/verifier/evaluator/workflows.cpp	1	1	6
impl/src/tooling/icpp/transpiler/iccp_workflows.ts	impl/src/tooling/icpp/interpreter/runtime/bsqvalue.cpp	1	1	9
impl/src/tooling/icpp/transpiler/iccp_workflows.ts	impl/src/tooling/icpp/interpreter/runtime/bsqvalue.h	1	1	7
impl/src/tooling/icpp/transpiler/iccp_workflows.ts	impl/src/tooling/icpp/transpiler/icpp_assembly.ts	1	1	5
impl/src/tooling/icpp/transpiler/iccp_workflows.ts	impl/src/tooling/icpp/transpiler/icpptype_emitter.ts	1	1	4
impl/src/tooling/icpp/transpiler/iccp_workflows.ts	impl/src/tooling/icpp/interpreter/runner.cpp	1	1	9
impl/src/tooling/icpp/transpiler/iccp_workflows.ts	impl/src/tooling/icpp/interpreter/assembly/bsqop.cpp	1	1	7
impl/src/tooling/icpp/transpiler/iccp_workflows.ts	impl/src/tooling/icpp/interpreter/assembly/bsqop.h	1	1	5
impl/src/tooling/icpp/transpiler/iccp_workflows.ts	impl/src/tooling/icpp/interpreter/op_eval.h	1	1	6
impl/src/tooling/icpp/transpiler/iccp_workflows.ts	impl/build/interpreter_build.js	1	1	4
impl/src/tooling/icpp/transpiler/iccp_workflows.ts	impl/src/tooling/icpp/interpreter/assembly/bsqassembly.cpp	1	1	6
impl/src/tooling/icpp/transpiler/iccp_workflows.ts	impl/build/include/headers/z3/z3_fpa.h	1	1	2
impl/src/tooling/icpp/transpiler/iccp_workflows.ts	impl/build/include/headers/z3/z3_optimization.h	1	1	2
impl/src/tooling/icpp/transpiler/iccp_workflows.ts	impl/build/include/headers/json/json.hpp	1	1	1
impl/src/tooling/icpp/transpiler/iccp_workflows.ts	impl/build/include/headers/mimalloc/mimalloc-atomic.h	1	1	1
impl/src/tooling/icpp/transpiler/iccp_workflows.ts	impl/build/include/headers/mimalloc/mimalloc-internal.h	1	1	1
impl/src/tooling/icpp/transpiler/iccp_workflows.ts	impl/build/include/headers/mimalloc/mimalloc-new-delete.h	1	1	1
impl/src/tooling/icpp/transpiler/iccp_workflows.ts	impl/build/include/headers/mimalloc/mimalloc-override.h	1	1	1
impl/src/tooling/icpp/transpiler/iccp_workflows.ts	impl/build/include/headers/mimalloc/mimalloc-types.h	1	1	1
impl/src/tooling/icpp/transpiler/iccp_workflows.ts	impl/build/include/headers/mimalloc/mimalloc.h	1	1	1
impl/src/tooling/icpp/transpiler/iccp_workflows.ts	impl/build/include/headers/z3/z3.h	1	1	1
impl/src/tooling/icpp/transpiler/iccp_workflows.ts	impl/build/include/headers/z3/z3_algebraic.h	1	1	1
impl/src/tooling/icpp/transpiler/iccp_workflows.ts	impl/build/include/headers/z3/z3_ast_containers.h	1	1	1
impl/src/tooling/icpp/transpiler/iccp_workflows.ts	impl/build/include/headers/z3/z3_fixedpoint.h	1	1	1
impl/src/tooling/icpp/transpiler/iccp_workflows.ts	impl/build/include/headers/z3/z3_macros.h	1	1	1
impl/src/tooling/icpp/transpiler/iccp_workflows.ts	impl/build/include/headers/z3/z3_polynomial.h	1	1	1
impl/src/tooling/icpp/transpiler/iccp_workflows.ts	impl/build/include/headers/z3/z3_rcf.h	1	1	1
impl/src/tooling/icpp/transpiler/iccp_workflows.ts	impl/build/include/headers/z3/z3_spacer.h	1	1	1
impl/src/tooling/icpp/transpiler/iccp_workflows.ts	impl/src/runtimes/bsqir.ts	1	1	2
impl/build/resource_copy.js	impl/src/ast/resolved_type.ts	1	3	5
impl/build/resource_copy.js	impl/src/tooling/verifier/smtcollection_emitter.ts	1	3	10
impl/build/resource_copy.js	impl/src/tooling/verifier/smtdecls_emitter.ts	1	3	12
impl/build/resource_copy.js	impl/src/tooling/verifier/smt_assembly.ts	1	3	7
impl/build/resource_copy.js	impl/src/tooling/verifier/smttype_emitter.ts	1	3	11
impl/build/resource_copy.js	impl/src/ast/assembly.ts	1	3	13
impl/build/resource_copy.js	impl/src/tooling/verifier/runtime/smtruntime.smt2	1	3	8
impl/build/resource_copy.js	impl/src/runtimes/bsqcheck.ts	1	3	14
impl/build/resource_copy.js	impl/src/tooling/verifier/smt_exp.ts	1	3	4
impl/build/resource_copy.js	impl/src/ast/body.ts	1	3	6
impl/build/resource_copy.js	impl/src/ast/bsqregex.ts	1	3	4
impl/build/resource_copy.js	impl/src/ast/parser_env.ts	1	3	7
impl/build/resource_copy.js	impl/src/type_checker/type_environment.ts	1	3	6
impl/build/resource_copy.js	impl/src/compiler/bcgen.ts	1	3	6
impl/build/resource_copy.js	impl/src/ast/type_signature.ts	1	3	4
impl/build/resource_copy.js	impl/src/compiler/functionalize.ts	1	3	4
impl/build/resource_copy.js	impl/src/compiler/mir_assembly.ts	1	3	5
impl/build/resource_copy.js	impl/src/compiler/mir_callg.ts	1	3	4
impl/build/resource_copy.js	impl/src/compiler/mir_ops.ts	1	3	14
impl/build/resource_copy.js	impl/src/tooling/icpp/transpiler/icppdecls_emitter.ts	1	3	5
impl/build/resource_copy.js	impl/src/tooling/icpp/interpreter/common.h	1	3	5
impl/build/resource_copy.js	impl/src/tooling/icpp/interpreter/op_eval.cpp	1	3	9
impl/build/resource_copy.js	impl/src/tooling/icpp/interpreter/runtime/bsqvalue.cpp	1	3	9
impl/build/resource_copy.js	impl/src/tooling/icpp/interpreter/runtime/bsqvalue.h	1	3	7
impl/build/resource_copy.js	impl/src/tooling/icpp/interpreter/runtime/environment.cpp	1	3	4
impl/build/resource_copy.js	impl/src/tooling/icpp/transpiler/icpp_assembly.ts	1	3	5
impl/build/resource_copy.js	impl/src/tooling/icpp/transpiler/icpptype_emitter.ts	1	3	4
impl/build/resource_copy.js	impl/src/tooling/icpp/interpreter/runner.cpp	1	3	9
impl/build/resource_copy.js	impl/src/tooling/icpp/interpreter/assembly/bsqop.cpp	1	3	7
impl/build/resource_copy.js	impl/src/tooling/icpp/interpreter/assembly/bsqop.h	1	3	5
impl/build/resource_copy.js	impl/src/tooling/icpp/interpreter/op_eval.h	1	3	6
impl/build/resource_copy.js	impl/src/tooling/icpp/transpiler/icpp_exp.ts	1	3	2
impl/build/resource_copy.js	impl/build/interpreter_build.js	1	3	4
impl/build/resource_copy.js	impl/src/tooling/icpp/interpreter/assembly/bsqassembly.cpp	1	3	6
impl/build/resource_copy.js	impl/src/tooling/icpp/interpreter/assembly/bsqassembly.h	1	3	3
impl/build/resource_copy.js	impl/src/tooling/icpp/interpreter/assembly/bsqtype.cpp	1	3	2
impl/build/resource_copy.js	impl/src/tooling/icpp/interpreter/assembly/bsqtype.h	1	3	3
impl/build/resource_copy.js	impl/src/tooling/icpp/interpreter/runner.h	1	3	3
impl/build/resource_copy.js	impl/src/tooling/icpp/interpreter/runtime/bsqcollections.cpp	1	3	3
impl/build/resource_copy.js	impl/src/tooling/icpp/interpreter/runtime/bsqcollections.h	1	3	3
impl/build/resource_copy.js	impl/src/tooling/icpp/interpreter/runtime/environment.h	1	3	2
impl/build/resource_copy.js	impl/src/runtimes/bsqir.ts	1	3	2
impl/src/tooling/icpp/interpreter/core/bsqmemory.cpp	impl/src/ast/resolved_type.ts	1	1	5
impl/src/tooling/icpp/interpreter/core/bsqmemory.cpp	impl/src/tooling/verifier/smtcollection_emitter.ts	1	1	10
impl/src/tooling/icpp/interpreter/core/bsqmemory.cpp	impl/src/tooling/verifier/smtdecls_emitter.ts	1	1	12
impl/src/tooling/icpp/interpreter/core/bsqmemory.cpp	impl/src/tooling/verifier/smt_assembly.ts	1	1	7
impl/src/tooling/icpp/interpreter/core/bsqmemory.cpp	impl/src/tooling/verifier/smttype_emitter.ts	1	1	11
impl/src/tooling/icpp/interpreter/core/bsqmemory.cpp	impl/src/ast/assembly.ts	1	1	13
impl/src/tooling/icpp/interpreter/core/bsqmemory.cpp	impl/src/tooling/verifier/runtime/smtruntime.smt2	1	1	8
impl/src/tooling/icpp/interpreter/core/bsqmemory.cpp	impl/src/runtimes/bsqcheck.ts	1	1	14
impl/src/tooling/icpp/interpreter/core/bsqmemory.cpp	impl/src/tooling/verifier/smt_exp.ts	1	1	4
impl/src/tooling/icpp/interpreter/core/bsqmemory.cpp	impl/src/ast/body.ts	1	1	6
impl/src/tooling/icpp/interpreter/core/bsqmemory.cpp	impl/src/ast/bsqregex.ts	1	1	4
impl/src/tooling/icpp/interpreter/core/bsqmemory.cpp	impl/src/ast/parser_env.ts	1	1	7
impl/src/tooling/icpp/interpreter/core/bsqmemory.cpp	impl/src/type_checker/type_environment.ts	1	1	6
impl/src/tooling/icpp/interpreter/core/bsqmemory.cpp	impl/src/compiler/bcgen.ts	1	1	6
impl/src/tooling/icpp/interpreter/core/bsqmemory.cpp	impl/src/ast/type_signature.ts	1	1	4
impl/src/tooling/icpp/interpreter/core/bsqmemory.cpp	impl/src/compiler/functionalize.ts	1	1	4
impl/src/tooling/icpp/interpreter/core/bsqmemory.cpp	impl/src/compiler/mir_assembly.ts	1	1	5
impl/src/tooling/icpp/interpreter/core/bsqmemory.cpp	impl/src/compiler/mir_callg.ts	1	1	4
impl/src/tooling/icpp/interpreter/core/bsqmemory.cpp	impl/src/compiler/mir_ops.ts	1	1	14
impl/src/tooling/icpp/interpreter/core/bsqmemory.cpp	impl/src/tooling/icpp/transpiler/icppdecls_emitter.ts	1	1	5
impl/src/tooling/icpp/interpreter/core/bsqmemory.cpp	impl/src/tooling/icpp/interpreter/common.h	1	1	5
impl/src/tooling/icpp/interpreter/core/bsqmemory.cpp	impl/src/tooling/icpp/interpreter/op_eval.cpp	1	1	9
impl/src/tooling/icpp/interpreter/core/bsqmemory.cpp	impl/src/tooling/icpp/interpreter/runtime/bsqvalue.cpp	1	1	9
impl/src/tooling/icpp/interpreter/core/bsqmemory.cpp	impl/src/tooling/icpp/interpreter/runtime/bsqvalue.h	1	1	7
impl/src/tooling/icpp/interpreter/core/bsqmemory.cpp	impl/src/tooling/icpp/interpreter/runtime/environment.cpp	1	1	4
impl/src/tooling/icpp/interpreter/core/bsqmemory.cpp	impl/src/tooling/icpp/transpiler/icpp_assembly.ts	1	1	5
impl/src/tooling/icpp/interpreter/core/bsqmemory.cpp	impl/src/tooling/icpp/transpiler/icpptype_emitter.ts	1	1	4
impl/src/tooling/icpp/interpreter/core/bsqmemory.cpp	impl/src/tooling/icpp/interpreter/runner.cpp	1	1	9
impl/src/tooling/icpp/interpreter/core/bsqmemory.cpp	impl/src/tooling/icpp/interpreter/assembly/bsqop.cpp	1	1	7
impl/src/tooling/icpp/interpreter/core/bsqmemory.cpp	impl/src/tooling/icpp/interpreter/assembly/bsqop.h	1	1	5
impl/src/tooling/icpp/interpreter/core/bsqmemory.cpp	impl/src/tooling/icpp/interpreter/op_eval.h	1	1	6
impl/src/tooling/icpp/interpreter/core/bsqmemory.cpp	impl/src/tooling/icpp/transpiler/icpp_exp.ts	1	1	2
impl/src/tooling/icpp/interpreter/core/bsqmemory.cpp	impl/build/interpreter_build.js	1	1	4
impl/src/tooling/icpp/interpreter/core/bsqmemory.cpp	impl/src/tooling/icpp/interpreter/assembly/bsqassembly.cpp	1	1	6
impl/src/tooling/icpp/interpreter/core/bsqmemory.cpp	impl/src/tooling/icpp/interpreter/assembly/bsqassembly.h	1	1	3
impl/src/tooling/icpp/interpreter/core/bsqmemory.cpp	impl/src/tooling/icpp/interpreter/assembly/bsqtype.cpp	1	1	2
impl/src/tooling/icpp/interpreter/core/bsqmemory.cpp	impl/src/tooling/icpp/interpreter/assembly/bsqtype.h	1	1	3
impl/src/tooling/icpp/interpreter/core/bsqmemory.cpp	impl/src/tooling/icpp/interpreter/runner.h	1	1	3
impl/src/tooling/icpp/interpreter/core/bsqmemory.cpp	impl/src/tooling/icpp/interpreter/runtime/bsqcollections.cpp	1	1	3
impl/src/tooling/icpp/interpreter/core/bsqmemory.cpp	impl/src/tooling/icpp/interpreter/runtime/bsqcollections.h	1	1	3
impl/src/tooling/icpp/interpreter/core/bsqmemory.cpp	impl/src/tooling/icpp/interpreter/runtime/environment.h	1	1	2
impl/src/tooling/icpp/interpreter/core/bsqmemory.cpp	impl/src/runtimes/bsqir.ts	1	1	2
impl/src/tooling/icpp/interpreter/core/bsqmemory.cpp	impl/build/resource_copy.js	1	1	3
impl/src/tooling/icpp/interpreter/core/bsqmemory.h	impl/src/ast/resolved_type.ts	1	1	5
impl/src/tooling/icpp/interpreter/core/bsqmemory.h	impl/src/tooling/verifier/smtcollection_emitter.ts	1	1	10
impl/src/tooling/icpp/interpreter/core/bsqmemory.h	impl/src/tooling/verifier/smtdecls_emitter.ts	1	1	12
impl/src/tooling/icpp/interpreter/core/bsqmemory.h	impl/src/tooling/verifier/smt_assembly.ts	1	1	7
impl/src/tooling/icpp/interpreter/core/bsqmemory.h	impl/src/tooling/verifier/smttype_emitter.ts	1	1	11
impl/src/tooling/icpp/interpreter/core/bsqmemory.h	impl/src/ast/assembly.ts	1	1	13
impl/src/tooling/icpp/interpreter/core/bsqmemory.h	impl/src/tooling/verifier/runtime/smtruntime.smt2	1	1	8
impl/src/tooling/icpp/interpreter/core/bsqmemory.h	impl/src/runtimes/bsqcheck.ts	1	1	14
impl/src/tooling/icpp/interpreter/core/bsqmemory.h	impl/src/tooling/verifier/smt_exp.ts	1	1	4
impl/src/tooling/icpp/interpreter/core/bsqmemory.h	impl/src/ast/body.ts	1	1	6
impl/src/tooling/icpp/interpreter/core/bsqmemory.h	impl/src/ast/bsqregex.ts	1	1	4
impl/src/tooling/icpp/interpreter/core/bsqmemory.h	impl/src/ast/parser_env.ts	1	1	7
impl/src/tooling/icpp/interpreter/core/bsqmemory.h	impl/src/type_checker/type_environment.ts	1	1	6
impl/src/tooling/icpp/interpreter/core/bsqmemory.h	impl/src/compiler/bcgen.ts	1	1	6
impl/src/tooling/icpp/interpreter/core/bsqmemory.h	impl/src/ast/type_signature.ts	1	1	4
impl/src/tooling/icpp/interpreter/core/bsqmemory.h	impl/src/compiler/functionalize.ts	1	1	4
impl/src/tooling/icpp/interpreter/core/bsqmemory.h	impl/src/compiler/mir_assembly.ts	1	1	5
impl/src/tooling/icpp/interpreter/core/bsqmemory.h	impl/src/compiler/mir_callg.ts	1	1	4
impl/src/tooling/icpp/interpreter/core/bsqmemory.h	impl/src/compiler/mir_ops.ts	1	1	14
impl/src/tooling/icpp/interpreter/core/bsqmemory.h	impl/src/tooling/icpp/transpiler/icppdecls_emitter.ts	1	1	5
impl/src/tooling/icpp/interpreter/core/bsqmemory.h	impl/src/tooling/icpp/interpreter/common.h	1	1	5
impl/src/tooling/icpp/interpreter/core/bsqmemory.h	impl/src/tooling/icpp/interpreter/op_eval.cpp	1	1	9
impl/src/tooling/icpp/interpreter/core/bsqmemory.h	impl/src/tooling/icpp/interpreter/runtime/bsqvalue.cpp	1	1	9
impl/src/tooling/icpp/interpreter/core/bsqmemory.h	impl/src/tooling/icpp/interpreter/runtime/bsqvalue.h	1	1	7
impl/src/tooling/icpp/interpreter/core/bsqmemory.h	impl/src/tooling/icpp/interpreter/runtime/environment.cpp	1	1	4
impl/src/tooling/icpp/interpreter/core/bsqmemory.h	impl/src/tooling/icpp/transpiler/icpp_assembly.ts	1	1	5
impl/src/tooling/icpp/interpreter/core/bsqmemory.h	impl/src/tooling/icpp/transpiler/icpptype_emitter.ts	1	1	4
impl/src/tooling/icpp/interpreter/core/bsqmemory.h	impl/src/tooling/icpp/interpreter/runner.cpp	1	1	9
impl/src/tooling/icpp/interpreter/core/bsqmemory.h	impl/src/tooling/icpp/interpreter/assembly/bsqop.cpp	1	1	7
impl/src/tooling/icpp/interpreter/core/bsqmemory.h	impl/src/tooling/icpp/interpreter/assembly/bsqop.h	1	1	5
impl/src/tooling/icpp/interpreter/core/bsqmemory.h	impl/src/tooling/icpp/interpreter/op_eval.h	1	1	6
impl/src/tooling/icpp/interpreter/core/bsqmemory.h	impl/src/tooling/icpp/transpiler/icpp_exp.ts	1	1	2
impl/src/tooling/icpp/interpreter/core/bsqmemory.h	impl/build/interpreter_build.js	1	1	4
impl/src/tooling/icpp/interpreter/core/bsqmemory.h	impl/src/tooling/icpp/interpreter/assembly/bsqassembly.cpp	1	1	6
impl/src/tooling/icpp/interpreter/core/bsqmemory.h	impl/src/tooling/icpp/interpreter/assembly/bsqassembly.h	1	1	3
impl/src/tooling/icpp/interpreter/core/bsqmemory.h	impl/src/tooling/icpp/interpreter/assembly/bsqtype.cpp	1	1	2
impl/src/tooling/icpp/interpreter/core/bsqmemory.h	impl/src/tooling/icpp/interpreter/assembly/bsqtype.h	1	1	3
impl/src/tooling/icpp/interpreter/core/bsqmemory.h	impl/src/tooling/icpp/interpreter/runner.h	1	1	3
impl/src/tooling/icpp/interpreter/core/bsqmemory.h	impl/src/tooling/icpp/interpreter/runtime/bsqcollections.cpp	1	1	3
impl/src/tooling/icpp/interpreter/core/bsqmemory.h	impl/src/tooling/icpp/interpreter/runtime/bsqcollections.h	1	1	3
impl/src/tooling/icpp/interpreter/core/bsqmemory.h	impl/src/tooling/icpp/interpreter/runtime/environment.h	1	1	2
impl/src/tooling/icpp/interpreter/core/bsqmemory.h	impl/src/runtimes/bsqir.ts	1	1	2
impl/src/tooling/icpp/interpreter/core/bsqmemory.h	impl/build/resource_copy.js	1	1	3
impl/src/tooling/icpp/interpreter/core/bsqmemory.h	impl/src/tooling/icpp/interpreter/core/bsqmemory.cpp	1	1	1