projects / soc.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
soc.git
2020-05-21 Luke Kenneth... remove input_cr, output_cr and is_32bit from CompCROpSubset commit | commitdiff | tree
2020-05-21 Luke Kenneth... add read_cr_whole and write_cr_whole to CompCROpSubset commit | commitdiff | tree
2020-05-21 Luke Kenneth... add first cut at cr_input_record.py commit | commitdiff | tree
2020-05-21 Luke Kenneth... move Logical over to use CompLogicalOpSubset commit | commitdiff | tree
2020-05-21 Michael NolanPartial attempt at proving the new cr unit. commit | commitdiff | tree
2020-05-21 Luke Kenneth... argh syntax error commit | commitdiff | tree
2020-05-21 Luke Kenneth... update and comment CR Input/Output Data specs commit | commitdiff | tree
2020-05-21 Michael NolanAll CR tests now working commit | commitdiff | tree
2020-05-21 Luke Kenneth... add CR out decoder debug commit | commitdiff | tree
2020-05-21 Michael NolanOP_CROP now working commit | commitdiff | tree
2020-05-21 Michael NolanBegin porting cr pipeline to new interface commit | commitdiff | tree
2020-05-21 Michael NolanAdd third cr register select field to decoder commit | commitdiff | tree
2020-05-21 Michael NolanUpdate to latest wiki version commit | commitdiff | tree
2020-05-21 Luke Kenneth... comment CompALUOpSubset, data_len is actually used... commit | commitdiff | tree
2020-05-21 Luke Kenneth... comment DecodeCRIn and DecodeCROut, gratuitously commit | commitdiff | tree
2020-05-21 Luke Kenneth... document subkls in CompUnitRecord commit | commitdiff | tree
2020-05-21 Luke Kenneth... ARSE! frickin git submodules! commit | commitdiff | tree
2020-05-21 Luke Kenneth... move CompLDSTOpSubset to fu.ldst.ldst_input_record commit | commitdiff | tree
2020-05-21 Michael NolanFix broken unit tests in test_caller commit | commitdiff | tree
2020-05-21 Michael NolanAdd cr output decoder to power_decoder2.py commit | commitdiff | tree
2020-05-21 Michael NolanAdd CR In decoder to power_decoder2.py commit | commitdiff | tree
2020-05-21 Michael NolanConvert CR out to enum in power_decoder commit | commitdiff | tree
2020-05-21 Michael NolanUpdate to latest wiki version - convert CR out to enum commit | commitdiff | tree
2020-05-21 Michael NolanConvert CR In field to enum instead of single bit commit | commitdiff | tree
2020-05-21 Michael NolanUpdate to latest wiki version commit | commitdiff | tree
2020-05-21 Luke Kenneth... add zero_a flag to CompALUOpSubset commit | commitdiff | tree
2020-05-21 Luke Kenneth... add zero_a flag to Decode2ExecuteType commit | commitdiff | tree
2020-05-21 Michael NolanFix broken test_adde/add overflow handling to caller.py commit | commitdiff | tree
2020-05-21 Luke Kenneth... whitespace/shuffle commit | commitdiff | tree
2020-05-21 Luke Kenneth... move common functionality between PipeSpecs to soc... commit | commitdiff | tree
2020-05-21 Luke Kenneth... move FU IntegerData to directory below commit | commitdiff | tree
2020-05-21 Luke Kenneth... branch output spec nia not cia commit | commitdiff | tree
2020-05-21 Luke Kenneth... add dedicated TrapPipeSpec commit | commitdiff | tree
2020-05-21 Luke Kenneth... create and use ShiftRotPipeSpec commit | commitdiff | tree
2020-05-21 Luke Kenneth... convert to individual PipeSpecs for each pipeline commit | commitdiff | tree
2020-05-21 Luke Kenneth... add regspec to ALUPipeSpec commit | commitdiff | tree
2020-05-21 Luke Kenneth... use branch-specific data structures, add "regspecs... commit | commitdiff | tree
2020-05-21 Luke Kenneth... code-morph LDSTCompUnit to use RecordObject structure... commit | commitdiff | tree
2020-05-21 Cesar StraussFixed typo and left-over from refactoring commit | commitdiff | tree
2020-05-20 Michael NolanAdd proof for OP_MCRF commit | commitdiff | tree
2020-05-20 Michael NolanAdd proof for OP_MFCR commit | commitdiff | tree
2020-05-20 Michael NolanMake test for bpermd exercise the module a bit more commit | commitdiff | tree
2020-05-20 Michael NolanRevert "*technically* don't use a full crossbar" commit | commitdiff | tree
2020-05-20 Luke Kenneth... add link to bugreport in CR pipe formal test commit | commitdiff | tree
2020-05-20 Michael Nolan*technically* don't use a full crossbar commit | commitdiff | tree
2020-05-20 colepoirierAdded OP_BPERMD to fu/logical pipeline, with test commit | commitdiff | tree
2020-05-20 Michael NolanRevert "assign index to temporary" commit | commitdiff | tree
2020-05-20 Michael NolanAdd proof for OP_CROP commit | commitdiff | tree
2020-05-20 Luke Kenneth... go back to not using LUT in CR pipe commit | commitdiff | tree
2020-05-20 Luke Kenneth... assign index to temporary commit | commitdiff | tree
2020-05-20 Luke Kenneth... store CR lut result in temporary commit | commitdiff | tree
2020-05-20 Michael NolanBegin adding CR proof commit | commitdiff | tree
2020-05-20 Michael NolanFix small bug in op_crop commit | commitdiff | tree
2020-05-20 Luke Kenneth... add register specs to pipeline in/out so that they... commit | commitdiff | tree
2020-05-20 Luke Kenneth... damn. assigning to temporary signals may turn out... commit | commitdiff | tree
2020-05-20 Luke Kenneth... ehn? moo? CR test_pipe_caller locks up 100% CPU on... commit | commitdiff | tree
2020-05-20 Luke Kenneth... correct XER variable names commit | commitdiff | tree
2020-05-20 Luke Kenneth... correct import on shift_rot maskgen commit | commitdiff | tree
2020-05-20 Michael NolanUse overflow definition from microwatt commit | commitdiff | tree
2020-05-20 Michael NolanAdd overflow handling and proof commit | commitdiff | tree
2020-05-20 Michael NolanFix bug introduced in rebase commit | commitdiff | tree
2020-05-20 Luke Kenneth... fixup XER names in shift_rot pipe tests commit | commitdiff | tree
2020-05-20 Luke Kenneth... formal proof rename on XER flags commit | commitdiff | tree
2020-05-20 Luke Kenneth... update to new names for XER fields commit | commitdiff | tree
2020-05-20 Luke Kenneth... normalise XER regs carry/32 and SO commit | commitdiff | tree
2020-05-20 Michael NolanAdd proof for OP_CNTZ commit | commitdiff | tree
2020-05-20 Luke Kenneth... add cross-reference to bugtracker and wiki commit | commitdiff | tree
2020-05-20 Michael NolanAdd test for edge cases that were previously buggy commit | commitdiff | tree
2020-05-20 Michael NolanDelete assume left over from testing commit | commitdiff | tree
2020-05-20 Michael NolanAdd proof for OP_PRTY commit | commitdiff | tree
2020-05-20 Michael NolanFormally verify OP_POPCNT commit | commitdiff | tree
2020-05-20 Michael NolanFix bug with popcntd commit | commitdiff | tree
2020-05-20 Luke Kenneth... convert CompUnit to use CompUnitRecord commit | commitdiff | tree
2020-05-20 Luke Kenneth... whitespace, rename ilang to alu_main_stage.il commit | commitdiff | tree
2020-05-20 Luke Kenneth... i seem to like short names that happen to make things... commit | commitdiff | tree
2020-05-20 Michael NolanAdd proof for OP_CMP and OP_CMPEQB commit | commitdiff | tree
2020-05-20 Michael NolanAdd proof for OP_EXTS commit | commitdiff | tree
2020-05-20 Michael NolanAdd 32 bit carry handling to alu commit | commitdiff | tree
2020-05-20 Luke Kenneth... output ilang for ALU to unique file commit | commitdiff | tree
2020-05-20 Luke Kenneth... use nmutil exts helper in ALU OP_EXTS commit | commitdiff | tree
2020-05-20 Luke Kenneth... use nmutil exts helper commit | commitdiff | tree
2020-05-20 Luke Kenneth... fix imports in fu matrix tests commit | commitdiff | tree
2020-05-20 Luke Kenneth... use nmutil exts helper commit | commitdiff | tree
2020-05-20 Michael NolanFix broken test_caller.py commit | commitdiff | tree
2020-05-20 Luke Kenneth... munge / simplify code commit | commitdiff | tree
2020-05-20 Luke Kenneth... minor code-munge, use shorter names commit | commitdiff | tree
2020-05-20 Luke Kenneth... convert shift_rot to use XER Data commit | commitdiff | tree
2020-05-20 Luke Kenneth... convert Logical to use new XER use of Data() commit | commitdiff | tree
2020-05-20 Luke Kenneth... convert alu output to use Data for XER and CR0 commit | commitdiff | tree
2020-05-20 Luke Kenneth... whoops changed name of ALUInputData to LogicalInputData commit | commitdiff | tree
2020-05-20 Luke Kenneth... fix a series of random imports commit | commitdiff | tree
2020-05-20 Luke Kenneth... add DIV and MUL to POWER Function enum commit | commitdiff | tree
2020-05-19 Luke Kenneth... output ilang to branch_pipeline.il for branch commit | commitdiff | tree
2020-05-19 Luke Kenneth... use field AA directly commit | commitdiff | tree
2020-05-19 Luke Kenneth... add OP_RFID to enums commit | commitdiff | tree
2020-05-19 Luke Kenneth... update submodule to latest (including OP_TDI/OP_TRAP commit | commitdiff | tree
2020-05-19 Luke Kenneth... remove SPR3 from Branch Data, rename lr and spr to... commit | commitdiff | tree
2020-05-19 colepoirierRenamed bperm files in fu/logical and fu/logical formal... commit | commitdiff | tree
2020-05-19 Luke Kenneth... rename module, remove extraneous code and imports commit | commitdiff | tree
2020-05-19 Luke Kenneth... hmmm, branch sets nia to Data as well and sets nia... commit | commitdiff | tree
next