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 / test / test_pipe_caller.py
2022-02-27 Luke Kenneth Casso... fix up shift_rot test_pipe_caller to new regspeckls... commit | commitdiff
2021-12-09 Jacob Lifshayadd bitmanip tests commit | commitdiff
2021-12-09 Jacob Lifshayadd parent_pspec everywhere commit | commitdiff
2021-12-07 Jacob Lifshaymake bitmanip operations conditional on pspec.draft_bit... commit | commitdiff
2021-12-07 Jacob Lifshayformat code commit | commitdiff
2021-08-31 Luke Kenneth Casso... update ready/valid in shift_rot test_pipe_caller commit | commitdiff
2021-08-24 Luke Kenneth Casso... replace data_o with o_data and data_i with i_data as... commit | commitdiff
2021-04-23 Luke Kenneth Casso... move LDST tests to openpower.test commit | commitdiff
2021-04-23 Luke Kenneth Casso... move shiftrot test cases to openpower.test commit | commitdiff
2021-04-23 Luke Kenneth Casso... import from openpower.endian commit | commitdiff
2021-04-23 Luke Kenneth Casso... use openpower.test.common commit | commitdiff
2021-04-23 Luke Kenneth Casso... move over to from openpower imports commit | commitdiff
2020-10-07 Luke Kenneth Casso... missing invert_in field from shiftrot input record commit | commitdiff
2020-10-06 Luke Kenneth Casso... use pdecode2.do not pdecode2.e in test_pipe_caller... commit | commitdiff
2020-09-27 Cesar StraussConvert yet another few tests to be able to use latest... commit | commitdiff
2020-09-07 Luke Kenneth Casso... convert shift_rot to subset decoder commit | commitdiff
2020-09-05 Luke Kenneth Casso... add simple wishbone GPIO peripheral commit | commitdiff
2020-09-05 Samuel A. Falvo IIAdd unit test replicating failing proof case commit | commitdiff
2020-09-04 Luke Kenneth Casso... add sld test with RB=64 to see what happens commit | commitdiff
2020-08-27 Cole PoirierMerge branch 'master' of git.libre-soc.org:soc commit | commitdiff
2020-08-27 Luke Kenneth Casso... sorting out shift_rot to use new output stage data... commit | commitdiff
2020-08-25 Cole PoirierMerge branch 'master' of git.libre-soc.org:soc commit | commitdiff
2020-08-25 Luke Kenneth Casso... although shift-rot does not alter XER.so it still needs... commit | commitdiff
2020-08-14 Luke Kenneth Casso... divide shiftrot pipeline into 2 (simple last) commit | commitdiff
2020-08-01 Luke Kenneth Casso... add rlwnm test showing that shift rot OP_RLC proof... commit | commitdiff
2020-07-29 Luke Kenneth Casso... move SHIFTROT test out of subtest indentation commit | commitdiff
2020-07-26 Luke Kenneth Casso... convert shift_rot test to new base accumulator style commit | commitdiff
2020-07-22 Jacob LifshayMerge remote-tracking branch 'origin/master' commit | commitdiff
2020-07-22 Jacob Lifshayformat code commit | commitdiff
2020-07-21 Luke Kenneth Casso... make cxxsim optional and print warning commit | commitdiff
2020-07-14 Luke Kenneth Casso... disable cxxsim test commit | commitdiff
2020-07-14 Luke Kenneth Casso... first attempt running cxxsim commit | commitdiff
2020-07-13 Luke Kenneth Casso... formal proof of OP_EXTSWSLI commit | commitdiff
2020-07-13 Luke Kenneth Casso... attempting formal proof of OP_EXTSWSLI commit | commitdiff
2020-07-13 Luke Kenneth Casso... increase range of test values for extswsli commit | commitdiff
2020-07-13 Luke Kenneth Casso... enable extswsli tests, fix spec-patching commit | commitdiff
2020-07-13 Luke Kenneth Casso... add regression test, simulator is wrong commit | commitdiff
2020-07-13 Luke Kenneth Casso... add simulator test against qemu for extswsli commit | commitdiff
2020-07-13 Luke Kenneth Casso... add extswsli unit test commit | commitdiff
2020-07-11 Luke Kenneth Casso... sorting out bigendian/littleendian including in qemu commit | commitdiff
2020-07-08 Jacob LifshayMerge branch 'master' of ssh://git.libre-riscv.org... commit | commitdiff
2020-07-05 Luke Kenneth Casso... big reorg on PowerDecoder2, actually Decode2Execute1Type commit | commitdiff
2020-06-11 Luke Kenneth Casso... must distinguish between rd/write xer_ca sim helpers commit | commitdiff
2020-06-11 Luke Kenneth Casso... use ALUHelpers in shift_rot commit | commitdiff
2020-06-10 Luke Kenneth Casso... move to common ALUHelpers for ShiftRot test_pipe_caller.py commit | commitdiff
2020-06-07 Luke Kenneth Casso... add carry test to shift_rot test_pipe_caller: it fails... commit | commitdiff
2020-06-07 Luke Kenneth Casso... add extra args to ISA in test_pipe_caller.py commit | commitdiff
2020-06-04 Luke Kenneth Casso... no global variables in test suites commit | commitdiff
2020-06-04 Luke Kenneth Casso... use common TestCase in shift_rot commit | commitdiff
2020-06-04 Luke Kenneth Casso... use copy of FHDLTestCase commit | commitdiff
2020-06-03 Tobias PlatenMerge branch 'master' of ssh://git.libre-riscv.org... commit | commitdiff
2020-06-03 Luke Kenneth Casso... convert shift_rot tests to use common get_cu_inputs... commit | commitdiff
2020-06-01 Luke Kenneth Casso... comment out rlwinm. for now commit | commitdiff
2020-06-01 Luke Kenneth Casso... add rlwinm. test instruction (sets CR0) commit | commitdiff
2020-05-24 Luke Kenneth Casso... start using Data in pipelines commit | commitdiff
2020-05-22 Luke Kenneth Casso... remove sticky overflow from Shift Rot pipeline commit | commitdiff
2020-05-22 Luke Kenneth Casso... create common input pipe spec to avoid code-duplication commit | commitdiff
2020-05-22 Luke Kenneth Casso... remove unneeded code commit | commitdiff
2020-05-21 Luke Kenneth Casso... move common functionality between PipeSpecs to soc... commit | commitdiff
2020-05-21 Luke Kenneth Casso... create and use ShiftRotPipeSpec commit | commitdiff
2020-05-20 Luke Kenneth Casso... fixup XER names in shift_rot pipe tests commit | commitdiff
2020-05-18 Luke Kenneth Casso... mass-rename of modules to soc.fu.* commit | commitdiff
2020-05-18 Luke Kenneth Casso... rename pipe to fu commit | commitdiff