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

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 unittest...	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	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 bother...	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-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-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-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	Jacob Lifshay	refactor layout to use SimdScope and XLEN	commit \| commitdiff \| tree
2021-10-13	Jacob Lifshay	add SimdMap and SimdScope and XLEN	commit \| commitdiff \| tree
2021-10-13	Jacob Lifshay	fix layout bugs	commit \| commitdiff \| tree
2021-10-13	Jacob Lifshay	add docs for layout	commit \| commitdiff \| tree
2021-10-13	Jacob Lifshay	format code	commit \| commitdiff \| tree
2021-10-04	Jacob Lifshay	rewrite complex comprehensions as for loops	commit \| commitdiff \| tree
2021-10-04	Jacob Lifshay	Fix broken code caused by attempted removal of type...	commit \| commitdiff \| tree
2021-10-02	Jacob Lifshay	add PartitionedSignalTester	commit \| commitdiff \| tree
2020-07-20	Jacob Lifshay	disable faulty bit_width reduction logic in DivPipeCore	commit \| commitdiff \| tree
2020-07-20	Jacob Lifshay	fix mismatched comb process delays	commit \| commitdiff \| tree
2020-07-20	Jacob Lifshay	add process tracing	commit \| commitdiff \| tree
2020-07-13	Jacob Lifshay	working on fixing DivPipeCore's test cases	commit \| commitdiff \| tree
2020-07-13	Jacob Lifshay	clean up DivPipeCoreConfig API	commit \| commitdiff \| tree
2020-06-04	Jacob Lifshay	move mulAddRecFN.py and nmigen_div_experiment.py to...	commit \| commitdiff \| tree
2020-05-22	Jacob Lifshay	add DivPipeOp in fpdiv/op.py	commit \| commitdiff \| tree
2020-04-17	Jacob Lifshay	add libmpfr-dev to .gitlab-ci.yml	commit \| commitdiff \| tree
2020-04-03	Jacob Lifshay	run tests in parallel	commit \| commitdiff \| tree
2020-04-03	Jacob Lifshay	building sfpy works	commit \| commitdiff \| tree
2020-04-03	Jacob Lifshay	add not yet working .gitlab-ci.yml	commit \| commitdiff \| tree
2019-07-29	Jacob Lifshay	fix the mess introduced by "fix pipeline stage count"	commit \| commitdiff \| tree
2019-07-28	Jacob Lifshay	fix pipeline stage count	commit \| commitdiff \| tree
2019-07-25	Jacob Lifshay	switch fpdiv/test/test_fp*.py to use unittest	commit \| commitdiff \| tree
2019-07-25	Jacob Lifshay	skip slow tests	commit \| commitdiff \| tree
2019-07-25	Jacob Lifshay	Revert "reduce LHS for RSQRT by a factor of fract_width...	commit \| commitdiff \| tree
2019-07-14	Jacob Lifshay	finish implementing DivPipeConfig.__init__	commit \| commitdiff \| tree
2019-07-14	Jacob Lifshay	reduce code duplication	commit \| commitdiff \| tree
2019-07-14	Jacob Lifshay	add FPFormat class to describe floating-point formats...	commit \| commitdiff \| tree
2019-07-14	Jacob Lifshay	switch pspec from dict to PipelineSpec	commit \| commitdiff \| tree
2019-07-14	Jacob Lifshay	add proposed frsqrt instruction encoding table	commit \| commitdiff \| tree
2019-07-11	Jacob Lifshay	delete dead code in fpbase.MultiShift.[lr]shift	commit \| commitdiff \| tree
2019-07-11	Jacob Lifshay	format fpbase.py	commit \| commitdiff \| tree
2019-07-11	Jacob Lifshay	rename mid -> muxid in comment	commit \| commitdiff \| tree
2019-07-10	Jacob Lifshay	add more tests; they all pass	commit \| commitdiff \| tree
2019-07-10	Jacob Lifshay	DivPipeCore tests pass; still need to add more tests	commit \| commitdiff \| tree
2019-07-10	Jacob Lifshay	test_core.py doesn't crash anymore	commit \| commitdiff \| tree
2019-07-09	Jacob Lifshay	make tests executable	commit \| commitdiff \| tree
2019-07-09	Jacob Lifshay	rename log2_tb -> tb_width	commit \| commitdiff \| tree
2019-07-07	Jacob Lifshay	add fixme	commit \| commitdiff \| tree
2019-07-07	Jacob Lifshay	work on adding tests; test_core.py currently fails	commit \| commitdiff \| tree
2019-07-07	Jacob Lifshay	add tests for integer and fractional division	commit \| commitdiff \| tree
2019-07-07	Jacob Lifshay	switch algorithm in UnsignedDivRem to match FixedUDivRemSqrt...	commit \| commitdiff \| tree
2019-07-07	Jacob Lifshay	misc code cleanups	commit \| commitdiff \| tree
2019-07-07	Jacob Lifshay	move DivPipe(?!Core).* classes to div_pipe.py	commit \| commitdiff \| tree
2019-07-05	Jacob Lifshay	add rest of DivPipeCore	commit \| commitdiff \| tree
2019-07-05	Jacob Lifshay	fix up setup and process functions	commit \| commitdiff \| tree
2019-07-05	Jacob Lifshay	add DivPipeCoreSetupStage	commit \| commitdiff \| tree
2019-07-03	Jacob Lifshay	implemented FixedUDivRemSqrtRSqrt	commit \| commitdiff \| tree
2019-07-03	Jacob Lifshay	hopefully fix test errors when using nosetests3	commit \| commitdiff \| tree
2019-07-03	Jacob Lifshay	implement FixedRSqrt	commit \| commitdiff \| tree
2019-07-03	Jacob Lifshay	fix comments	commit \| commitdiff \| tree
2019-07-03	Jacob Lifshay	implemented FixedSqrt	commit \| commitdiff \| tree
2019-07-01	Jacob Lifshay	implement fixed_rsqrt	commit \| commitdiff \| tree
2019-07-01	Jacob Lifshay	implement fixed_sqrt	commit \| commitdiff \| tree
2019-07-01	Jacob Lifshay	added tests for rest of Fixed	commit \| commitdiff \| tree
2019-06-30	Jacob Lifshay	add more tests	commit \| commitdiff \| tree
2019-06-29	Jacob Lifshay	fix names	commit \| commitdiff \| tree
2019-06-29	Jacob Lifshay	add Fract class	commit \| commitdiff \| tree
next

RSS Atom