projects / soc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 94c8df0) | patch
Renamed bperm files in fu/logical and fu/logical formal to correct name
authorcolepoirier <colepoirier@gmail.com>
Tue, 19 May 2020 20:43:13 +0000 (13:43 -0700)
committercolepoirier <colepoirier@gmail.com>
Tue, 19 May 2020 20:43:59 +0000 (13:43 -0700)
commitc49d316610ff0b35241203013fb551a87e62d0c8
treed9d49767847411d4774fff2de2f93aaa3cfe142dtree
parent94c8df0d6018db62979002d25faa21bfbf002eb1commit | diff
Renamed bperm files in fu/logical and fu/logical formal to correct name
of operation 'bpermd', added up-to-date docstring from spec v3.1
src/soc/fu/logical/bperm.py [deleted file] blob | history
src/soc/fu/logical/bpermd.py [new file with mode: 0644] blob
src/soc/fu/logical/formal/proof_bperm.py [deleted file] blob | history
src/soc/fu/logical/formal/proof_bpermd.py [new file with mode: 0644] blob