projects / soc.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Allow the formal engine to perform a same-cycle result in the ALU
[soc.git] / src / soc / fu / branch /
2022-02-27 Luke Kenneth Casso... convert from public static functions/properties for... tree | commitdiff
2022-02-21 Luke Kenneth Casso... again reduce combinatorial chains, similar to Trap... tree | commitdiff
2022-01-21 Luke Kenneth Casso... skip ilang data in branch test_pipe_caller.py tree | commitdiff
2022-01-21 Luke Kenneth Casso... attempting to get compunit and test_pipe_caller unit... tree | commitdiff
2021-12-09 Jacob Lifshayadd parent_pspec everywhere tree | commitdiff
2021-12-09 Jacob Lifshayformat code tree | commitdiff
2021-09-03 Luke Kenneth Casso... another batch of ready/valid i/o prefix-suffix swaps tree | commitdiff
2021-08-24 Luke Kenneth Casso... replace data_o with o_data and data_i with i_data as... tree | commitdiff
2021-05-04 Luke Kenneth Casso... rename IntegerData to FUBaseData tree | commitdiff
2021-04-23 Luke Kenneth Casso... move branch test cases to openpower.test tree | commitdiff
2021-04-23 Luke Kenneth Casso... import from openpower.endian tree | commitdiff
2021-04-23 Luke Kenneth Casso... use openpower.test.common tree | commitdiff
2021-04-23 Luke Kenneth Casso... move more files to openpower-isa tree | commitdiff
2021-04-23 Luke Kenneth Casso... move over to from openpower imports tree | commitdiff
2020-10-06 Luke Kenneth Casso... use pdecode2.do not pdecode2.e in test_pipe_caller... tree | commitdiff
2020-09-27 Cesar StraussConvert yet another few tests to be able to use latest... tree | commitdiff
2020-09-26 Luke Kenneth Casso... do not use simdec2 in test_pipe_caller tree | commitdiff
2020-09-26 Luke Kenneth Casso... add alternative PowerDecode2 to branch test_pipe_caller tree | commitdiff
2020-09-07 Luke Kenneth Casso... convert branch test to PowerDecodeSubset form tree | commitdiff
2020-09-07 Luke Kenneth Casso... bit of a big reorg of data structures tree | commitdiff
2020-09-02 Luke Kenneth Casso... add bc ctr regression test when CTR=0 and CTR=1 tree | commitdiff
2020-08-24 Cole PoirierMerge branch 'master' of git.libre-soc.org:soc tree | commitdiff
2020-08-23 Luke Kenneth Casso... update copyright notices to include additional primary... tree | commitdiff
2020-08-23 Michael NolanAdd copyright to files in fu/ that I was the primary... tree | commitdiff
2020-08-22 Luke Kenneth Casso... rename invert_a to invert_in because logical inverts RB tree | commitdiff
2020-08-11 Luke Kenneth Casso... reduce regfile ports by creating separate STATE regfile tree | commitdiff
2020-07-29 Jacob Lifshayclean up branch test_pipe_caller tree | commitdiff
2020-07-29 Jacob Lifshayadd __init__.py to all source directories tree | commitdiff
2020-07-29 Jacob Lifshayformat some tests tree | commitdiff
2020-07-26 Luke Kenneth Casso... convert Branch test to accumulator style tree | commitdiff
2020-07-22 Jacob LifshayMerge remote-tracking branch 'origin/master' tree | commitdiff
2020-07-22 Jacob Lifshayformat code tree | commitdiff
2020-07-22 Luke Kenneth Casso... comments, add page spec numbers for branch ops into... tree | commitdiff
2020-07-22 Luke Kenneth Casso... fix branch main_stage proof, add ctr 32-bit, fix BCREG tree | commitdiff
2020-07-22 Luke Kenneth Casso... rework branch proof to use br_input_record tree | commitdiff
2020-07-21 Luke Kenneth Casso... convert branch pipeline to use msr/cia as immediates tree | commitdiff
2020-07-16 Luke Kenneth Casso... use CompOpSubsetBase class in Branch op record tree | commitdiff
2020-07-15 Luke Kenneth Casso... document branch pipeline relationship with PowerDecode2 tree | commitdiff
2020-07-12 Luke Kenneth Casso... rename InternalOp to MicrOp tree | commitdiff
2020-07-11 Luke Kenneth Casso... sorting out bigendian/littleendian including in qemu tree | commitdiff
2020-07-08 Jacob LifshayMerge branch 'master' of ssh://git.libre-riscv.org... tree | commitdiff
2020-07-05 Luke Kenneth Casso... big reorg on PowerDecoder2, actually Decode2Execute1Type tree | commitdiff
2020-07-04 Luke Kenneth Casso... more updating spr1/spr2 to fast1/fast2 tree | commitdiff
2020-07-04 Luke Kenneth Casso... rename spr1/spr2 to fast1/fast2 in branch tree | commitdiff
2020-07-01 Luke Kenneth Casso... whoops missed some cases in unit test changing ALUHelpers tree | commitdiff
2020-06-11 Luke Kenneth Casso... add fast spr1/2 sim ALUHelpers tree | commitdiff
2020-06-10 Luke Kenneth Casso... move to common ALUHelpers for branch test_pipe_caller.py tree | commitdiff
2020-06-07 Luke Kenneth Casso... add extra args to ISA in branch test_pipe_caller tree | commitdiff
2020-06-06 Luke Kenneth Casso... remove unneeded imports tree | commitdiff
2020-06-06 Luke Kenneth Casso... noticed the regular pattern in all pipe_data.py (regspecs). tree | commitdiff
2020-06-04 Luke Kenneth Casso... no global variables in test suites tree | commitdiff
2020-06-04 Luke Kenneth Casso... use common TestCase in branch tree | commitdiff
2020-06-04 Luke Kenneth Casso... use copy of FHDLTestCase tree | commitdiff
2020-06-03 Tobias PlatenMerge branch 'master' of ssh://git.libre-riscv.org... tree | commitdiff
2020-06-03 Luke Kenneth Casso... whitespace tree | commitdiff
2020-06-03 Tobias PlatenMerge branch 'master' of ssh://git.libre-riscv.org... tree | commitdiff
2020-06-03 Luke Kenneth Casso... remove rdflags in pipe_data.py (redundant) tree | commitdiff
2020-06-03 Luke Kenneth Casso... tidyup branch. comments tree | commitdiff
2020-06-02 Luke Kenneth Casso... move setting cia input to branch from get_cu_inputs... tree | commitdiff
2020-06-02 Luke Kenneth Casso... hooray, get_cu_inputs now common to both types of tests tree | commitdiff
2020-06-02 Luke Kenneth Casso... oooo very annoying. there does not appear to be any... tree | commitdiff
2020-06-02 Luke Kenneth Casso... add get_inputs function to branch test_pipe_caller tree | commitdiff
2020-06-02 Michael NolanSelect spr1 for bcctr - use fast_spr decoding from... tree | commitdiff
2020-06-02 Luke Kenneth Casso... decode fast spr for OP_BCREG CTR, TAR and LR tree | commitdiff
2020-06-02 Luke Kenneth Casso... add TODO comments for read_fast1/2 tree | commitdiff
2020-06-02 Luke Kenneth Casso... debugging branch fast registers tree | commitdiff
2020-06-02 Michael NolanHandle removal of spr2 field from decoder tree | commitdiff
2020-06-02 Luke Kenneth Casso... add comment about fast1 and fast2 in branch test_pipe_c... tree | commitdiff
2020-06-02 Michael NolanFix test_bc_reg tree | commitdiff
2020-06-02 Luke Kenneth Casso... add in fast regs support in decoder and into regspec_decode tree | commitdiff
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
next