ieee754fpu.git
2022-08-12 Jacob Lifshaychange all uses of dataclass to plain_data master
2022-07-06 Jacob Lifshaychange to correct branch
2022-07-06 Jacob Lifshaychange nmigen from programmerjake's repo to upstream...
2022-07-04 Jacob Lifshayclean up remaining fixmes for fma
2022-07-04 Jacob Lifshayadd f8 fma tests -- f16 takes >8hr to run with bitwuzla
2022-07-04 Jacob Lifshayworking on implementing fma, f16 rtz formal proof seems...
2022-07-04 Jacob Lifshayadd FPFormat.get_exponent_value to get an unbiased...
2022-07-04 Jacob Lifshaymisc bug fixes and cleanup in fpbase.py
2022-07-04 Jacob Lifshayadd tests for non-power-of-2 shifts for MultiShift...
2022-07-04 Jacob Lifshayfix MultiShift* classes to correctly calculate shift...
2022-07-02 Jacob Lifshaystart implementing fp fused-mul-add pipeline
2022-07-02 Jacob Lifshaydisable fadd f32 formal proofs by default -- they're...
2022-07-01 Jacob Lifshayfix copyright years
2022-07-01 Luke Kenneth... update README, include links to source code
2022-07-01 Jacob Lifshaychange gitlab-ci to show test names
2022-07-01 Jacob Lifshayfix my name
2022-07-01 Luke Kenneth... update Copyright year
2022-07-01 Jacob Lifshayadd fsub support to fadd pipeline
2022-07-01 Jacob Lifshayfinish adding all rounding modes to fadd -- formal...
2022-06-29 Jacob Lifshayadd rounding modes to fpbase.Overflow
2022-06-28 Jacob Lifshayf32 fadd formal proof is fast enough -- don't skip...
2022-06-28 Jacob Lifshayadd correct NaN propagation to the fadd pipeline and...
2022-06-28 Jacob Lifshayadd bitwuzla to gitlab-ci
2022-06-28 Jacob Lifshayadd formal proofs for other fadd widths, but with unitt...
2022-06-25 Jacob Lifshayadd initial f16 fadd formal proof
2022-06-24 Jacob Lifshaychange .gitlab-ci.yml to use nmigen with smtlib2 support
2022-05-17 Luke Kenneth... add set-logic ALL clause to stop cvc5 warning
2022-05-17 Jacob Lifshaychange run command
2022-05-17 Jacob Lifshayadd fp16mul_test.smt2
2022-05-13 Jacob Lifshayremove redundant bvadd with 1 input
2022-05-13 Jacob Lifshayadd missing inf * 0 -> NaN cases
2022-05-13 Jacob Lifshayadd fpmul_test.smt2 as a test to see if we should bothe...
2022-05-12 Jacob Lifshayfix ci not finding sfpy
2022-05-12 Jacob Lifshayfix tests/mark as expected failure
2022-05-12 Jacob Lifshayformat code
2022-05-12 Jacob Lifshaypin some dependency versions
2022-05-11 Jacob Lifshayremove redundant arguments that are now specified in...
2022-05-11 Jacob Lifshayfix some borked imports
2022-05-11 Jacob Lifshayadd pytest config -- it ignores some borked files
2022-05-10 Jacob Lifshaymake sfpy build
2022-05-10 Jacob Lifshayfix .gitlab-ci.yml
2021-12-02 Jacob Lifshayswitch to using nmutil's FHDLTestCase
2021-11-08 Luke Kenneth... allow alias SimdSignal<-PartitionedSignal to allow...
2021-10-30 Luke Kenneth... comments
2021-10-30 Luke Kenneth... allow scope to be None in SimdShape, it becomes an...
2021-10-30 Luke Kenneth... add SimdScope.__call__ function needed to copy and...
2021-10-30 Luke Kenneth... add setmodule function to SimdScope
2021-10-28 Luke Kenneth... put in (unused) code for SimdShape.__mul__ when both...
2021-10-28 Luke Kenneth... start filling in integer SimdShape.__mul__ case with...
2021-10-28 Luke Kenneth... add SimdShape "priority" mode flag
2021-10-28 Jacob Lifshayadd initial SimdShape.__add__
2021-10-28 Jacob Lifshayadd initial SimdShape.__mul__
2021-10-28 Jacob Lifshayformat code
2021-10-28 Jacob Lifshayremove SimdScope.get() and friends
2021-10-28 Jacob Lifshayformat code
2021-10-27 Jacob Lifshayadd tests for SimdMap and friends
2021-10-27 Jacob Lifshayadd SimdWHintMap to support tracking width_hint for...
2021-10-25 Luke Kenneth... hooray, convert PartitionedCat over to new PartType...
2021-10-25 Luke Kenneth... add two new functions to PartType: get_num_elements...
2021-10-25 Luke Kenneth... remove fixed_width parameter from SimdScope.Signal
2021-10-25 Luke Kenneth... use explicit SimdShape for minitest example rather...
2021-10-25 Luke Kenneth... had to add fixed_width parameter temporarily to confirm...
2021-10-25 Luke Kenneth... debugging of initial test_partsig_scope.py mini-test
2021-10-25 Luke Kenneth... adapt/debug SimdSignal when using ElwidPartType
2021-10-25 Luke Kenneth... remove unnecessary imports
2021-10-25 Luke Kenneth... remove unnecessary code which creates complications...
2021-10-25 Luke Kenneth... rename the arguments to SimdShape() so as to match...
2021-10-25 Luke Kenneth... add SimdScope.Shape redirector which switches from...
2021-10-25 Luke Kenneth... start filling in ElwidPartType switch/case and other...
2021-10-25 Luke Kenneth... create a SimdShape class and begin to investigate how...
2021-10-25 Luke Kenneth... add more code-comments
2021-10-24 Luke Kenneth... return layout points from layout()
2021-10-24 Luke Kenneth... spelling corrections after typing on a phone
2021-10-24 Luke Kenneth... add dictionary of list of layout points, start-end
2021-10-24 Luke Kenneth... add docstrings for additional necessary context-aware...
2021-10-22 Luke Kenneth... from mobile reslly bad spelling comment why layout...
2021-10-22 Luke Kenneth... add back-link to why SimdScope has to get the hell...
2021-10-22 Luke Kenneth... add in code-comments
2021-10-22 Luke Kenneth... add comments / docstrings for layout function to illust...
2021-10-22 Luke Kenneth... only set standard PartType in non-Simd-mode
2021-10-22 Luke Kenneth... in SimdScope only update module AST Typecast function...
2021-10-22 Luke Kenneth... add the beginnings of a usage docstring for the module...
2021-10-22 Luke Kenneth... remove simd_full_width_hint, it is down to individual...
2021-10-22 Luke Kenneth... add in TODO notes tying in SimdScope/SimdMode
2021-10-22 Jacob Lifshayadd type annotations .pyi file for SimdScope
2021-10-22 Jacob Lifshayupdate SimdScope to use vec_el_counts
2021-10-22 Jacob Lifshaymove SimdScope to separate file
2021-10-21 Luke Kenneth... add LHS support into PartitionedCat. amazingly - stunni...
2021-10-21 Luke Kenneth... confirmed (in prototype form that LHS Cat will cause...
2021-10-21 Luke Kenneth... continue truly awful hack which, in SimdSignal.__Assign...
2021-10-21 Luke Kenneth... add back-link in the return result of PartitionedCat...
2021-10-21 Luke Kenneth... add quick print statements to show that elaborate(...
2021-10-21 Luke Kenneth... found an error in PartitionedAssign and PartitionedRepl
2021-10-21 Luke Kenneth... remove duplicate function definition
2021-10-21 Luke Kenneth... remove reference to use of Swizzled class, due to it...
2021-10-16 Jacob Lifshayadd forgotten files from last commit
2021-10-16 Jacob Lifshayadd WIP code for handling Slice and Cat in a unified...
2021-10-15 Jacob Lifshayformat code
2021-10-15 Jacob Lifshayfix bmask calculation
2021-10-15 Jacob Lifshaysplit out end_bit
next