2020-05-20 | Luke Kenneth Casso... | formal proof rename on XER flags | tree | commitdiff |
2020-05-20 | Michael Nolan | Add proof for OP_CNTZ | tree | commitdiff |
2020-05-20 | Luke Kenneth Casso... | add cross-reference to bugtracker and wiki | tree | commitdiff |
2020-05-20 | Michael Nolan | Delete assume left over from testing | tree | commitdiff |
2020-05-20 | Michael Nolan | Add proof for OP_PRTY | tree | commitdiff |
2020-05-20 | Michael Nolan | Formally verify OP_POPCNT | tree | commitdiff |
2020-05-20 | Michael Nolan | Fix bug with popcntd | tree | commitdiff |
2020-05-19 | colepoirier | Renamed bperm files in fu/logical and fu/logical formal... | tree | commitdiff |
2020-05-19 | colepoirier | Added luke's suggested code to cover all 3 assertions... | tree | commitdiff |
2020-05-18 | colepoirier | Added 2nd of 3 assertions for proof_bperm.py, currently... | 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 |