LICENSE
README.md
pyproject.toml
sutra_compiler/__init__.py
sutra_compiler/__main__.py
sutra_compiler/ast_nodes.py
sutra_compiler/axon_keys.py
sutra_compiler/cached_compile.py
sutra_compiler/codegen.py
sutra_compiler/codegen_base.py
sutra_compiler/codegen_pytorch.py
sutra_compiler/codegen_thrml.py
sutra_compiler/diagnostics.py
sutra_compiler/embedding.py
sutra_compiler/fv.py
sutra_compiler/fv_key_soundness.py
sutra_compiler/fv_loop_convergence.py
sutra_compiler/fv_obligation_checker.py
sutra_compiler/fv_poly_bound.py
sutra_compiler/fv_sampler_convergence.py
sutra_compiler/inliner.py
sutra_compiler/lexer.py
sutra_compiler/loop_capture.py
sutra_compiler/loop_desugar.py
sutra_compiler/multi_process.py
sutra_compiler/parser.py
sutra_compiler/preeval.py
sutra_compiler/promise_desugar.py
sutra_compiler/repl.py
sutra_compiler/review.py
sutra_compiler/simplify.py
sutra_compiler/simplify_egglog.py
sutra_compiler/stdlib_loader.py
sutra_compiler/sutradb_embedded.py
sutra_compiler/symbol_table.py
sutra_compiler/tabulate.py
sutra_compiler/trace.py
sutra_compiler/validator.py
sutra_compiler/workspace.py
sutra_compiler/stdlib/axons.su
sutra_compiler/stdlib/bigint.su
sutra_compiler/stdlib/bitwise.su
sutra_compiler/stdlib/embed.su
sutra_compiler/stdlib/javascript_object.su
sutra_compiler/stdlib/javascript_primitives.su
sutra_compiler/stdlib/logic.su
sutra_compiler/stdlib/math.su
sutra_compiler/stdlib/memory.su
sutra_compiler/stdlib/modulus.su
sutra_compiler/stdlib/numbers.su
sutra_compiler/stdlib/promises.su
sutra_compiler/stdlib/rotation.su
sutra_compiler/stdlib/similarity.su
sutra_compiler/stdlib/strings.su
sutra_compiler/stdlib/tensor.su
sutra_compiler/stdlib/vectors.su
sutra_dev.egg-info/PKG-INFO
sutra_dev.egg-info/SOURCES.txt
sutra_dev.egg-info/dependency_links.txt
sutra_dev.egg-info/entry_points.txt
sutra_dev.egg-info/requires.txt
sutra_dev.egg-info/top_level.txt
tests/test_arity_diagnostic.py
tests/test_arrow_functions.py
tests/test_await_midfunction.py
tests/test_await_substrate_pure.py
tests/test_axon_build.py
tests/test_axon_device_coherence.py
tests/test_axon_item_call_result.py
tests/test_axon_keys.py
tests/test_axon_project.py
tests/test_branchless_loop.py
tests/test_buffer_transcendentals.py
tests/test_cached_compile.py
tests/test_cast_codegen.py
tests/test_class_fields_runtime.py
tests/test_codegen.py
tests/test_codegen_pytorch.py
tests/test_codegen_thrml.py
tests/test_corpus.py
tests/test_dimension_audit.py
tests/test_dimension_audit_warning.py
tests/test_embedding_provider.py
tests/test_equality_autograd.py
tests/test_fused_nn.py
tests/test_fv_general_checker.py
tests/test_fv_key_soundness.py
tests/test_fv_kleene_grid_exactness.py
tests/test_fv_loop_convergence.py
tests/test_fv_poly_obligation_checker.py
tests/test_fv_public_api.py
tests/test_fv_sampler_convergence.py
tests/test_fv_termination.py
tests/test_fv_worked_example.py
tests/test_higher_order_functions.py
tests/test_implicit_loop_desugar.py
tests/test_inliner.py
tests/test_int_dict.py
tests/test_int_to_string.py
tests/test_interp_string_codegen.py
tests/test_jvm_core.py
tests/test_le_ge_ties.py
tests/test_lexer.py
tests/test_list_ops.py
tests/test_load_matrix.py
tests/test_loop_capture.py
tests/test_loop_function_decl.py
tests/test_make_string_idempotent.py
tests/test_matrix_literal.py
tests/test_measurement_claim_sweep.py
tests/test_mini_wasm_machine.py
tests/test_multi_process_runtime.py
tests/test_native_recursion.py
tests/test_no_host_readout.py
tests/test_ntm_ram.py
tests/test_num_eq_indicator.py
tests/test_optional_llm_model.py
tests/test_parser.py
tests/test_preeval.py
tests/test_process_pool_runtime.py
tests/test_python_builtin_escape.py
tests/test_ram_direct_tensor.py
tests/test_repl.py
tests/test_rotation_prewarm.py
tests/test_run_error_diagnostics.py
tests/test_simplify.py
tests/test_simplify_egglog.py
tests/test_simplify_egglog_cse.py
tests/test_snap_diagnostic.py
tests/test_stdlib_loader.py
tests/test_string_equality.py
tests/test_string_plus_concat.py
tests/test_substrate_leak_sweep.py
tests/test_sutradb_embedded.py
tests/test_symbol_table.py
tests/test_tabulate.py
tests/test_terminal_string_decode.py
tests/test_torch_compile_wrap.py
tests/test_trainable_matrix.py
tests/test_transcendentals.py
tests/test_type_inference.py
tests/test_type_test_gap.py
tests/test_unknown_function_diagnostic.py
tests/test_unknown_type_diagnostic.py
tests/test_unknown_variable_diagnostic.py
tests/test_unsafe_override_codegen.py
tests/test_vector_literal.py
tests/test_wasm_core.py
tests/test_workspace.py
tests/test_wrong_arg_type_diagnostic.py