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

2021-01-10	Cesar Strauss	Start proof for PartitionedSignal equals operator	commit \| commitdiff \| tree
2021-01-10	Cesar Strauss	Update Simulator interface to current nMigen	commit \| commitdiff \| tree
2021-01-10	Cesar Strauss	Use len(sig) instead of sig.shape()[0]	commit \| commitdiff \| tree
2021-01-09	Cesar Strauss	Use the correct class name	commit \| commitdiff \| tree
2021-01-09	Cesar Strauss	Check all possible opcodes for PartitionedEqGtGe	commit \| commitdiff \| tree
2021-01-09	Cesar Strauss	Formal verification of PartitionedEqGtGe (EQ only)	commit \| commitdiff \| tree
2021-01-09	Cesar Strauss	Post-process PartitionedEq to ripple the LSB	commit \| commitdiff \| tree
2021-01-09	Cesar Strauss	Implement formal verification of PartitionedEq based...	commit \| commitdiff \| tree
2021-01-08	Cesar Strauss	Calculate the expected value, test and assert	commit \| commitdiff \| tree
2021-01-08	Cesar Strauss	Split-out the gate generator from the proof	commit \| commitdiff \| tree
2021-01-07	Cesar Strauss	Compare the expected output for all partition sizes	commit \| commitdiff \| tree
2021-01-06	Cesar Strauss	Generate shifted down outputs	commit \| commitdiff \| tree
2021-01-05	Cesar Strauss	Generate the bit pattern of gates corresponding to...	commit \| commitdiff \| tree
2021-01-04	Cesar Strauss	Work only with nibbles on the ascending cascade	commit \| commitdiff \| tree
2021-01-04	Cesar Strauss	Fill the second nibble of the pattern	commit \| commitdiff \| tree
2021-01-04	Cesar Strauss	Restart the pattern at partition boundaries	commit \| commitdiff \| tree
2021-01-04	Cesar Strauss	Start work on improving formal verification of PartitionedSignal	commit \| commitdiff \| tree

RSS Atom