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

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