.gitignore
.gitlab-ci.yml
.gitmodules
Makefile
NEWS.txt
README.md
SoftPosit.patch
berkeley-softfloat.patch
setup.py
doc/frsqrt.rst
src/ieee754/__init__.py
src/ieee754/pipeline.py
src/ieee754/add/__init__.py
src/ieee754/add/add_shift_experiment.py
src/ieee754/add/dual_add_experiment.py
src/ieee754/add/example_comb_pipe.py
src/ieee754/add/f.py
src/ieee754/add/fifo.py
src/ieee754/add/fsqr.py
src/ieee754/add/function_unit.py
src/ieee754/add/hmc_backed_fifo_tb.py
src/ieee754/add/inputgroup.py
src/ieee754/add/original_single_pipe.py
src/ieee754/add/pipeline_example.py
src/ieee754/add/pipeline_example2.py
src/ieee754/add/record_experiment.py
src/ieee754/add/rstation_row.py
src/ieee754/add/run_test.py
src/ieee754/add/slice_repro.py
src/ieee754/add/test_add_pipe.py
src/ieee754/add/test_dual.py
src/ieee754/add/test_fpdiv_pipe.py
src/ieee754/add/test_fpnum.py
src/ieee754/add/test_inputgroup.py
src/ieee754/add/test_multishift.py
src/ieee754/add/test_orgate.py
src/ieee754/add/test_state_add.py
src/ieee754/add/test_syncops.py
src/ieee754/cordic/fp_pipe_data.py
src/ieee754/cordic/fp_pipe_init_stages.py
src/ieee754/cordic/fp_pipeline.py
src/ieee754/cordic/fpsin_cos.py
src/ieee754/cordic/pipe_data.py
src/ieee754/cordic/renormalize.py
src/ieee754/cordic/sin_cos.py
src/ieee754/cordic/sin_cos_pipe_stage.py
src/ieee754/cordic/sin_cos_pipeline.py
src/ieee754/cordic/test/python_sin_cos.py
src/ieee754/cordic/test/test_fp_pipe.py
src/ieee754/cordic/test/test_fpsin_cos.py
src/ieee754/cordic/test/test_sincos.py
src/ieee754/cordic/test/test_software.py
src/ieee754/div_rem_sqrt_rsqrt/__init__.py
src/ieee754/div_rem_sqrt_rsqrt/algorithm.py
src/ieee754/div_rem_sqrt_rsqrt/algorithm.pyi
src/ieee754/div_rem_sqrt_rsqrt/core.py
src/ieee754/div_rem_sqrt_rsqrt/div_pipe.py
src/ieee754/div_rem_sqrt_rsqrt/test_algorithm.py
src/ieee754/div_rem_sqrt_rsqrt/test_core.py
src/ieee754/fclass/__init__.py
src/ieee754/fclass/fclass.py
src/ieee754/fclass/pipeline.py
src/ieee754/fclass/test/__init__.py
src/ieee754/fclass/test/test_fclass_pipe.py
src/ieee754/fcvt/__init__.py
src/ieee754/fcvt/downsize.py
src/ieee754/fcvt/float2int.py
src/ieee754/fcvt/int2float.py
src/ieee754/fcvt/pipeline.py
src/ieee754/fcvt/upsize.py
src/ieee754/fcvt/test/__init__.py
src/ieee754/fcvt/test/fcvt_data_32_16.py
src/ieee754/fcvt/test/fcvt_data_64_16.py
src/ieee754/fcvt/test/fcvt_data_64_32.py
src/ieee754/fcvt/test/rangelimited.py
src/ieee754/fcvt/test/test_fcvt_f2int_pipe.py
src/ieee754/fcvt/test/test_fcvt_int_pipe.py
src/ieee754/fcvt/test/test_fcvt_int_pipe_16_32.py
src/ieee754/fcvt/test/test_fcvt_pipe.py
src/ieee754/fcvt/test/test_fcvt_pipe_32_16.py
src/ieee754/fcvt/test/test_fcvt_pipe_64_16.py
src/ieee754/fcvt/test/test_fcvt_pipe_64_32.py
src/ieee754/fcvt/test/test_fcvt_pipe_close.py
src/ieee754/fcvt/test/test_fcvt_up_pipe.py
src/ieee754/fcvt/test/test_fcvt_up_pipe_16_32.py
src/ieee754/fcvt/test/test_fcvt_up_pipe_16_64.py
src/ieee754/fcvt/test/test_fcvt_up_pipe_32_64.py
src/ieee754/fcvt/test/up_fcvt_data_16_32.py
src/ieee754/fcvt/test/up_fcvt_data_32_64.py
src/ieee754/fpadd/__init__.py
src/ieee754/fpadd/add0.py
src/ieee754/fpadd/add1.py
src/ieee754/fpadd/addstages.py
src/ieee754/fpadd/align.py
src/ieee754/fpadd/datastruct.py
src/ieee754/fpadd/fadd_state.py
src/ieee754/fpadd/nmigen_add_experiment.py
src/ieee754/fpadd/pipeline.py
src/ieee754/fpadd/specialcases.py
src/ieee754/fpadd/statemachine.py
src/ieee754/fpadd/test/__init__.py
src/ieee754/fpadd/test/add_data16.py
src/ieee754/fpadd/test/add_data32.py
src/ieee754/fpadd/test/add_data64.py
src/ieee754/fpadd/test/test_add.py
src/ieee754/fpadd/test/test_add16.py
src/ieee754/fpadd/test/test_add64.py
src/ieee754/fpadd/test/test_add_base.py
src/ieee754/fpadd/test/test_fpadd_pipe.py
src/ieee754/fpadd/test/test_fpadd_pipe_16.py
src/ieee754/fpadd/test/test_fpadd_pipe_32.py
src/ieee754/fpadd/test/test_fpadd_pipe_64.py
src/ieee754/fpcmp/fpcmp.py
src/ieee754/fpcmp/pipeline.py
src/ieee754/fpcmp/formal/.gitignore
src/ieee754/fpcmp/formal/proof_fpcmp_mod.py
src/ieee754/fpcmp/test/test_fpcmp_pipe.py
src/ieee754/fpcommon/__init__.py
src/ieee754/fpcommon/basedata.py
src/ieee754/fpcommon/corrections.py
src/ieee754/fpcommon/denorm.py
src/ieee754/fpcommon/exphigh.py
src/ieee754/fpcommon/fpbase.py
src/ieee754/fpcommon/getop.py
src/ieee754/fpcommon/msbhigh.py
src/ieee754/fpcommon/normtopack.py
src/ieee754/fpcommon/pack.py
src/ieee754/fpcommon/packdata.py
src/ieee754/fpcommon/postcalc.py
src/ieee754/fpcommon/postnormalise.py
src/ieee754/fpcommon/pscdata.py
src/ieee754/fpcommon/putz.py
src/ieee754/fpcommon/roundz.py
src/ieee754/fpcommon/test/__init__.py
src/ieee754/fpcommon/test/case_gen.py
src/ieee754/fpcommon/test/feedbackmux.py
src/ieee754/fpcommon/test/fpmux.py
src/ieee754/fpcommon/test/test_fsm_experiment.py
src/ieee754/fpcommon/test/unit_test_double.py
src/ieee754/fpcommon/test/unit_test_half.py
src/ieee754/fpcommon/test/unit_test_single.py
src/ieee754/fpdiv/__init__.py
src/ieee754/fpdiv/div0.py
src/ieee754/fpdiv/div2.py
src/ieee754/fpdiv/divstages.py
src/ieee754/fpdiv/op.py
src/ieee754/fpdiv/pipeline.py
src/ieee754/fpdiv/specialcases.py
src/ieee754/fpdiv/test/__init__.py
src/ieee754/fpdiv/test/div_data16.py
src/ieee754/fpdiv/test/div_data32.py
src/ieee754/fpdiv/test/sqrt_data16.py
src/ieee754/fpdiv/test/sqrt_data32.py
src/ieee754/fpdiv/test/test_fpdiv_pipe.py
src/ieee754/fpdiv/test/test_fpdiv_pipe_16.py
src/ieee754/fpdiv/test/test_fpdiv_pipe_32.py
src/ieee754/fpdiv/test/test_fprsqrt_pipe.py
src/ieee754/fpdiv/test/test_fprsqrt_pipe_16.py
src/ieee754/fpdiv/test/test_fprsqrt_pipe_32.py
src/ieee754/fpdiv/test/test_fpsqrt_pipe.py
src/ieee754/fpdiv/test/test_fpsqrt_pipe_16.py
src/ieee754/fpdiv/test/test_fpsqrt_pipe_32.py
src/ieee754/fpdiv/test/test_fpsqrt_pipe_64.py
src/ieee754/fpmax/fpmax.py
src/ieee754/fpmax/pipeline.py
src/ieee754/fpmax/formal/.gitignore
src/ieee754/fpmax/formal/proof_fmax_mod.py
src/ieee754/fpmax/test/test_fpmax_pipe.py
src/ieee754/fpmul/__init__.py
src/ieee754/fpmul/align.py
src/ieee754/fpmul/datastructs.py
src/ieee754/fpmul/fmul.py
src/ieee754/fpmul/mul0.py
src/ieee754/fpmul/mul1.py
src/ieee754/fpmul/mulstages.py
src/ieee754/fpmul/pipeline.py
src/ieee754/fpmul/specialcases.py
src/ieee754/fpmul/test/__init__.py
src/ieee754/fpmul/test/mul_data16.py
src/ieee754/fpmul/test/mul_data32.py
src/ieee754/fpmul/test/mul_data64.py
src/ieee754/fpmul/test/test_fpmul_pipe.py
src/ieee754/fpmul/test/test_fpmul_pipe_16.py
src/ieee754/fpmul/test/test_fpmul_pipe_32.py
src/ieee754/fpmul/test/test_fpmul_pipe_64.py
src/ieee754/fpmul/test/test_mul.py
src/ieee754/fpmul/test/test_mul64.py
src/ieee754/fpsqrt/__init__.py
src/ieee754/fpsqrt/fsqrt.py
src/ieee754/fsgnj/fsgnj.py
src/ieee754/fsgnj/pipeline.py
src/ieee754/fsgnj/formal/.gitignore
src/ieee754/fsgnj/formal/proof.sby
src/ieee754/fsgnj/formal/proof_fsgnj_mod.py
src/ieee754/fsgnj/test/test_fsgnj_pipe.py
src/ieee754/part/partsig.py
src/ieee754/part/formal/.gitignore
src/ieee754/part/formal/proof_partition.py
src/ieee754/part/test/test_partsig.py
src/ieee754/part_bits/__init__.py
src/ieee754/part_bits/bits.py
src/ieee754/part_bits/bits_combiner.py
src/ieee754/part_bits/xor.py
src/ieee754/part_cmp/__init__.py
src/ieee754/part_cmp/eq_gt_ge.py
src/ieee754/part_cmp/gt_combiner.py
src/ieee754/part_cmp/reorder_results.py
src/ieee754/part_cmp/ripple.py
src/ieee754/part_cmp/experiments/__init__.py
src/ieee754/part_cmp/experiments/eq_combiner.py
src/ieee754/part_cmp/experiments/equal.py
src/ieee754/part_cmp/experiments/equal_ortree.py
src/ieee754/part_cmp/experiments/ge.py
src/ieee754/part_cmp/experiments/test.py
src/ieee754/part_cmp/experiments/formal/.gitignore
src/ieee754/part_cmp/experiments/formal/proof_eq.py
src/ieee754/part_cmp/experiments/formal/proof_equal.py
src/ieee754/part_cmp/experiments/formal/proof_partitioned_eq.py
src/ieee754/part_cmp/formal/.gitignore
src/ieee754/part_cmp/formal/proof_eq_gt_ge.py
src/ieee754/part_cmp/formal/proof_gt.py
src/ieee754/part_cmp/formal/proof_partitioned_eq_gt_ge.py
src/ieee754/part_mul_add/__init__.py
src/ieee754/part_mul_add/adder.py
src/ieee754/part_mul_add/mul_pipe.py
src/ieee754/part_mul_add/multiply.py
src/ieee754/part_mul_add/multiply.pyi
src/ieee754/part_mul_add/multiplytmp.py
src/ieee754/part_mul_add/partpoints.py
src/ieee754/part_mul_add/test/__init__.py
src/ieee754/part_mul_add/test/test_mul_pipe.py
src/ieee754/part_mul_add/test/test_multiply.py
src/ieee754/part_mux/__init__.py
src/ieee754/part_mux/part_mux.py
src/ieee754/part_shift/__init__.py
src/ieee754/part_shift/bitrev.py
src/ieee754/part_shift/part_shift_dynamic.py
src/ieee754/part_shift/part_shift_scalar.py
src/ieee754/part_shift/formal/.gitignore
src/ieee754/part_shift/formal/proof_shift_dynamic.py
src/ieee754/part_shift/formal/proof_shift_scalar.py
src/ieee754/part_shift/test/test_shift_dynamic.py
src/ieee754/part_shift/test/test_shift_scalar.py
src/ieee754/part_shift_scalar/__init__.py
src/ieee754/test/__init__.py
src/ieee754/test/tools.py
src/ieee754/unused/__init__.py
src/ieee754/unused/fpdiv/__init__.py
src/ieee754/unused/fpdiv/mulAddRecFN.py
src/ieee754/unused/fpdiv/nmigen_div_experiment.py
src/ieee754/unused/fpdiv/test/__init__.py
src/ieee754/unused/fpdiv/test/test_div.py
src/ieee754/unused/fpdiv/test/test_div64.py
src/libresoc_ieee754fpu.egg-info/PKG-INFO
src/libresoc_ieee754fpu.egg-info/SOURCES.txt
src/libresoc_ieee754fpu.egg-info/dependency_links.txt
src/libresoc_ieee754fpu.egg-info/not-zip-safe
src/libresoc_ieee754fpu.egg-info/requires.txt
src/libresoc_ieee754fpu.egg-info/top_level.txt