projects
/
soc.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
WIP: addressing code review, restoring proofs, etc.
[soc.git]
/
src
/
soc
/
fu
/
branch
/
2020-07-22
Jacob Lifshay
Merge remote-tracking branch 'origin/master'
tree
|
commitdiff
2020-07-22
Jacob Lifshay
format code
tree
|
commitdiff
2020-07-22
Luke Kenneth Casso...
comments, add page spec numbers for branch ops into...
tree
|
commitdiff
2020-07-22
Luke Kenneth Casso...
fix branch main_stage proof, add ctr 32-bit, fix BCREG
tree
|
commitdiff
2020-07-22
Luke Kenneth Casso...
rework branch proof to use br_input_record
tree
|
commitdiff
2020-07-21
Luke Kenneth Casso...
convert branch pipeline to use msr/cia as immediates
tree
|
commitdiff
2020-07-16
Luke Kenneth Casso...
use CompOpSubsetBase class in Branch op record
tree
|
commitdiff
2020-07-15
Luke Kenneth Casso...
document branch pipeline relationship with PowerDecode2
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 Lifshay
Merge 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-07-04
Luke Kenneth Casso...
more updating spr1/spr2 to fast1/fast2
tree
|
commitdiff
2020-07-04
Luke Kenneth Casso...
rename spr1/spr2 to fast1/fast2 in branch
tree
|
commitdiff
2020-07-01
Luke Kenneth Casso...
whoops missed some cases in unit test changing ALUHelpers
tree
|
commitdiff
2020-06-11
Luke Kenneth Casso...
add fast spr1/2 sim ALUHelpers
tree
|
commitdiff
2020-06-10
Luke Kenneth Casso...
move to common ALUHelpers for branch test_pipe_caller.py
tree
|
commitdiff
2020-06-07
Luke Kenneth Casso...
add extra args to ISA in branch test_pipe_caller
tree
|
commitdiff
2020-06-06
Luke Kenneth Casso...
remove unneeded imports
tree
|
commitdiff
2020-06-06
Luke Kenneth Casso...
noticed the regular pattern in all pipe_data.py (regspecs).
tree
|
commitdiff
2020-06-04
Luke Kenneth Casso...
no global variables in test suites
tree
|
commitdiff
2020-06-04
Luke Kenneth Casso...
use common TestCase in branch
tree
|
commitdiff
2020-06-04
Luke Kenneth Casso...
use copy of FHDLTestCase
tree
|
commitdiff
2020-06-03
Tobias Platen
Merge branch 'master' of ssh://git.libre-riscv.org...
tree
|
commitdiff
2020-06-03
Luke Kenneth Casso...
whitespace
tree
|
commitdiff
2020-06-03
Tobias Platen
Merge branch 'master' of ssh://git.libre-riscv.org...
tree
|
commitdiff
2020-06-03
Luke Kenneth Casso...
remove rdflags in pipe_data.py (redundant)
tree
|
commitdiff
2020-06-03
Luke Kenneth Casso...
tidyup branch. comments
tree
|
commitdiff
2020-06-02
Luke Kenneth Casso...
move setting cia input to branch from get_cu_inputs...
tree
|
commitdiff
2020-06-02
Luke Kenneth Casso...
hooray, get_cu_inputs now common to both types of tests
tree
|
commitdiff
2020-06-02
Luke Kenneth Casso...
oooo very annoying. there does not appear to be any...
tree
|
commitdiff
2020-06-02
Luke Kenneth Casso...
add get_inputs function to branch test_pipe_caller
tree
|
commitdiff
2020-06-02
Michael Nolan
Select spr1 for bcctr - use fast_spr decoding from...
tree
|
commitdiff
2020-06-02
Luke Kenneth Casso...
decode fast spr for OP_BCREG CTR, TAR and LR
tree
|
commitdiff
2020-06-02
Luke Kenneth Casso...
add TODO comments for read_fast1/2
tree
|
commitdiff
2020-06-02
Luke Kenneth Casso...
debugging branch fast registers
tree
|
commitdiff
2020-06-02
Michael Nolan
Handle removal of spr2 field from decoder
tree
|
commitdiff
2020-06-02
Luke Kenneth Casso...
add comment about fast1 and fast2 in branch test_pipe_c...
tree
|
commitdiff
2020-06-02
Michael Nolan
Fix test_bc_reg
tree
|
commitdiff
2020-06-02
Luke Kenneth Casso...
add in fast regs support in decoder and into regspec_decode
tree
|
commitdiff
2020-06-02
Luke Kenneth Casso...
rename regspecs to give a consistent naming scheme
tree
|
commitdiff
2020-06-01
Luke Kenneth Casso...
okaaay add a "rdflags" function which obtains the yes...
tree
|
commitdiff
2020-06-01
Luke Kenneth Casso...
add test_bc_reg (fails)
tree
|
commitdiff
2020-06-01
Luke Kenneth Casso...
CompBROpSubset exists
tree
|
commitdiff
2020-06-01
Luke Kenneth Casso...
invert SPR1/2 in branch output data
tree
|
commitdiff
2020-06-01
Luke Kenneth Casso...
swap over SPR1/2 to fit with microwatt SPR conventions
tree
|
commitdiff
2020-05-24
Luke Kenneth Casso...
add gitignore for branch fu formal
tree
|
commitdiff
2020-05-24
Michael Nolan
Assert that ctr is only written when needed
tree
|
commitdiff
2020-05-24
Luke Kenneth Casso...
comment and add links to branch formal proof
tree
|
commitdiff
2020-05-24
Luke Kenneth Casso...
comments on branch pipeline
tree
|
commitdiff
2020-05-23
Luke Kenneth Casso...
CR field on Br input data is specd as 0:3 range
tree
|
commitdiff
2020-05-22
Luke Kenneth Casso...
test branch ctr ok flag
tree
|
commitdiff
2020-05-22
Luke Kenneth Casso...
cleaner way to test link register ok
tree
|
commitdiff
2020-05-22
Luke Kenneth Casso...
whitespace
tree
|
commitdiff
2020-05-22
Michael Nolan
Fix link handling in branch proof
tree
|
commitdiff
2020-05-22
Luke Kenneth Casso...
variable-name munging for branch formal
tree
|
commitdiff
2020-05-22
Michael Nolan
Add formal proof for branch unit, fix bug with bcreg
tree
|
commitdiff
2020-05-22
Michael Nolan
Convert branch unit to new CR interface
tree
|
commitdiff
2020-05-22
Luke Kenneth Casso...
whitespace
tree
|
commitdiff
2020-05-22
Luke Kenneth Casso...
comment tidyup
tree
|
commitdiff
2020-05-22
Luke Kenneth Casso...
use CompBROpSubset and reduce it down in size (remove...
tree
|
commitdiff
2020-05-22
Luke Kenneth Casso...
code-shuffle
tree
|
commitdiff
2020-05-22
Luke Kenneth Casso...
remove accidentally added branch input stage
tree
|
commitdiff
2020-05-21
Luke Kenneth Casso...
move common functionality between PipeSpecs to soc...
tree
|
commitdiff
2020-05-21
Luke Kenneth Casso...
move FU IntegerData to directory below
tree
|
commitdiff
2020-05-21
Luke Kenneth Casso...
branch output spec nia not cia
tree
|
commitdiff
2020-05-21
Luke Kenneth Casso...
convert to individual PipeSpecs for each pipeline
tree
|
commitdiff
2020-05-21
Luke Kenneth Casso...
use branch-specific data structures, add "regspecs...
tree
|
commitdiff
2020-05-20
Luke Kenneth Casso...
add register specs to pipeline in/out so that they...
tree
|
commitdiff
2020-05-20
Luke Kenneth Casso...
use nmutil exts helper
tree
|
commitdiff
2020-05-19
Luke Kenneth Casso...
output ilang to branch_pipeline.il for branch
tree
|
commitdiff
2020-05-19
Luke Kenneth Casso...
use field AA directly
tree
|
commitdiff
2020-05-19
Luke Kenneth Casso...
remove SPR3 from Branch Data, rename lr and spr to...
tree
|
commitdiff
2020-05-18
Luke Kenneth Casso...
dumb syntax error
tree
|
commitdiff
2020-05-18
Luke Kenneth Casso...
mass-rename of modules to soc.fu.*
tree
|
commitdiff
2020-05-18
Luke Kenneth Casso...
rename pipe to fu
tree
|
commitdiff