projects / ieee754fpu.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
ieee754fpu.git
2022-06-28 Jacob Lifshayadd formal proofs for other fadd widths, but with unitt... 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 Luke Kenneth... add set-logic ALL clause to stop cvc5 warning 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 bothe... 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-11-08 Luke Kenneth... allow alias SimdSignal<-PartitionedSignal to allow... commit | commitdiff | tree
2021-10-30 Luke Kenneth... comments commit | commitdiff | tree
2021-10-30 Luke Kenneth... allow scope to be None in SimdShape, it becomes an... commit | commitdiff | tree
2021-10-30 Luke Kenneth... add SimdScope.__call__ function needed to copy and... commit | commitdiff | tree
2021-10-30 Luke Kenneth... add setmodule function to SimdScope commit | commitdiff | tree
2021-10-28 Luke Kenneth... put in (unused) code for SimdShape.__mul__ when both... commit | commitdiff | tree
2021-10-28 Luke Kenneth... start filling in integer SimdShape.__mul__ case with... commit | commitdiff | tree
2021-10-28 Luke Kenneth... add SimdShape "priority" mode flag 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-25 Luke Kenneth... hooray, convert PartitionedCat over to new PartType... commit | commitdiff | tree
2021-10-25 Luke Kenneth... add two new functions to PartType: get_num_elements... commit | commitdiff | tree
2021-10-25 Luke Kenneth... remove fixed_width parameter from SimdScope.Signal commit | commitdiff | tree
2021-10-25 Luke Kenneth... use explicit SimdShape for minitest example rather... commit | commitdiff | tree
2021-10-25 Luke Kenneth... had to add fixed_width parameter temporarily to confirm... commit | commitdiff | tree
2021-10-25 Luke Kenneth... debugging of initial test_partsig_scope.py mini-test commit | commitdiff | tree
2021-10-25 Luke Kenneth... adapt/debug SimdSignal when using ElwidPartType commit | commitdiff | tree
2021-10-25 Luke Kenneth... remove unnecessary imports commit | commitdiff | tree
2021-10-25 Luke Kenneth... remove unnecessary code which creates complications... commit | commitdiff | tree
2021-10-25 Luke Kenneth... rename the arguments to SimdShape() so as to match... commit | commitdiff | tree
2021-10-25 Luke Kenneth... add SimdScope.Shape redirector which switches from... commit | commitdiff | tree
2021-10-25 Luke Kenneth... start filling in ElwidPartType switch/case and other... commit | commitdiff | tree
2021-10-25 Luke Kenneth... create a SimdShape class and begin to investigate how... commit | commitdiff | tree
2021-10-25 Luke Kenneth... add more code-comments commit | commitdiff | tree
2021-10-24 Luke Kenneth... return layout points from layout() commit | commitdiff | tree
2021-10-24 Luke Kenneth... spelling corrections after typing on a phone commit | commitdiff | tree
2021-10-24 Luke Kenneth... add dictionary of list of layout points, start-end commit | commitdiff | tree
2021-10-24 Luke Kenneth... add docstrings for additional necessary context-aware... commit | commitdiff | tree
2021-10-22 Luke Kenneth... from mobile reslly bad spelling comment why layout... commit | commitdiff | tree
2021-10-22 Luke Kenneth... add back-link to why SimdScope has to get the hell... commit | commitdiff | tree
2021-10-22 Luke Kenneth... add in code-comments commit | commitdiff | tree
2021-10-22 Luke Kenneth... add comments / docstrings for layout function to illust... commit | commitdiff | tree
2021-10-22 Luke Kenneth... only set standard PartType in non-Simd-mode commit | commitdiff | tree
2021-10-22 Luke Kenneth... in SimdScope only update module AST Typecast function... commit | commitdiff | tree
2021-10-22 Luke Kenneth... add the beginnings of a usage docstring for the module... commit | commitdiff | tree
2021-10-22 Luke Kenneth... remove simd_full_width_hint, it is down to individual... commit | commitdiff | tree
2021-10-22 Luke Kenneth... add in TODO notes tying in SimdScope/SimdMode 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-21 Luke Kenneth... add LHS support into PartitionedCat. amazingly - stunni... commit | commitdiff | tree
2021-10-21 Luke Kenneth... confirmed (in prototype form that LHS Cat will cause... commit | commitdiff | tree
2021-10-21 Luke Kenneth... continue truly awful hack which, in SimdSignal.__Assign... commit | commitdiff | tree
2021-10-21 Luke Kenneth... add back-link in the return result of PartitionedCat... commit | commitdiff | tree
2021-10-21 Luke Kenneth... add quick print statements to show that elaborate(... commit | commitdiff | tree
2021-10-21 Luke Kenneth... found an error in PartitionedAssign and PartitionedRepl commit | commitdiff | tree
2021-10-21 Luke Kenneth... remove duplicate function definition commit | commitdiff | tree
2021-10-21 Luke Kenneth... remove reference to use of Swizzled class, due to it... 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 Luke Kenneth... create quick test of what 24-12-5-6 layout was likely... commit | commitdiff | tree
2021-10-13 Luke Kenneth... add 2nd test to see what is going on in layout_experiment commit | commitdiff | tree
2021-10-13 Luke Kenneth... add FP "exponent" example, not quite matching expected... commit | commitdiff | tree
2021-10-13 Luke Kenneth... remove return of part_count parameter because it is... commit | commitdiff | tree
2021-10-13 Luke Kenneth... fix issue where width was being computed based on 2... commit | commitdiff | tree
2021-10-13 Luke Kenneth... remove unnecessary sign argument from layout() tests commit | commitdiff | tree
2021-10-13 Luke Kenneth... remove signed. again commit | commitdiff | tree
2021-10-13 Luke Kenneth... whitespace for clarity. comments commit | commitdiff | tree
2021-10-13 Luke Kenneth... move "faulty" test to end of layout_experiment.py ... commit | commitdiff | tree
2021-10-13 Luke Kenneth... although it is a little less visually clear, removing... commit | commitdiff | tree
2021-10-13 Luke Kenneth... add assert to check that the 5-6-6-6 example returns... commit | commitdiff | tree
2021-10-13 Luke Kenneth... fix layout() to put in only the number of *requested... commit | commitdiff | tree
2021-10-13 Luke Kenneth... rename part_counts to vec_el_counts commit | commitdiff | tree
2021-10-13 Luke Kenneth... cpart_wid is just max(lane_shapes.values()) commit | commitdiff | tree
2021-10-13 Luke Kenneth... redefine part_counts to be "number of vector elements... commit | commitdiff | tree
2021-10-13 Luke Kenneth... whitespace commit | commitdiff | tree
next