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

2020-05-27	Michael Nolan	Fix bug in alu main stage proof	blob \| commitdiff \| raw
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