projects / soc.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
rename regspecs to give a consistent naming scheme
[soc.git] / src / soc / fu / branch /
2020-06-02 Luke Kenneth Casso... rename regspecs to give a consistent naming scheme tree | commitdiff
2020-06-01 Luke Kenneth Casso... okaaay add a "rdflags" function which obtains the yes... tree | commitdiff
2020-06-01 Luke Kenneth Casso... add test_bc_reg (fails) tree | commitdiff
2020-06-01 Luke Kenneth Casso... CompBROpSubset exists tree | commitdiff
2020-06-01 Luke Kenneth Casso... invert SPR1/2 in branch output data tree | commitdiff
2020-06-01 Luke Kenneth Casso... swap over SPR1/2 to fit with microwatt SPR conventions tree | commitdiff
2020-05-24 Luke Kenneth Casso... add gitignore for branch fu formal tree | commitdiff
2020-05-24 Michael NolanAssert that ctr is only written when needed tree | commitdiff
2020-05-24 Luke Kenneth Casso... comment and add links to branch formal proof tree | commitdiff
2020-05-24 Luke Kenneth Casso... comments on branch pipeline tree | commitdiff
2020-05-23 Luke Kenneth Casso... CR field on Br input data is specd as 0:3 range tree | commitdiff
2020-05-22 Luke Kenneth Casso... test branch ctr ok flag tree | commitdiff
2020-05-22 Luke Kenneth Casso... cleaner way to test link register ok tree | commitdiff
2020-05-22 Luke Kenneth Casso... whitespace tree | commitdiff
2020-05-22 Michael NolanFix link handling in branch proof tree | commitdiff
2020-05-22 Luke Kenneth Casso... variable-name munging for branch formal tree | commitdiff
2020-05-22 Michael NolanAdd formal proof for branch unit, fix bug with bcreg tree | commitdiff
2020-05-22 Michael NolanConvert branch unit to new CR interface tree | commitdiff
2020-05-22 Luke Kenneth Casso... whitespace tree | commitdiff
2020-05-22 Luke Kenneth Casso... comment tidyup tree | commitdiff
2020-05-22 Luke Kenneth Casso... use CompBROpSubset and reduce it down in size (remove... tree | commitdiff
2020-05-22 Luke Kenneth Casso... code-shuffle tree | commitdiff
2020-05-22 Luke Kenneth Casso... remove accidentally added branch input stage tree | commitdiff
2020-05-21 Luke Kenneth Casso... move common functionality between PipeSpecs to soc... tree | commitdiff
2020-05-21 Luke Kenneth Casso... move FU IntegerData to directory below tree | commitdiff
2020-05-21 Luke Kenneth Casso... branch output spec nia not cia tree | commitdiff
2020-05-21 Luke Kenneth Casso... convert to individual PipeSpecs for each pipeline tree | commitdiff
2020-05-21 Luke Kenneth Casso... use branch-specific data structures, add "regspecs... tree | commitdiff
2020-05-20 Luke Kenneth Casso... add register specs to pipeline in/out so that they... tree | commitdiff
2020-05-20 Luke Kenneth Casso... use nmutil exts helper tree | commitdiff
2020-05-19 Luke Kenneth Casso... output ilang to branch_pipeline.il for branch tree | commitdiff
2020-05-19 Luke Kenneth Casso... use field AA directly tree | commitdiff
2020-05-19 Luke Kenneth Casso... remove SPR3 from Branch Data, rename lr and spr to... tree | commitdiff
2020-05-18 Luke Kenneth Casso... dumb syntax error 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