projects / soc.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
OP_CMPEQB also requesting change of output reg (stop that)
[soc.git] / src / soc / fu / logical / formal /
2020-05-28 Luke Kenneth Casso... move simple_popcount out of class (does not use any... tree | commitdiff
2020-05-27 Luke Kenneth Casso... remove XER.ca from logical Input Data - not needed tree | commitdiff
2020-05-27 Luke Kenneth Casso... cleanup logical main proof tree | commitdiff
2020-05-24 Luke Kenneth Casso... add OP_CMPB formal proof tree | commitdiff
2020-05-24 Luke Kenneth Casso... add copy of bpermd proof to logical formal proof (not... tree | commitdiff
2020-05-24 Michael NolanFix proof of bpermd module tree | commitdiff
2020-05-24 Luke Kenneth Casso... convert logical to output Data on int reg tree | commitdiff
2020-05-22 Luke Kenneth Casso... cleanup logical pipe formal proof tree | commitdiff
2020-05-20 Luke Kenneth Casso... formal proof rename on XER flags tree | commitdiff
2020-05-20 Michael NolanAdd 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 NolanDelete assume left over from testing tree | commitdiff
2020-05-20 Michael NolanAdd proof for OP_PRTY tree | commitdiff
2020-05-20 Michael NolanFormally verify OP_POPCNT tree | commitdiff
2020-05-20 Michael NolanFix bug with popcntd tree | commitdiff
2020-05-19 colepoirierRenamed bperm files in fu/logical and fu/logical formal... tree | commitdiff
2020-05-19 colepoirierAdded luke's suggested code to cover all 3 assertions... tree | commitdiff
2020-05-18 colepoirierAdded 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