git.libre-soc.org Git - ieee754fpu.git/shortlog

2022-07-06	Jacob Lifshay	change nmigen from programmerjake's repo to upstream...	commit \| commitdiff \| tree
2022-07-04	Jacob Lifshay	clean up remaining fixmes for fma	commit \| commitdiff \| tree
2022-07-04	Jacob Lifshay	add f8 fma tests -- f16 takes >8hr to run with bitwuzla	commit \| commitdiff \| tree
2022-07-04	Jacob Lifshay	working on implementing fma, f16 rtz formal proof seems...	commit \| commitdiff \| tree
2022-07-04	Jacob Lifshay	add FPFormat.get_exponent_value to get an unbiased...	commit \| commitdiff \| tree
2022-07-04	Jacob Lifshay	misc bug fixes and cleanup in fpbase.py	commit \| commitdiff \| tree
2022-07-04	Jacob Lifshay	add tests for non-power-of-2 shifts for MultiShift...	commit \| commitdiff \| tree
2022-07-04	Jacob Lifshay	fix MultiShift* classes to correctly calculate shift...	commit \| commitdiff \| tree
2022-07-02	Jacob Lifshay	start implementing fp fused-mul-add pipeline	commit \| commitdiff \| tree
2022-07-02	Jacob Lifshay	disable fadd f32 formal proofs by default -- they're...	commit \| commitdiff \| tree
2022-07-01	Jacob Lifshay	fix copyright years	commit \| commitdiff \| tree
2022-07-01	Luke Kenneth...	update README, include links to source code	commit \| commitdiff \| tree
2022-07-01	Jacob Lifshay	change gitlab-ci to show test names	commit \| commitdiff \| tree
2022-07-01	Jacob Lifshay	fix my name	commit \| commitdiff \| tree
2022-07-01	Luke Kenneth...	update Copyright year	commit \| commitdiff \| tree
2022-07-01	Jacob Lifshay	add fsub support to fadd pipeline	commit \| commitdiff \| tree
2022-07-01	Jacob Lifshay	finish adding all rounding modes to fadd -- formal...	commit \| commitdiff \| tree
2022-06-29	Jacob Lifshay	add rounding modes to fpbase.Overflow	commit \| commitdiff \| tree
2022-06-28	Jacob Lifshay	f32 fadd formal proof is fast enough -- don't skip...	commit \| commitdiff \| tree
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
next

RSS Atom