git.libre-soc.org Git - soc.git/history

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

2021-12-09	Jacob Lifshay	add parent_pspec everywhere	tree \| commitdiff
2021-12-09	Jacob Lifshay	format code	tree \| commitdiff
2021-04-23	Luke Kenneth Casso...	move over to from openpower imports	tree \| commitdiff
2020-08-24	Cole Poirier	Merge branch 'master' of git.libre-soc.org:soc	tree \| commitdiff
2020-08-22	Luke Kenneth Casso...	rename invert_a to invert_in because logical inverts RB	tree \| commitdiff
2020-07-29	Jacob Lifshay	add __init__.py to all source directories	tree \| commitdiff
2020-07-15	Luke Kenneth Casso...	use Record Assert and also check muxid	tree \| commitdiff
2020-07-12	Luke Kenneth Casso...	rename InternalOp to MicrOp	tree \| commitdiff
2020-06-04	Luke Kenneth Casso...	use copy of FHDLTestCase	tree \| commitdiff
2020-05-31	Luke Kenneth Casso...	OP_CMPEQB also requesting change of output reg (stop...	tree \| commitdiff
2020-05-31	Luke Kenneth Casso...	OP_CMP is requesting a change of the output register...	tree \| commitdiff
2020-05-27	Luke Kenneth Casso...	check cr0, ov and ca ok signals in ALU main_stage proof	tree \| commitdiff
2020-05-27	Luke Kenneth Casso...	add links to bugreports into ALu formal proof as well	tree \| commitdiff
2020-05-27	Luke Kenneth Casso...	add links to bugreports into alu output stage proof	tree \| commitdiff
2020-05-27	Michael Nolan	Fix bug in alu main stage proof	tree \| commitdiff
2020-05-24	Luke Kenneth Casso...	convert ALU to output Data on int reg	tree \| commitdiff
2020-05-24	Luke Kenneth Casso...	cleanup/code-munge on ALU main stage proof	tree \| commitdiff
2020-05-24	Luke Kenneth Casso...	error in alu output stage formal proof setup	tree \| commitdiff
2020-05-22	Luke Kenneth Casso...	covert ALU FU to CommonInputStage	tree \| commitdiff
2020-05-20	Michael Nolan	Use overflow definition from microwatt	tree \| commitdiff
2020-05-20	Michael Nolan	Add overflow handling and proof	tree \| commitdiff
2020-05-20	Michael Nolan	Fix bug introduced in rebase	tree \| commitdiff
2020-05-20	Luke Kenneth Casso...	formal proof rename on XER flags	tree \| commitdiff
2020-05-20	Luke Kenneth Casso...	update to new names for XER fields	tree \| commitdiff
2020-05-20	Luke Kenneth Casso...	whitespace, rename ilang to alu_main_stage.il	tree \| commitdiff
2020-05-20	Michael Nolan	Add proof for OP_CMP and OP_CMPEQB	tree \| commitdiff
2020-05-20	Michael Nolan	Add proof for OP_EXTS	tree \| commitdiff
2020-05-20	Michael Nolan	Add 32 bit carry handling to alu	tree \| commitdiff
2020-05-18	Luke Kenneth Casso...	mass-rename of modules to soc.fu.*	tree \| commitdiff
2020-05-18	Luke Kenneth Casso...	rename pipe to fu	tree \| commitdiff

RSS Atom