projects / soc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e49a060) | patch
add link to bugreport in CR pipe formal test
authorLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Wed, 20 May 2020 19:31:32 +0000 (20:31 +0100)
committerLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Wed, 20 May 2020 19:31:36 +0000 (20:31 +0100)
commit1038758d510f65730cdd8ac44e42436a8271cec7
tree0eb0584e44670fc40582e396858f739c1bbb28detree
parente49a0608e702ed60db62fd36ff450828b567db42commit | diff
add link to bugreport in CR pipe formal test
src/soc/fu/cr/formal/proof_main_stage.py diff | blob | history