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

2020-07-14	Luke Kenneth Casso...	set up masks for OP_RL* formal proof	blob \| commitdiff \| raw
2020-07-13	Luke Kenneth Casso...	formal proof of OP_EXTSWSLI	blob \| commitdiff \| raw \| diff to current
2020-07-13	Luke Kenneth Casso...	comments	blob \| commitdiff \| raw \| diff to current
2020-07-13	Luke Kenneth Casso...	attempting formal proof of OP_EXTSWSLI	blob \| commitdiff \| raw \| diff to current
2020-07-13	Luke Kenneth Casso...	add EXTSWSLI "pass" to formal shift_rot proof	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-27	Luke Kenneth Casso...	check reg output Data.ok in shift_rot formal proof	blob \| commitdiff \| raw \| diff to current
2020-05-22	Luke Kenneth Casso...	add TODO and link to SHIFT_ROT formal bugreport	blob \| commitdiff \| raw \| diff to current
2020-05-22	Luke Kenneth Casso...	remove xer.so from ShiftRot formal proof	blob \| commitdiff \| raw \| diff to current
2020-05-22	Luke Kenneth Casso...	create common input pipe spec to avoid code-duplication	blob \| commitdiff \| raw \| diff to current
2020-05-20	Luke Kenneth Casso...	correct XER variable names	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