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 / shift_rot /
2023-09-12 Jacob Lifshayremove grev, leaving tests for later use with grevlut tree | commitdiff
2023-09-11 Jacob LifshayMASK was moved into ISACallerHelper class tree | commitdiff
2022-02-27 Luke Kenneth Casso... bit_length is 1 more than needed: subtract 1 from XLEN... tree | commitdiff
2022-02-27 Luke Kenneth Casso... fix up shift_rot test_pipe_caller to new regspeckls... tree | commitdiff
2022-02-27 Luke Kenneth Casso... convert shift_rot pipeline to XLEN=32/64 tree | commitdiff
2022-02-27 Luke Kenneth Casso... convert from public static functions/properties for... tree | commitdiff
2022-02-24 Jacob Lifshayadd running instructions tree | commitdiff
2022-02-24 Jacob Lifshayadd formal proof for shift/rot o.ok tree | commitdiff
2022-02-24 Jacob Lifshayclean up code tree | commitdiff
2022-02-24 Jacob Lifshayadd formal proof for OP_RLCR tree | commitdiff
2022-02-24 Jacob Lifshayadd formal proof for OP_RLCL tree | commitdiff
2022-02-24 Jacob Lifshayadd formal proof for OP_RLC tree | commitdiff
2022-02-22 Jacob Lifshayspeed up shift/rot formal proof by running stuff in... tree | commitdiff
2022-02-20 Luke Kenneth Casso... nope, it's perfectly fine tree | commitdiff
2022-02-20 Luke Kenneth Casso... weird exception, oe not found in the shiftrot input... tree | commitdiff
2022-02-20 Luke Kenneth Casso... separate out shiftrot stages due to size of main stage... tree | commitdiff
2022-02-18 Jacob Lifshayadd grev tree | commitdiff
2021-12-10 Jacob Lifshayadd ternlogi to shift_rot formal test tree | commitdiff
2021-12-10 Jacob Lifshayfix shift_rot formal proof tree | commitdiff
2021-12-09 Jacob Lifshayadd bitmanip tests tree | commitdiff
2021-12-09 Jacob Lifshayadd parent_pspec everywhere tree | commitdiff
2021-12-09 Jacob Lifshayformat code tree | commitdiff
2021-12-07 Jacob Lifshaymake bitmanip operations conditional on pspec.draft_bit... tree | commitdiff
2021-12-07 Jacob Lifshayformat code tree | commitdiff
2021-12-07 Jacob Lifshaymove rotator mode assignments as requested by lkcl tree | commitdiff
2021-12-02 Jacob Lifshayadd ternlogi to shiftrot tree | commitdiff
2021-12-02 Jacob Lifshayformat code tree | commitdiff
2021-10-10 Luke Kenneth Casso... replace PartitionedSignal with SimdSignal tree | commitdiff
2021-08-31 Luke Kenneth Casso... update ready/valid in shift_rot test_pipe_caller 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 LDST tests to openpower.test tree | commitdiff
2021-04-23 Luke Kenneth Casso... move shiftrot 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... more openpower-isa conversion tree | commitdiff
2021-04-23 Luke Kenneth Casso... move over to from openpower imports tree | commitdiff
2021-01-29 Luke Kenneth Casso... whoops missed out "+" on explicit license listing tree | commitdiff
2020-10-07 Luke Kenneth Casso... missing invert_in field from shiftrot input record 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-07 Luke Kenneth Casso... convert shift_rot to subset decoder tree | commitdiff
2020-09-07 Luke Kenneth Casso... bit of a big reorg of data structures tree | commitdiff
2020-09-07 Luke Kenneth Casso... whoops truncated the mb and me fields tree | commitdiff
2020-09-05 Luke Kenneth Casso... add simple wishbone GPIO peripheral tree | commitdiff
2020-09-05 Samuel A. Falvo IIAdd unit test replicating failing proof case tree | commitdiff
2020-09-04 Luke Kenneth Casso... add sld test with RB=64 to see what happens tree | commitdiff
2020-08-27 Cole PoirierMerge branch 'master' of git.libre-soc.org:soc tree | commitdiff
2020-08-27 Luke Kenneth Casso... oink, write_cr shiftrot record width was zero (??) tree | commitdiff
2020-08-27 Luke Kenneth Casso... sorting out shift_rot to use new output stage data... tree | commitdiff
2020-08-25 Cole PoirierMerge branch 'master' of git.libre-soc.org:soc tree | commitdiff
2020-08-25 Luke Kenneth Casso... although shift-rot does not alter XER.so it still needs... 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... bug in andc and orc, complement was taking place on... tree | commitdiff
2020-08-21 Cole PoirierMerge branch 'master' of git.libre-soc.org:soc tree | commitdiff
2020-08-19 Luke Kenneth Casso... rename and document fields in shift_rot proof tree | commitdiff
2020-08-19 Luke Kenneth Casso... use "Mask" class which is more gate-efficient than... tree | commitdiff
2020-08-14 Luke Kenneth Casso... divide shiftrot pipeline into 2 (simple last) tree | commitdiff
2020-08-03 Samuel A. Falvo IIWIP: check MB > ME and select mask appropriately tree | commitdiff
2020-08-01 Luke Kenneth Casso... add rlwnm test showing that shift rot OP_RLC proof... tree | commitdiff
2020-08-01 Luke Kenneth Casso... line-length / whitespace tree | commitdiff
2020-08-01 Luke Kenneth Casso... expand out for-loop setting up input record subset tree | commitdiff
2020-07-31 Samuel A. Falvo IIWIP: more debugging signals for inspection tree | commitdiff
2020-07-30 Samuel A. Falvo IIWIP: rlwinm/rlwnm/rlwimi-type proofs tree | commitdiff
2020-07-29 Luke Kenneth Casso... move SHIFTROT test out of subtest indentation tree | commitdiff
2020-07-29 Jacob Lifshayadd __init__.py to all source directories tree | commitdiff
2020-07-28 Jacob LifshayMerge remote-tracking branch 'origin/master' tree | commitdiff
2020-07-28 Luke Kenneth Casso... use ctx.op compare (and muxid) in shiftrot proof tree | commitdiff
2020-07-26 Luke Kenneth Casso... convert shift_rot test to new base 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-21 Luke Kenneth Casso... make cxxsim optional and print warning tree | commitdiff
2020-07-16 Luke Kenneth Casso... more tidyup on use of CompOpSubsetBase tree | commitdiff
2020-07-14 Luke Kenneth Casso... set up masks for OP_RL* formal proof tree | commitdiff
2020-07-14 Luke Kenneth Casso... disable cxxsim test tree | commitdiff
2020-07-14 Luke Kenneth Casso... first attempt running cxxsim tree | commitdiff
2020-07-13 Luke Kenneth Casso... whitespace tree | commitdiff
2020-07-13 Luke Kenneth Casso... formal proof of OP_EXTSWSLI tree | commitdiff
2020-07-13 Luke Kenneth Casso... quick test showing how left/right mask work tree | commitdiff
2020-07-13 Luke Kenneth Casso... comments tree | commitdiff
2020-07-13 Luke Kenneth Casso... attempting formal proof of OP_EXTSWSLI tree | commitdiff
2020-07-13 Luke Kenneth Casso... reduce rotl module to one line (use bit_select) tree | commitdiff
2020-07-13 Luke Kenneth Casso... document rb as sh tree | commitdiff
2020-07-13 Luke Kenneth Casso... increase range of test values for extswsli tree | commitdiff
2020-07-13 Luke Kenneth Casso... add EXTSWSLI "pass" to formal shift_rot proof tree | commitdiff
2020-07-13 Luke Kenneth Casso... enable extswsli tests, fix spec-patching tree | commitdiff
2020-07-13 Luke Kenneth Casso... add regression test, simulator is wrong tree | commitdiff
2020-07-13 Luke Kenneth Casso... add simulator test against qemu for extswsli tree | commitdiff
2020-07-13 Luke Kenneth Casso... add extswsli unit test tree | commitdiff
2020-07-13 Luke Kenneth Casso... add link to rotator, sign-extend mode OP_EXTSWSLI 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-06-11 Luke Kenneth Casso... must distinguish between rd/write xer_ca sim helpers tree | commitdiff
2020-06-11 Luke Kenneth Casso... use ALUHelpers in shift_rot tree | commitdiff
2020-06-10 Luke Kenneth Casso... move to common ALUHelpers for ShiftRot test_pipe_caller.py tree | commitdiff
2020-06-07 Luke Kenneth Casso... wark-wark, do not & rs[0] into carry-out from rotator tree | commitdiff
next