2020-06-04 | Luke Kenneth Casso... | use copy of FHDLTestCase | blob | commitdiff | raw |
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 |