projects / soc.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
soc.git
2020-05-23 Luke Kenneth... add CR_ISEL formal proof to CR pipeline commit | commitdiff | tree
2020-05-23 Luke Kenneth... add CR_ISEL (and unit test) to CR pipeline commit | commitdiff | tree
2020-05-23 Luke Kenneth... update to (corrected) csv files for CR_ISEL commit | commitdiff | tree
2020-05-23 Luke Kenneth... select bits 2:5 from BC to get CR0 to 7 in DecodeCRin commit | commitdiff | tree
2020-05-23 Luke Kenneth... add gitignore commit | commitdiff | tree
2020-05-23 Luke Kenneth... CR field on Br input data is specd as 0:3 range commit | commitdiff | tree
2020-05-23 Luke Kenneth... add b to CR pipe input data, for isel commit | commitdiff | tree
2020-05-22 Luke Kenneth... add TODO and link to SHIFT_ROT formal bugreport commit | commitdiff | tree
2020-05-22 Luke Kenneth... remove xer.so from ShiftRot formal proof commit | commitdiff | tree
2020-05-22 Luke Kenneth... remove sticky overflow from Shift Rot pipeline commit | commitdiff | tree
2020-05-22 Luke Kenneth... test branch ctr ok flag commit | commitdiff | tree
2020-05-22 Luke Kenneth... cleaner way to test link register ok commit | commitdiff | tree
2020-05-22 Luke Kenneth... whitespace commit | commitdiff | tree
2020-05-22 Michael NolanFix link handling in branch proof commit | commitdiff | tree
2020-05-22 Michael NolanUpdate to latest wiki version - fix cr0 input for OP_CNTZ commit | commitdiff | tree
2020-05-22 Luke Kenneth... variable-name munging for branch formal commit | commitdiff | tree
2020-05-22 Michael NolanAdd formal proof for branch unit, fix bug with bcreg commit | commitdiff | tree
2020-05-22 Luke Kenneth... cleanup logical pipe formal proof commit | commitdiff | tree
2020-05-22 Luke Kenneth... split out Logical Input and Output stages to common... commit | commitdiff | tree
2020-05-22 Luke Kenneth... div probably uses ALU not Logical, needs double-checkin... commit | commitdiff | tree
2020-05-22 Luke Kenneth... update comments for ALUCompUnit commit | commitdiff | tree
2020-05-22 Luke Kenneth... soc.fu.logical.input_stage no different from ALU: delete commit | commitdiff | tree
2020-05-22 Luke Kenneth... covert ALU FU to CommonInputStage commit | commitdiff | tree
2020-05-22 Luke Kenneth... create common input pipe spec to avoid code-duplication commit | commitdiff | tree
2020-05-22 Luke Kenneth... move CR over to CompCROpSubset commit | commitdiff | tree
2020-05-22 Michael NolanConvert branch unit to new CR interface commit | commitdiff | tree
2020-05-22 Michael NolanComplete CR proof commit | commitdiff | tree
2020-05-22 Luke Kenneth... increase fu-fu test matrix size commit | commitdiff | tree
2020-05-22 Luke Kenneth... remove unneeded code commit | commitdiff | tree
2020-05-22 Luke Kenneth... rename ShiftRot to Mul in fu mul test commit | commitdiff | tree
2020-05-22 Luke Kenneth... rename Logical to Div in fu div test commit | commitdiff | tree
2020-05-22 Luke Kenneth... cookie-cut start on div pipe commit | commitdiff | tree
2020-05-22 Luke Kenneth... add cookie-cut mul pipeline template commit | commitdiff | tree
2020-05-22 Luke Kenneth... whitespace commit | commitdiff | tree
2020-05-22 Luke Kenneth... over 80 chars commit | commitdiff | tree
2020-05-22 Luke Kenneth... comment tidyup commit | commitdiff | tree
2020-05-22 Luke Kenneth... use CompBROpSubset and reduce it down in size (remove... commit | commitdiff | tree
2020-05-22 Luke Kenneth... code-shuffle commit | commitdiff | tree
2020-05-22 Luke Kenneth... remove accidentally added branch input stage commit | commitdiff | tree
2020-05-22 Tobias Platenfix ModuleNotFoundError commit | commitdiff | tree
2020-05-21 Luke Kenneth... add fu logical_input_record.py commit | commitdiff | tree
2020-05-21 Luke Kenneth... update CROutputData to use Data() commit | commitdiff | tree
2020-05-21 Luke Kenneth... update comments commit | commitdiff | tree
2020-05-21 Luke Kenneth... whitespace cleanup commit | commitdiff | tree
2020-05-21 Luke Kenneth... whitespace cleanup commit | commitdiff | tree
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
next