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 / trap / main_stage.py
2022-07-04 Luke Kenneth Casso... add signal for resetting trap internal state (kaivb... commit | commitdiff
2022-07-04 Luke Kenneth Casso... set msr_o.data not msr_o Record in trap main_stage.py commit | commitdiff
2022-06-26 Luke Kenneth Casso... adapt TRAP function in main state pipeline to put KAIVB commit | commitdiff
2022-06-26 Luke Kenneth Casso... store KAIVB SPR 850 in TRAP Pipeline commit | commitdiff
2022-01-25 Luke Kenneth Casso... LDSTException now passing bits of SRR1 around to the... commit | commitdiff
2022-01-24 Luke Kenneth Casso... bool test on traptype to commit | commitdiff
2022-01-19 Luke Kenneth Casso... ISI (0x400) trap is the only one that puts memory-based... commit | commitdiff
2022-01-18 Luke Kenneth Casso... comments on SRR1 in trap commit | commitdiff
2022-01-18 Luke Kenneth Casso... preserve bits of SRR1 on a TRAP (including all interrup... commit | commitdiff
2022-01-17 Luke Kenneth Casso... fix hrfid and mtmsrd so that it is identical to microwatt commit | commitdiff
2021-12-22 Luke Kenneth Casso... use correct X-Form L field in OP_MTMSRD commit | commitdiff
2021-12-22 Luke Kenneth Casso... check problem state in OP_MTMSRD from original reg... commit | commitdiff
2021-05-04 Luke Kenneth Casso... add SVSTATE (SVSRR0) to TRAP pipeline commit | commitdiff
2021-05-04 Luke Kenneth Casso... adding fast3 SPR to Trap pipeline and unit test commit | commitdiff
2021-04-23 Luke Kenneth Casso... more openpower-isa conversion commit | commitdiff
2021-04-23 Luke Kenneth Casso... move over to from openpower imports commit | commitdiff
2020-10-06 Luke Kenneth Casso... add SRR1 setting for LDST memory exception trap commit | commitdiff
2020-09-06 Luke Kenneth Casso... comment, nothing unusual when Trap Type is DEC commit | commitdiff
2020-09-04 Luke Kenneth Casso... adding option to include XICS external interrupts. commit | commitdiff
2020-08-14 Luke Kenneth Casso... hack to get hrfid not to alter msr 51 commit | commitdiff
2020-07-27 Luke Kenneth Casso... fix trap proof, and trap main_stage, and pseudocode... commit | commitdiff
2020-07-25 Luke Kenneth Casso... update comment-headers (TODO include page numbers to... commit | commitdiff
2020-07-24 Samuel A. Falvo IIWIP: addressing code review, restoring proofs, etc. commit | commitdiff
2020-07-24 Luke Kenneth Casso... got fed up with bit-slice ordering crap. cut it out commit | commitdiff
2020-07-24 Luke Kenneth Casso... code review comments for trap and proof commit | commitdiff
2020-07-24 Samuel A. Falvo IIRefactorin of common code commit | commitdiff
2020-07-24 Samuel A. Falvo IIAddress code review comments commit | commitdiff
2020-07-22 Luke Kenneth Casso... field number ordering wrong way round? commit | commitdiff
2020-07-22 Luke Kenneth Casso... review trap main_stage.py modifications: we are not... commit | commitdiff
2020-07-21 Samuel A. Falvo IICompleted SC FV properties commit | commitdiff
2020-07-21 Samuel A. Falvo IIRefine properties to comply with spec commit | commitdiff
2020-07-21 Luke Kenneth Casso... move cia and msr to trap input record commit | commitdiff
2020-07-21 Luke Kenneth Casso... add msr exception bits setting function in hardware commit | commitdiff
2020-07-21 Luke Kenneth Casso... correct trap spec page interrupt ref commit | commitdiff
2020-07-18 Luke Kenneth Casso... whoops use slice not range commit | commitdiff
2020-07-18 Luke Kenneth Casso... syntax error commit | commitdiff
2020-07-18 Luke Kenneth Casso... review of OP_RFID showed up some errors commit | commitdiff
2020-07-18 Luke Kenneth Casso... corrections to trap main_stage.py OP_RFID according... commit | commitdiff
2020-07-15 Luke Kenneth Casso... remove unneeded comment in trap msin stage commit | commitdiff
2020-07-15 Luke Kenneth Casso... move traptype to soc.consts commit | commitdiff
2020-07-13 Luke Kenneth Casso... add mtmsrd instruction and unit test commit | commitdiff
2020-07-12 Luke Kenneth Casso... rename InternalOp to MicrOp commit | commitdiff
2020-07-08 Jacob LifshayMerge branch 'master' of ssh://git.libre-riscv.org... commit | commitdiff
2020-07-06 Luke Kenneth Casso... adding OP_MTMSR test commit | commitdiff
2020-07-05 Luke Kenneth Casso... add mtmsr tests (fail) commit | commitdiff
2020-07-05 Luke Kenneth Casso... check msr in trap test, fix OP_RFID commit | commitdiff
2020-07-04 Luke Kenneth Casso... cater for illegal instruction (generates a trap) commit | commitdiff
2020-07-04 Luke Kenneth Casso... add sc back in commit | commitdiff
2020-07-04 Luke Kenneth Casso... comments in trap about exceptions using microcoding commit | commitdiff
2020-07-04 Luke Kenneth Casso... update trap docstring commit | commitdiff
2020-07-04 Luke Kenneth Casso... use new consts module commit | commitdiff
2020-07-01 Luke Kenneth Casso... continue debugging trap pipeline commit | commitdiff
2020-07-01 Luke Kenneth Casso... debugging trap pipeline commit | commitdiff
2020-07-01 Luke Kenneth Casso... start running trap unit test, fixing errors commit | commitdiff
2020-06-09 Luke Kenneth Casso... correct local variable references commit | commitdiff
2020-06-09 Luke Kenneth Casso... bit more on TRAP handling (preparing priv instruction) commit | commitdiff
2020-06-08 Luke Kenneth Casso... add traptype and trapaddr to PowerDecoder2. idea is... commit | commitdiff
2020-06-08 Luke Kenneth Casso... found section in 3.0B PDF that refers to "Program Inter... commit | commitdiff
2020-06-08 Luke Kenneth Casso... copy MSR into SRR1 in trap function commit | commitdiff
2020-06-08 colepoirierFix spelling commit | commitdiff
2020-06-07 Luke Kenneth Casso... update trap with comments commit | commitdiff
2020-06-07 colepoirierAdd TrapMainStage.trap() convenience function to set... commit | commitdiff
2020-06-07 Luke Kenneth Casso... move MSR_PR checking to separate functiong commit | commitdiff
2020-06-07 colepoirierFix missing 'comb +=' commit | commitdiff
2020-06-05 Luke Kenneth Casso... update comments commit | commitdiff
2020-06-05 Luke Kenneth Casso... more comments commit | commitdiff
2020-06-05 Luke Kenneth Casso... more comments commit | commitdiff
2020-06-05 Luke Kenneth Casso... a_i not b_in commit | commitdiff
2020-06-05 Luke Kenneth Casso... add comments commit | commitdiff
2020-06-05 colepoirierMade small changes to fu/trap/main_stage to bring nmige... commit | commitdiff
2020-06-05 Luke Kenneth Casso... refer to srr0/1 not a/b commit | commitdiff
2020-06-05 Luke Kenneth Casso... add msr_copy function and use it in OP_TRAP, OP_RFID... commit | commitdiff
2020-06-05 Luke Kenneth Casso... set SRR0 in OP_SC commit | commitdiff
2020-06-04 colepoirierUse a_i and b_i convenience variables instead of a... commit | commitdiff
2020-06-04 Luke Kenneth Casso... mention convenience variables commit | commitdiff
2020-06-04 Luke Kenneth Casso... rename trap to use convenience variables commit | commitdiff
2020-06-04 colepoirierUndo damage done by deleting VHDL microwatt comments, commit | commitdiff
2020-06-03 Tobias PlatenMerge branch 'master' of ssh://git.libre-riscv.org... commit | commitdiff
2020-06-03 colepoirierFixed missing nia.ok.eq(1) in OP_RFID commit | commitdiff
2020-06-03 colepoirierFixed merge conflict by using remote changes commit | commitdiff
2020-06-03 Luke Kenneth Casso... convenience variables commit | commitdiff
2020-06-03 Luke Kenneth Casso... FormX not FormXL commit | commitdiff
2020-06-03 Luke Kenneth Casso... add bit more TODO commit | commitdiff
2020-06-03 Luke Kenneth Casso... add more TODOs commit | commitdiff
2020-06-03 colepoirierFixed OP_RFID and OP_SC in fu/trap/main_stage commit | commitdiff
2020-06-03 Luke Kenneth Casso... add some more constants and ref to POWER9 pdf commit | commitdiff
2020-06-03 Luke Kenneth Casso... add an if for OP_MTMSR and some comments commit | commitdiff
2020-06-03 colepoirierAttempted to fix OP_RFID in TRAP pipeline commit | commitdiff
2020-06-02 colepoirierImplement TRAP instructions OP_RFID and OP_SC commit | commitdiff
2020-06-02 Luke Kenneth Casso... add MSR constants, TODO translated commit | commitdiff
2020-06-02 Luke Kenneth Casso... add TODO comments from microwatt source code commit | commitdiff
2020-05-27 Luke Kenneth Casso... code-morph, add TODO on OP_RFID, OP_SC, OP_ADDPCIS commit | commitdiff
2020-05-24 Luke Kenneth Casso... copy code for MTMSR from microwatt into comments commit | commitdiff
2020-05-24 Luke Kenneth Casso... add links for trap main stage commit | commitdiff
2020-05-24 Luke Kenneth Casso... add untested OP_MTMSR and OP_MFMSR commit | commitdiff
2020-05-24 Luke Kenneth Casso... TODO mention OP_MTMSR/OP_MFMSR commit | commitdiff
2020-05-21 Luke Kenneth Casso... add dedicated TrapPipeSpec commit | commitdiff
2020-05-19 Luke Kenneth Casso... rename module, remove extraneous code and imports commit | commitdiff
2020-05-19 Luke Kenneth Casso... hmmm, branch sets nia to Data as well and sets nia... commit | commitdiff
2020-05-19 Luke Kenneth Casso... use Data on SPRs in Trap InputData just like in BranchO... commit | commitdiff
next