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

2020-02-06	Michael Nolan	Fix test_partsig's invalid result for the equals test	commit \| commitdiff \| tree
2020-02-06	Michael Nolan	Add 0 assertions to the proof for eq_gt_ge	commit \| commitdiff \| tree
2020-02-05	Michael Nolan	Fix order of results from PartitionedEqGtGe	commit \| commitdiff \| tree
2020-02-05	Michael Nolan	move unused partitioned comparison modules to experiments/	commit \| commitdiff \| tree
2020-02-05	Michael Nolan	move gt_combiner out of experiments/	commit \| commitdiff \| tree
2020-02-05	Michael Nolan	Add module to handle partitioned eq, gt, and ge comparisons	commit \| commitdiff \| tree
2020-02-05	Michael Nolan	Reverse order of gt combiner so it works MSB first	commit \| commitdiff \| tree
2020-02-05	Michael Nolan	Add a signal to disable the gt inputs to gt_combiner	commit \| commitdiff \| tree
2020-02-05	Michael Nolan	Add proof for equals module	commit \| commitdiff \| tree
2020-02-04	Michael Nolan	Modify gt experiment to handle eq as well	commit \| commitdiff \| tree
2020-02-03	Michael Nolan	Add proof for using the greater than combiner to do...	commit \| commitdiff \| tree
2020-02-03	Michael Nolan	Add tree-based greater than experiment	commit \| commitdiff \| tree
2020-02-03	Michael Nolan	Move experiments with partition methods to a separate...	commit \| commitdiff \| tree
2020-02-03	Michael Nolan	Add tree based partitioned equals module	commit \| commitdiff \| tree
2020-02-03	Michael Nolan	Rename partition_combiner to eq_combiner	commit \| commitdiff \| tree
2020-02-03	Michael Nolan	Add an alternative partitioned equals combiner module	commit \| commitdiff \| tree
2020-02-02	Michael Nolan	Handle -0 and +0 equals and <	commit \| commitdiff \| tree
2020-02-02	Michael Nolan	Add test case for NaN and -0 handling to fpmax	commit \| commitdiff \| tree
2020-02-02	Michael Nolan	Replace If and Switch statements with muxes in fpcmp.py	commit \| commitdiff \| tree
2020-02-02	Michael Nolan	Add formal proof for FLT and FLE for FPCMP	commit \| commitdiff \| tree
2020-02-02	Michael Nolan	Add FLT and FLE functionality to FPCMP	commit \| commitdiff \| tree
2020-02-02	Michael Nolan	Handle NaNs for FPCMP	commit \| commitdiff \| tree
2020-02-02	Michael Nolan	Add feq functionality to fpcmp	commit \| commitdiff \| tree
2020-02-02	Michael Nolan	Begin adding formal proof for fpcmp	commit \| commitdiff \| tree
2020-02-02	Michael Nolan	Begin adding FPCMP module (FEQ, FLT, FLE)	commit \| commitdiff \| tree
2020-01-31	Michael Nolan	Fix nmigen "domain" error when trying to run unit tests	commit \| commitdiff \| tree
2020-01-28	Michael Nolan	Use nmigen's built in formal runner instead of mine	commit \| commitdiff \| tree
2020-01-28	Michael Nolan	Fix handling of the .sby file directory when running...	commit \| commitdiff \| tree
2020-01-28	Michael Nolan	Use anyconst for the inputs of the dut in FMax formal...	commit \| commitdiff \| tree
2020-01-28	Michael Nolan	remove usage of m.If() in fpmax and replace with Mux	commit \| commitdiff \| tree
2020-01-28	Michael Nolan	Flesh out the formal proof for fmax	commit \| commitdiff \| tree
2020-01-28	Michael Nolan	Update gitignore in formal directories to ignore proof...	commit \| commitdiff \| tree
2020-01-28	Michael Nolan	Add rudimentary proof to fpmax	commit \| commitdiff \| tree
2020-01-28	Michael Nolan	Add fpmin handling to fpmax module	commit \| commitdiff \| tree
2020-01-28	Michael Nolan	Add FPMAX module	commit \| commitdiff \| tree
2020-01-28	Michael Nolan	FSGNJ: expandd formal proof to 16 and 64 bits	commit \| commitdiff \| tree
2020-01-28	Michael Nolan	FSGNJ: Convert proof to use FPNumDecode	commit \| commitdiff \| tree
2020-01-28	Michael Nolan	Add formal proof for FSGNJPipeMod module	commit \| commitdiff \| tree
2020-01-27	Michael Nolan	FSGNJ: Fix typo in abs	commit \| commitdiff \| tree
2020-01-27	Michael Nolan	FSGNJ: Remove usage of FPNumDecode	commit \| commitdiff \| tree
2020-01-27	Michael Nolan	Add more/better comments to fsignj.py	commit \| commitdiff \| tree
2020-01-27	Michael Nolan	FSGNJ: Replace use of Switch() with explicit muxes	commit \| commitdiff \| tree
2020-01-27	Michael Nolan	FSGNJ: Use Floating point decode module instead of...	commit \| commitdiff \| tree
2020-01-27	Michael Nolan	Move patches in README to separate files	commit \| commitdiff \| tree
2020-01-27	Michael Nolan	Expand FSGNJ module to 16 and 64 bit floats	commit \| commitdiff \| tree
2020-01-27	Michael Nolan	Pep8 cleanup of FSGNJ module	commit \| commitdiff \| tree
2020-01-27	Michael Nolan	FSGNJ working now in all three modes	commit \| commitdiff \| tree
2020-01-27	Michael Nolan	Add basic test for fsignj pipe	commit \| commitdiff \| tree
2020-01-27	Michael Nolan	Add FSGNJ Pipeline stage and overall FSGNJ pipeline	commit \| commitdiff \| tree

RSS Atom