LICENSE
README.md
pyproject.toml
holoso/__init__.py
holoso/_api.py
holoso/_errors.py
holoso/_legal.py
holoso/_operators.py
holoso/_type.py
holoso/_util.py
holoso/_value.py
holoso/py.typed
holoso.egg-info/PKG-INFO
holoso.egg-info/SOURCES.txt
holoso.egg-info/dependency_links.txt
holoso.egg-info/requires.txt
holoso.egg-info/top_level.txt
holoso/_backend/__init__.py
holoso/_backend/cocotb.py
holoso/_backend/numerical.py
holoso/_backend/html/__init__.py
holoso/_backend/html/_html.py
holoso/_backend/html/_schedule.py
holoso/_backend/html/html.css
holoso/_backend/html/html.js
holoso/_backend/verilog/__init__.py
holoso/_backend/verilog/_emit.py
holoso/_backend/verilog/_microcode.py
holoso/_backend/verilog/_support.py
holoso/_backend/verilog/rtl/README.md
holoso/_backend/verilog/rtl/holoso_support_inline.vh
holoso/_backend/verilog/rtl/holoso_support_template.v
holoso/_backend/verilog/rtl/kulibin/README.md
holoso/_backend/verilog/rtl/kulibin/_zkf_cordic.v
holoso/_backend/verilog/rtl/kulibin/_zkf_div_core.v
holoso/_backend/verilog/rtl/kulibin/_zkf_fixed_to_float.v
holoso/_backend/verilog/rtl/kulibin/_zkf_horner.v
holoso/_backend/verilog/rtl/kulibin/_zkf_normshift.v
holoso/_backend/verilog/rtl/kulibin/_zkf_pack.v
holoso/_backend/verilog/rtl/kulibin/_zkf_pmul.v
holoso/_backend/verilog/rtl/kulibin/_zkf_rshift_sticky.v
holoso/_backend/verilog/rtl/kulibin/_zkf_to_fixpoint.v
holoso/_backend/verilog/rtl/kulibin/zkf_abs.v
holoso/_backend/verilog/rtl/kulibin/zkf_add.v
holoso/_backend/verilog/rtl/kulibin/zkf_addsub.v
holoso/_backend/verilog/rtl/kulibin/zkf_atan2.v
holoso/_backend/verilog/rtl/kulibin/zkf_cmp.v
holoso/_backend/verilog/rtl/kulibin/zkf_cmp_comb.v
holoso/_backend/verilog/rtl/kulibin/zkf_div.v
holoso/_backend/verilog/rtl/kulibin/zkf_exp2.v
holoso/_backend/verilog/rtl/kulibin/zkf_fma.v
holoso/_backend/verilog/rtl/kulibin/zkf_from_int.v
holoso/_backend/verilog/rtl/kulibin/zkf_is_finite.v
holoso/_backend/verilog/rtl/kulibin/zkf_log2.v
holoso/_backend/verilog/rtl/kulibin/zkf_mul.v
holoso/_backend/verilog/rtl/kulibin/zkf_mul_ilog2_const.v
holoso/_backend/verilog/rtl/kulibin/zkf_neg.v
holoso/_backend/verilog/rtl/kulibin/zkf_pipe.v
holoso/_backend/verilog/rtl/kulibin/zkf_resize.v
holoso/_backend/verilog/rtl/kulibin/zkf_round.v
holoso/_backend/verilog/rtl/kulibin/zkf_saturate.v
holoso/_backend/verilog/rtl/kulibin/zkf_sincos.v
holoso/_backend/verilog/rtl/kulibin/zkf_sort.v
holoso/_backend/verilog/rtl/kulibin/zkf_to_int.v
holoso/_backend/verilog/rtl/kulibin/_tables/_zkf_cordic_m11.v
holoso/_backend/verilog/rtl/kulibin/_tables/_zkf_cordic_m16.v
holoso/_backend/verilog/rtl/kulibin/_tables/_zkf_cordic_m18.v
holoso/_backend/verilog/rtl/kulibin/_tables/_zkf_cordic_m24.v
holoso/_backend/verilog/rtl/kulibin/_tables/_zkf_cordic_m27.v
holoso/_backend/verilog/rtl/kulibin/_tables/_zkf_cordic_m32.v
holoso/_backend/verilog/rtl/kulibin/_tables/_zkf_cordic_m36.v
holoso/_backend/verilog/rtl/kulibin/_tables/_zkf_cordic_m48.v
holoso/_backend/verilog/rtl/kulibin/_tables/_zkf_cordic_m53.v
holoso/_backend/verilog/rtl/kulibin/_tables/_zkf_exp2_m16.v
holoso/_backend/verilog/rtl/kulibin/_tables/_zkf_exp2_m18.v
holoso/_backend/verilog/rtl/kulibin/_tables/_zkf_exp2_m24.v
holoso/_backend/verilog/rtl/kulibin/_tables/_zkf_exp2_m27.v
holoso/_backend/verilog/rtl/kulibin/_tables/_zkf_exp2_m32.v
holoso/_backend/verilog/rtl/kulibin/_tables/_zkf_exp2_m36.v
holoso/_backend/verilog/rtl/kulibin/_tables/_zkf_exp2_m48.v
holoso/_backend/verilog/rtl/kulibin/_tables/_zkf_exp2_m53.v
holoso/_backend/verilog/rtl/kulibin/_tables/_zkf_log2_m16.v
holoso/_backend/verilog/rtl/kulibin/_tables/_zkf_log2_m18.v
holoso/_backend/verilog/rtl/kulibin/_tables/_zkf_log2_m24.v
holoso/_backend/verilog/rtl/kulibin/_tables/_zkf_log2_m27.v
holoso/_backend/verilog/rtl/kulibin/_tables/_zkf_log2_m32.v
holoso/_backend/verilog/rtl/kulibin/_tables/_zkf_log2_m36.v
holoso/_backend/verilog/rtl/kulibin/_tables/_zkf_log2_m48.v
holoso/_backend/verilog/rtl/kulibin/_tables/_zkf_log2_m53.v
holoso/_frontend/__init__.py
holoso/_frontend/_aggregate.py
holoso/_frontend/_ast_support.py
holoso/_frontend/_lower.py
holoso/_frontend/_scope.py
holoso/_hir/__init__.py
holoso/_hir/_const.py
holoso/_hir/_const_fold.py
holoso/_hir/_copy.py
holoso/_hir/_dce.py
holoso/_hir/_if_convert.py
holoso/_hir/_ir.py
holoso/_hir/_operators.py
holoso/_hir/_optimize.py
holoso/_hir/_strength_reduce.py
holoso/_hir/_thread_merges.py
holoso/_hir/_types.py
holoso/_lir/__init__.py
holoso/_lir/_bankalloc.py
holoso/_lir/_build.py
holoso/_lir/_build_base.py
holoso/_lir/_coalesce.py
holoso/_lir/_construct.py
holoso/_lir/_ir.py
holoso/_lir/_layout.py
holoso/_lir/_liveness.py
holoso/_lir/_mir_facts.py
holoso/_lir/_portassign.py
holoso/_lir/_ports.py
holoso/_lir/_regalloc.py
holoso/_lir/_schedule.py
holoso/_mir/__init__.py
holoso/_mir/_interpret.py
holoso/_mir/_ir.py
holoso/_mir/_lower.py
tests/test_arithmetic_behavior.py
tests/test_assert_purity.py
tests/test_backend.py
tests/test_const_install.py
tests/test_cosim.py
tests/test_cosim_examples.py
tests/test_cycle_model.py
tests/test_determinism.py
tests/test_example_reference.py
tests/test_frontend.py
tests/test_fuzz.py
tests/test_fuzz_regressions.py
tests/test_gate_edge.py
tests/test_install_landing.py
tests/test_interpret.py
tests/test_language_features.py
tests/test_latency_freeze.py
tests/test_metrics.py
tests/test_overlap_behavior.py
tests/test_passes.py
tests/test_public_api_behavior.py
tests/test_report.py
tests/test_schedule.py
tests/test_synth.py
tests/test_synth_examples.py
tests/test_timing_equivalence_behavior.py
tests/test_verify.py