projects / ieee754fpu.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
finish adding all rounding modes to fadd -- formal proof passes
2022-07-01 Jacob Lifshayfinish adding all rounding modes to fadd -- formal...
commit | commitdiff | tree
2022-06-29 Jacob Lifshayadd rounding modes to fpbase.Overflow
 commit | commitdiff | tree
2022-06-28 Jacob Lifshayf32 fadd formal proof is fast enough -- don't skip...
commit | commitdiff | tree
2022-06-28 Jacob Lifshayadd correct NaN propagation to the fadd pipeline and...
commit | commitdiff | tree
2022-06-28 Jacob Lifshayadd bitwuzla to gitlab-ci
 commit | commitdiff | tree
2022-06-28 Jacob Lifshayadd formal proofs for other fadd widths, but with unittest...
commit | commitdiff | tree
2022-06-25 Jacob Lifshayadd initial f16 fadd formal proof
 commit | commitdiff | tree
2022-06-24 Jacob Lifshaychange .gitlab-ci.yml to use nmigen with smtlib2 support
 commit | commitdiff | tree
2022-05-17 Jacob Lifshaychange run command
 commit | commitdiff | tree
2022-05-17 Jacob Lifshayadd fp16mul_test.smt2
 commit | commitdiff | tree
2022-05-13 Jacob Lifshayremove redundant bvadd with 1 input
 commit | commitdiff | tree
2022-05-13 Jacob Lifshayadd missing inf * 0 -> NaN cases
 commit | commitdiff | tree
2022-05-13 Jacob Lifshayadd fpmul_test.smt2 as a test to see if we should bother...
commit | commitdiff | tree
2022-05-12 Jacob Lifshayfix ci not finding sfpy
 commit | commitdiff | tree
2022-05-12 Jacob Lifshayfix tests/mark as expected failure
 commit | commitdiff | tree
2022-05-12 Jacob Lifshayformat code
 commit | commitdiff | tree
2022-05-12 Jacob Lifshaypin some dependency versions
 commit | commitdiff | tree
2022-05-11 Jacob Lifshayremove redundant arguments that are now specified in...
commit | commitdiff | tree
2022-05-11 Jacob Lifshayfix some borked imports
 commit | commitdiff | tree
2022-05-11 Jacob Lifshayadd pytest config -- it ignores some borked files
 commit | commitdiff | tree
2022-05-10 Jacob Lifshaymake sfpy build
 commit | commitdiff | tree
2022-05-10 Jacob Lifshayfix .gitlab-ci.yml
 commit | commitdiff | tree
2021-12-02 Jacob Lifshayswitch to using nmutil's FHDLTestCase
 commit | commitdiff | tree
2021-10-28 Jacob Lifshayadd initial SimdShape.__add__
 commit | commitdiff | tree
2021-10-28 Jacob Lifshayadd initial SimdShape.__mul__
 commit | commitdiff | tree
2021-10-28 Jacob Lifshayformat code
 commit | commitdiff | tree
2021-10-28 Jacob Lifshayremove SimdScope.get() and friends
 commit | commitdiff | tree
2021-10-28 Jacob Lifshayformat code
 commit | commitdiff | tree
2021-10-27 Jacob Lifshayadd tests for SimdMap and friends
 commit | commitdiff | tree
2021-10-27 Jacob Lifshayadd SimdWHintMap to support tracking width_hint for...
commit | commitdiff | tree
2021-10-22 Jacob Lifshayadd type annotations .pyi file for SimdScope
 commit | commitdiff | tree
2021-10-22 Jacob Lifshayupdate SimdScope to use vec_el_counts
 commit | commitdiff | tree
2021-10-22 Jacob Lifshaymove SimdScope to separate file
 commit | commitdiff | tree
2021-10-16 Jacob Lifshayadd forgotten files from last commit
 commit | commitdiff | tree
2021-10-16 Jacob Lifshayadd WIP code for handling Slice and Cat in a unified...
commit | commitdiff | tree
2021-10-15 Jacob Lifshayformat code
 commit | commitdiff | tree
2021-10-15 Jacob Lifshayfix bmask calculation
 commit | commitdiff | tree
2021-10-15 Jacob Lifshaysplit out end_bit
 commit | commitdiff | tree
2021-10-15 Jacob Lifshaysplit out start_bit
 commit | commitdiff | tree
2021-10-15 Jacob Lifshayremove redundant plist variable
 commit | commitdiff | tree
2021-10-15 Jacob Lifshaysort dpoints keys
 commit | commitdiff | tree
2021-10-15 Jacob Lifshaysimplify dpoints computation
 commit | commitdiff | tree
2021-10-15 Jacob Lifshaydedup dpoints
 commit | commitdiff | tree
2021-10-15 Jacob Lifshaydelete superfluous documentation section
 commit | commitdiff | tree
2021-10-15 Jacob Lifshayformat code
 commit | commitdiff | tree
2021-10-13 Jacob Lifshayrefactor layout to use SimdScope and XLEN
 commit | commitdiff | tree
2021-10-13 Jacob Lifshayadd SimdMap and SimdScope and XLEN
 commit | commitdiff | tree
2021-10-13 Jacob Lifshayfix layout bugs
 commit | commitdiff | tree
2021-10-13 Jacob Lifshayadd docs for layout
 commit | commitdiff | tree
2021-10-13 Jacob Lifshayformat code
 commit | commitdiff | tree
2021-10-04 Jacob Lifshayrewrite complex comprehensions as for loops
 commit | commitdiff | tree
2021-10-04 Jacob LifshayFix broken code caused by attempted removal of type...
commit | commitdiff | tree
2021-10-02 Jacob Lifshayadd PartitionedSignalTester
 commit | commitdiff | tree
2020-07-20 Jacob Lifshaydisable faulty bit_width reduction logic in DivPipeCore
 commit | commitdiff | tree
2020-07-20 Jacob Lifshayfix mismatched comb process delays
 commit | commitdiff | tree
2020-07-20 Jacob Lifshayadd process tracing
 commit | commitdiff | tree
2020-07-13 Jacob Lifshayworking on fixing DivPipeCore's test cases
 commit | commitdiff | tree
2020-07-13 Jacob Lifshayclean up DivPipeCoreConfig API
 commit | commitdiff | tree
2020-06-04 Jacob Lifshaymove mulAddRecFN.py and nmigen_div_experiment.py to...
commit | commitdiff | tree
2020-05-22 Jacob Lifshayadd DivPipeOp in fpdiv/op.py
 commit | commitdiff | tree
2020-04-17 Jacob Lifshayadd libmpfr-dev to .gitlab-ci.yml
 commit | commitdiff | tree
2020-04-03 Jacob Lifshayrun tests in parallel
 commit | commitdiff | tree
2020-04-03 Jacob Lifshaybuilding sfpy works
 commit | commitdiff | tree
2020-04-03 Jacob Lifshayadd not yet working .gitlab-ci.yml
 commit | commitdiff | tree
2019-07-29 Jacob Lifshayfix the mess introduced by "fix pipeline stage count"
 commit | commitdiff | tree
2019-07-28 Jacob Lifshayfix pipeline stage count
 commit | commitdiff | tree
2019-07-25 Jacob Lifshayswitch fpdiv/test/test_fp*.py to use unittest
 commit | commitdiff | tree
2019-07-25 Jacob Lifshayskip slow tests
 commit | commitdiff | tree
2019-07-25 Jacob LifshayRevert "reduce LHS for RSQRT by a factor of fract_width...
commit | commitdiff | tree
2019-07-14 Jacob Lifshayfinish implementing DivPipeConfig.__init__
 commit | commitdiff | tree
2019-07-14 Jacob Lifshayreduce code duplication
 commit | commitdiff | tree
2019-07-14 Jacob Lifshayadd FPFormat class to describe floating-point formats...
commit | commitdiff | tree
2019-07-14 Jacob Lifshayswitch pspec from dict to PipelineSpec
 commit | commitdiff | tree
2019-07-14 Jacob Lifshayadd proposed frsqrt instruction encoding table
 commit | commitdiff | tree
2019-07-11 Jacob Lifshaydelete dead code in fpbase.MultiShift.[lr]shift
 commit | commitdiff | tree
2019-07-11 Jacob Lifshayformat fpbase.py
 commit | commitdiff | tree
2019-07-11 Jacob Lifshayrename mid -> muxid in comment
 commit | commitdiff | tree
2019-07-10 Jacob Lifshayadd more tests; they all pass
 commit | commitdiff | tree
2019-07-10 Jacob LifshayDivPipeCore tests pass; still need to add more tests
 commit | commitdiff | tree
2019-07-10 Jacob Lifshaytest_core.py doesn't crash anymore
 commit | commitdiff | tree
2019-07-09 Jacob Lifshaymake tests executable
 commit | commitdiff | tree
2019-07-09 Jacob Lifshayrename log2_tb -> tb_width
 commit | commitdiff | tree
2019-07-07 Jacob Lifshayadd fixme
 commit | commitdiff | tree
2019-07-07 Jacob Lifshaywork on adding tests; test_core.py currently fails
 commit | commitdiff | tree
2019-07-07 Jacob Lifshayadd tests for integer and fractional division
 commit | commitdiff | tree
2019-07-07 Jacob Lifshayswitch algorithm in UnsignedDivRem to match FixedUDivRemSqrt...
commit | commitdiff | tree
2019-07-07 Jacob Lifshaymisc code cleanups
 commit | commitdiff | tree
2019-07-07 Jacob Lifshaymove DivPipe(?!Core).* classes to div_pipe.py
 commit | commitdiff | tree
2019-07-05 Jacob Lifshayadd rest of DivPipeCore
 commit | commitdiff | tree
2019-07-05 Jacob Lifshayfix up setup and process functions
 commit | commitdiff | tree
2019-07-05 Jacob Lifshayadd DivPipeCoreSetupStage
 commit | commitdiff | tree
2019-07-03 Jacob Lifshayimplemented FixedUDivRemSqrtRSqrt
 commit | commitdiff | tree
2019-07-03 Jacob Lifshayhopefully fix test errors when using nosetests3
 commit | commitdiff | tree
2019-07-03 Jacob Lifshayimplement FixedRSqrt
 commit | commitdiff | tree
2019-07-03 Jacob Lifshayfix comments
 commit | commitdiff | tree
2019-07-03 Jacob Lifshayimplemented FixedSqrt
 commit | commitdiff | tree
2019-07-01 Jacob Lifshayimplement fixed_rsqrt
 commit | commitdiff | tree
2019-07-01 Jacob Lifshayimplement fixed_sqrt
 commit | commitdiff | tree
2019-07-01 Jacob Lifshayadded tests for rest of Fixed
 commit | commitdiff | tree
2019-06-30 Jacob Lifshayadd more tests
 commit | commitdiff | tree
next