projects
/
ieee754fpu.git
/ shortlog
commit
grep
author
committer
pickaxe
?
search:
re
summary
| shortlog |
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
ieee754fpu.git
2022-06-28
Jacob Lifshay
add correct NaN propagation to the fadd pipeline and...
commit
|
commitdiff
|
tree
2022-06-28
Jacob Lifshay
add bitwuzla to gitlab-ci
commit
|
commitdiff
|
tree
2022-06-28
Jacob Lifshay
add formal proofs for other fadd widths, but with unitt...
commit
|
commitdiff
|
tree
2022-06-25
Jacob Lifshay
add initial f16 fadd formal proof
commit
|
commitdiff
|
tree
2022-06-24
Jacob Lifshay
change .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 Lifshay
change run command
commit
|
commitdiff
|
tree
2022-05-17
Jacob Lifshay
add fp16mul_test.smt2
commit
|
commitdiff
|
tree
2022-05-13
Jacob Lifshay
remove redundant bvadd with 1 input
commit
|
commitdiff
|
tree
2022-05-13
Jacob Lifshay
add missing inf * 0 -> NaN cases
commit
|
commitdiff
|
tree
2022-05-13
Jacob Lifshay
add fpmul_test.smt2 as a test to see if we should bothe...
commit
|
commitdiff
|
tree
2022-05-12
Jacob Lifshay
fix ci not finding sfpy
commit
|
commitdiff
|
tree
2022-05-12
Jacob Lifshay
fix tests/mark as expected failure
commit
|
commitdiff
|
tree
2022-05-12
Jacob Lifshay
format code
commit
|
commitdiff
|
tree
2022-05-12
Jacob Lifshay
pin some dependency versions
commit
|
commitdiff
|
tree
2022-05-11
Jacob Lifshay
remove redundant arguments that are now specified in...
commit
|
commitdiff
|
tree
2022-05-11
Jacob Lifshay
fix some borked imports
commit
|
commitdiff
|
tree
2022-05-11
Jacob Lifshay
add pytest config -- it ignores some borked files
commit
|
commitdiff
|
tree
2022-05-10
Jacob Lifshay
make sfpy build
commit
|
commitdiff
|
tree
2022-05-10
Jacob Lifshay
fix .gitlab-ci.yml
commit
|
commitdiff
|
tree
2021-12-02
Jacob Lifshay
switch 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 Lifshay
add initial SimdShape.__add__
commit
|
commitdiff
|
tree
2021-10-28
Jacob Lifshay
add initial SimdShape.__mul__
commit
|
commitdiff
|
tree
2021-10-28
Jacob Lifshay
format code
commit
|
commitdiff
|
tree
2021-10-28
Jacob Lifshay
remove SimdScope.get() and friends
commit
|
commitdiff
|
tree
2021-10-28
Jacob Lifshay
format code
commit
|
commitdiff
|
tree
2021-10-27
Jacob Lifshay
add tests for SimdMap and friends
commit
|
commitdiff
|
tree
2021-10-27
Jacob Lifshay
add 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 Lifshay
add type annotations .pyi file for SimdScope
commit
|
commitdiff
|
tree
2021-10-22
Jacob Lifshay
update SimdScope to use vec_el_counts
commit
|
commitdiff
|
tree
2021-10-22
Jacob Lifshay
move 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 Lifshay
add forgotten files from last commit
commit
|
commitdiff
|
tree
2021-10-16
Jacob Lifshay
add WIP code for handling Slice and Cat in a unified...
commit
|
commitdiff
|
tree
2021-10-15
Jacob Lifshay
format code
commit
|
commitdiff
|
tree
2021-10-15
Jacob Lifshay
fix bmask calculation
commit
|
commitdiff
|
tree
2021-10-15
Jacob Lifshay
split out end_bit
commit
|
commitdiff
|
tree
2021-10-15
Jacob Lifshay
split out start_bit
commit
|
commitdiff
|
tree
2021-10-15
Jacob Lifshay
remove redundant plist variable
commit
|
commitdiff
|
tree
2021-10-15
Jacob Lifshay
sort dpoints keys
commit
|
commitdiff
|
tree
2021-10-15
Jacob Lifshay
simplify dpoints computation
commit
|
commitdiff
|
tree
2021-10-15
Jacob Lifshay
dedup dpoints
commit
|
commitdiff
|
tree
2021-10-15
Jacob Lifshay
delete superfluous documentation section
commit
|
commitdiff
|
tree
2021-10-15
Jacob Lifshay
format 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
next