LICENSE
README.md
pyproject.toml
examples/README.md
examples/__init__.py
examples/actuator_guard.eml
examples/audio_pole_refined.eml
examples/catenary.eml
examples/clamp_bounded.eml
examples/damped_wave.eml
examples/drivers.eml
examples/ekf_compiler_jacobian.eml
examples/ekf_range_bearing.eml
examples/exponential_decay.eml
examples/gaussian.eml
examples/guard_clamp_rescue.eml
examples/hello.eml
examples/interrupt.eml
examples/joseph_covariance.eml
examples/kalman2d_filter_streaming.eml
examples/kalman2d_pos_update.eml
examples/kalman_filter.eml
examples/kalman_update_1d.eml
examples/lerp.eml
examples/loops.eml
examples/matmul_shared.eml
examples/matrix2_inv.eml
examples/multimodal_reflex.eml
examples/pid_controller.eml
examples/precision_escape_rescue.eml
examples/proof_carrying_rescue.eml
examples/quadratic.eml
examples/rc_filter.eml
examples/saturation_deshelf_rescue.eml
examples/sigmoid.eml
examples/sine_oscillator.eml
examples/smoothstep.eml
examples/soft_actuator.eml
examples/state_machines.eml
examples/verified_add.eml
examples/vibration_rms.eml
examples/voltage_divider.eml
examples/photonics/inference/photonic_transformer_sim.py
examples/photonics/inference/tolerance_spec_sheet.py
hardware/allocator/__init__.py
hardware/allocator/allocator.py
hardware/allocator/precision_selector.py
hardware/hdl_gen/__init__.py
hardware/hdl_gen/chisel_backend.py
hardware/hdl_gen/qformat.py
hardware/hdl_gen/systemverilog_backend.py
hardware/hdl_gen/verilog_backend.py
hardware/hdl_gen/vhdl_backend.py
hardware/modules/README.md
hardware/modules/__init__.py
hardware/modules/eml_operators/covariance_recursion.v
hardware/modules/eml_operators/deml_pipeline.v
hardware/modules/eml_operators/ekf2d_filter.v
hardware/modules/eml_operators/ekf2d_filter_ext.v
hardware/modules/eml_operators/ekf2d_meas_update.v
hardware/modules/eml_operators/ekf2d_step.v
hardware/modules/eml_operators/ekf2d_step_ext.v
hardware/modules/eml_operators/ekf_meas_z2.v
hardware/modules/eml_operators/eml_node.v
hardware/modules/eml_operators/eml_reciprocal.v
hardware/modules/eml_operators/joseph2_general.v
hardware/modules/eml_operators/joseph2_update.v
hardware/modules/eml_operators/kalman2d_filter.v
hardware/modules/eml_operators/kalman2d_gain_update.v
hardware/modules/eml_operators/lediv.v
hardware/modules/eml_operators/matrix2_inv_fullwidth.v
hardware/modules/eml_operators/seq_mac.v
hardware/modules/eml_operators/seq_mac_fw.v
hardware/modules/eml_operators/seq_matmul.v
hardware/modules/transcendental/eml_acos.v
hardware/modules/transcendental/eml_asin.v
hardware/modules/transcendental/eml_atan.v
hardware/modules/transcendental/eml_atan_wide.v
hardware/modules/transcendental/eml_cos.v
hardware/modules/transcendental/eml_cosh.v
hardware/modules/transcendental/eml_exp.v
hardware/modules/transcendental/eml_ln.v
hardware/modules/transcendental/eml_sin.v
hardware/modules/transcendental/eml_sinh.v
hardware/modules/transcendental/eml_sqrt.v
hardware/modules/transcendental/eml_sqrt_wide.v
hardware/modules/transcendental/eml_tan.v
hardware/modules/transcendental/eml_tanh.v
hardware/simulation/verilator_sim.py
hardware/targets/asic/sky130.py
hardware/targets/intel/cyclone10.py
hardware/targets/lattice/ecp5.py
hardware/targets/lattice/ice40.py
hardware/targets/xilinx/artix7.py
lang/fingerprint/__init__.py
lang/fingerprint/compute.py
lang/fingerprint/embed.py
lang/fingerprint/fingerprint.schema.json
lang/fingerprint/shape_class.py
lang/fingerprint/shape_classes_v1.json
lang/lint/__init__.py
lang/lint/transcendental.py
lang/loader/__init__.py
lang/loader/resolver.py
lang/optimizer/__init__.py
lang/optimizer/autodiff.py
lang/optimizer/constant_folding.py
lang/optimizer/cse.py
lang/optimizer/fusion.py
lang/optimizer/inliner.py
lang/optimizer/log_domain.py
lang/optimizer/ml_routing.py
lang/optimizer/pi_lowering.py
lang/optimizer/superbest.py
lang/optimizer/tensor_lowering.py
lang/optimizer/tree_shaker.py
lang/parser/__init__.py
lang/parser/ast_nodes.py
lang/parser/errors.py
lang/parser/lexer.py
lang/parser/parser.py
lang/parser/type_checker.py
lang/parser/vec_ops.py
lang/profiler/__init__.py
lang/profiler/ast_to_sympy.py
lang/profiler/dynamics.py
lang/profiler/eml_interpreter.py
lang/profiler/profiler.py
lang/profiler/sympy_to_ast.py
lang/refinements/__init__.py
lang/refinements/ast.py
lang/refinements/auto_splice.py
lang/refinements/check.py
lang/refinements/entail.py
lang/refinements/error.py
lang/safety/__init__.py
lang/safety/check.py
lang/spec/EML_LANG_DESIGN.md
lang/spec/SPEC.md
lang/spec/__init__.py
lang/spec/grammar/__init__.py
lang/spec/grammar/eml_lang.g4
lang/spec/grammar/lexer_rules.g4
lang/spec/grammar/examples/arrhenius.eml
lang/spec/grammar/examples/bessel_fm.eml
lang/spec/grammar/examples/hello.eml
lang/spec/grammar/examples/kalman.eml
lang/spec/grammar/examples/motor_control.eml
lang/spec/grammar/examples/motor_foc.eml
lang/spec/grammar/examples/orbit.eml
lang/spec/grammar/examples/pid_basic.eml
lang/spec/grammar/examples/pid_nonlinear.eml
lang/spec/grammar/examples/sigmoid.eml
lang/spec/grammar/examples/trajectory.eml
lang/spec/stdlib/STDLIB.md
lang/spec/stdlib/__init__.py
lang/spec/stdlib/constants.eml
lang/spec/stdlib/control.eml
lang/spec/stdlib/linalg.eml
lang/spec/stdlib/math.eml
lang/spec/stdlib/ml.eml
lang/spec/stdlib/signal.eml
lang/spec/types/TYPES.md
lang/spec/types/__init__.py
lang/spec/types/chain_order_types.md
lang/spec/types/domain_types.md
lang/spec/types/precision_types.md
lang/unit_types/__init__.py
lang/unit_types/check.py
lang/unit_types/diagnostics.py
lang/unit_types/infer.py
lang/unit_types/resolver.py
lang/unit_types/unit.py
lang/zkproof/__init__.py
lang/zkproof/circuit.py
lang/zkproof/plonky2_runner.py
lang/zkproof/prover.py
monogate_forge.egg-info/PKG-INFO
monogate_forge.egg-info/SOURCES.txt
monogate_forge.egg-info/dependency_links.txt
monogate_forge.egg-info/entry_points.txt
monogate_forge.egg-info/requires.txt
monogate_forge.egg-info/top_level.txt
software/backends/__init__.py
software/backends/_vec_struct.py
software/backends/aadl_backend.py
software/backends/ada_backend.py
software/backends/autosar_backend.py
software/backends/c_backend.py
software/backends/cpp_backend.py
software/backends/csharp_backend.py
software/backends/gdscript_backend.py
software/backends/glsl_backend.py
software/backends/go_backend.py
software/backends/hlsl_backend.py
software/backends/java_backend.py
software/backends/javascript_backend.py
software/backends/kicad_backend.py
software/backends/kotlin_backend.py
software/backends/llvm_backend.py
software/backends/luau_backend.py
software/backends/matlab_backend.py
software/backends/metal_backend.py
software/backends/python_backend.py
software/backends/ros2_backend.py
software/backends/rust_backend.py
software/backends/solidity_audit.py
software/backends/solidity_backend.py
software/backends/solidity_foundry.py
software/backends/solidity_gas.py
software/backends/solidity_prbmath.py
software/backends/solidity_spec.py
software/backends/solidity_trig.py
software/backends/spice_backend.py
software/backends/swift_backend.py
software/backends/wasm_backend.py
software/backends/wgsl_backend.py
software/manufacturing/__init__.py
software/manufacturing/jlcpcb_mapper.py
software/verification/__init__.py
software/verification/coq/__init__.py
software/verification/coq/coq_backend.py
software/verification/coq/obligation_emit.py
software/verification/coq/refinement_emit.py
software/verification/isabelle/__init__.py
software/verification/isabelle/isabelle_backend.py
software/verification/isabelle/obligation_emit.py
software/verification/isabelle/refinement_emit.py
software/verification/lean/LeanBackend.py
software/verification/lean/discovered_emit.py
software/verification/lean/obligation_emit.py
software/verification/lean/refinement_emit.py
software/verification/lean/vector_error_emit.py
software/verification/safety/__init__.py
software/verification/safety/lean_emit.py
software/verification/safety/safety_backend.py
tests/test_ahrs_mahony.py
tests/test_attitude_quaternion.py
tests/test_autodiff.py
tests/test_autodiff_normalisation.py
tests/test_capstone.py
tests/test_certifier_asin_acos.py
tests/test_certifier_log10.py
tests/test_certifier_nested_local.py
tests/test_certifier_tan.py
tests/test_control_flow.py
tests/test_control_flow_cross_target.py
tests/test_convex_interval_verify.py
tests/test_ekf.py
tests/test_ekf_localization.py
tests/test_ekf_range_bearing.py
tests/test_ekf_range_bearing_fixedpoint.py
tests/test_emission_failure_is_fatal.py
tests/test_estimation_gallery.py
tests/test_estimation_proofs.py
tests/test_estimation_rtl.py
tests/test_kalman2d_filter.py
tests/test_kalman2d_flagship.py
tests/test_license_verifier.py
tests/test_matrix_larger_state.py
tests/test_matrix_operators.py
tests/test_matrix_spike.py
tests/test_normalise_fallback_chain.py
tests/test_normalize_verify.py
tests/test_pid3_flagship.py
tests/test_precision_unknown_fails.py
tests/test_qkernels_match_rtl.py
tests/test_state.py
tests/test_vec_spike.py
tests/test_vector_cross_target.py
tests/test_vscode_builtin_parity.py
tests/test_wheel_correspondence_specimen.py
tools/boundary_optimizer_benchmark.py
tools/forge_graph.py
tools/guard_clamp_rescue.py
tools/log_domain_benchmark.py
tools/precision_escape_rescue.py
tools/proof_carrying_rescue.py
tools/proof_carrying_rescue_replay.py
tools/proof_carrying_rescue_suite.py
tools/saturation_deshelf_rescue.py
tools/useful_volume_census.py
tools/benchmarks/__init__.py
tools/benchmarks/dashboard.py
tools/benchmarks/regen_baselines.py
tools/benchmarks/snapshot.py
tools/cli/_ed25519_verify.py
tools/cli/audit.py
tools/cli/cost_aware.py
tools/cli/explain.py
tools/cli/fingerprint_corpus.py
tools/cli/fingerprint_publish.py
tools/cli/forge.py
tools/cli/generate_tests.py
tools/cli/grow_room_demo.py
tools/cli/init_cmd.py
tools/cli/live_counts.py
tools/cli/log_witness.py
tools/cli/main.py
tools/cli/manpage.py
tools/cli/repl.py
tools/cli/zk_log_verify.py
tools/cli/zk_prove.py
tools/cli/zk_verify.py
tools/equivalence/__init__.py
tools/equivalence/c_runner.py
tools/equivalence/harness.py
tools/equivalence/lean_runner.py
tools/equivalence/python_runner.py
tools/equivalence/rust_runner.py
tools/equivalence/tensor_equiv.py
tools/external_lint/__init__.py
tools/external_lint/base.py
tools/external_lint/verilog.py
tools/fmt/__init__.py
tools/fmt/formatter.py
tools/ide/lsp/__init__.py
tools/ide/lsp/server.py
tools/ide/lsp/workspace.py
tools/license/__init__.py
tools/license/issuer.py
tools/license/verifier.py
tools/machlib_bind/bind.py
tools/machlib_bind/certificate.py
tools/machlib_bind/check.py
tools/machlib_bind/crosstarget.py
tools/machlib_bind/ctarget.py
tools/machlib_bind/fxtightness.py
tools/machlib_bind/gtarget.py
tools/machlib_bind/proof_axioms.py
tools/machlib_bind/stochastic.py
tools/machlib_bind/test_bind_cond.py
tools/machlib_bind/test_binding_gate.py
tools/machlib_bind/test_certificate.py
tools/machlib_bind/test_crosstarget_gate.py
tools/machlib_bind/test_ctarget_gate.py
tools/machlib_bind/test_fxtightness_gate.py
tools/machlib_bind/test_gtarget_gate.py
tools/machlib_bind/test_proof_axioms.py
tools/machlib_bind/test_stochastic_gate.py
tools/machlib_bind/test_tightness_gate.py
tools/machlib_bind/test_vtarget_gate.py
tools/machlib_bind/tightness.py
tools/machlib_bind/vtarget.py
tools/scripts/audit_sweep.py
tools/scripts/auto_prove.py
tools/scripts/build_free_wheel.py
tools/scripts/check_wheel_correspondence.py
tools/scripts/regen_discovered.py