git.libre-soc.org Git - soc.git/history - src/soc/fu/mul/formal/proof_main

2020-08-21	Samuel A. Falvo II	MUL pipeline: account for overflow flags. WIP	blob \| commitdiff \| raw
2020-08-21	Cole Poirier	Merge branch 'master' of git.libre-soc.org:soc	blob \| commitdiff \| raw \| diff to current
2020-08-21	Samuel A. Falvo II	MUL pipeline proofs: mulli / mullw WIP.	blob \| commitdiff \| raw \| diff to current
2020-08-20	Samuel A. Falvo II	MUL pipeline proof: muldw(u)	blob \| commitdiff \| raw \| diff to current
2020-08-20	Samuel A. Falvo II	MUL pipeline proof: signed mulhw	blob \| commitdiff \| raw \| diff to current
2020-08-19	Luke Kenneth Casso...	bit of a reorg of mul proof, tracking down missing	blob \| commitdiff \| raw \| diff to current
2020-08-19	Samuel A. Falvo II	WIP: OP_MUL proofs started.	blob \| commitdiff \| raw \| diff to current
2020-08-19	Luke Kenneth Casso...	set up StageChain of 3 mul stages	blob \| commitdiff \| raw \| diff to current
2020-08-10	Samuel A. Falvo II	WIP!! Make MUL pipeline proof run again.	blob \| commitdiff \| raw \| diff to current
2020-07-12	Luke Kenneth Casso...	rename InternalOp to MicrOp	blob \| commitdiff \| raw \| diff to current
2020-06-04	Luke Kenneth Casso...	use copy of FHDLTestCase	blob \| commitdiff \| raw \| diff to current
2020-05-22	Luke Kenneth Casso...	add cookie-cut mul pipeline template	blob \| commitdiff \| raw \| diff to current