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

[soc.git] / src / soc / fu / alu / formal / proof_main_stage.py

2020-07-12	Luke Kenneth Casso...	rename InternalOp to MicrOp	blob \| commitdiff \| raw
2020-06-04	Luke Kenneth Casso...	use copy of FHDLTestCase	blob \| commitdiff \| raw \| diff to current
2020-05-31	Luke Kenneth Casso...	OP_CMPEQB also requesting change of output reg (stop...	blob \| commitdiff \| raw \| diff to current
2020-05-31	Luke Kenneth Casso...	OP_CMP is requesting a change of the output register...	blob \| commitdiff \| raw \| diff to current
2020-05-27	Luke Kenneth Casso...	check cr0, ov and ca ok signals in ALU main_stage proof	blob \| commitdiff \| raw \| diff to current
2020-05-27	Luke Kenneth Casso...	add links to bugreports into ALu formal proof as well	blob \| commitdiff \| raw \| diff to current
2020-05-27	Luke Kenneth Casso...	add links to bugreports into alu output stage proof	blob \| commitdiff \| raw \| diff to current
2020-05-27	Michael Nolan	Fix bug in alu main stage proof	blob \| commitdiff \| raw \| diff to current
2020-05-24	Luke Kenneth Casso...	convert ALU to output Data on int reg	blob \| commitdiff \| raw \| diff to current
2020-05-24	Luke Kenneth Casso...	cleanup/code-munge on ALU main stage proof	blob \| commitdiff \| raw \| diff to current
2020-05-22	Luke Kenneth Casso...	covert ALU FU to CommonInputStage	blob \| commitdiff \| raw \| diff to current
2020-05-20	Michael Nolan	Use overflow definition from microwatt	blob \| commitdiff \| raw \| diff to current
2020-05-20	Michael Nolan	Add overflow handling and proof	blob \| commitdiff \| raw \| diff to current
2020-05-20	Michael Nolan	Fix bug introduced in rebase	blob \| commitdiff \| raw \| diff to current
2020-05-20	Luke Kenneth Casso...	update to new names for XER fields	blob \| commitdiff \| raw \| diff to current
2020-05-20	Luke Kenneth Casso...	whitespace, rename ilang to alu_main_stage.il	blob \| commitdiff \| raw \| diff to current
2020-05-20	Michael Nolan	Add proof for OP_CMP and OP_CMPEQB	blob \| commitdiff \| raw \| diff to current
2020-05-20	Michael Nolan	Add proof for OP_EXTS	blob \| commitdiff \| raw \| diff to current
2020-05-20	Michael Nolan	Add 32 bit carry handling to alu	blob \| commitdiff \| raw \| diff to current
2020-05-18	Luke Kenneth Casso...	mass-rename of modules to soc.fu.*	blob \| commitdiff \| raw \| diff to current
2020-05-18	Luke Kenneth Casso...	rename pipe to fu	blob \| commitdiff \| raw \| diff to current

RSS Atom