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
/
cr
/
2020-07-22
Jacob Lifshay
Merge remote-tracking branch 'origin/master'
tree
|
commitdiff
2020-07-22
Jacob Lifshay
format code
tree
|
commitdiff
2020-07-19
Luke Kenneth Casso...
remove unneeded import
tree
|
commitdiff
2020-07-16
Luke Kenneth Casso...
update cr input record to use new CompOpSubsetBase
tree
|
commitdiff
2020-07-16
Luke Kenneth Casso...
add regression test on setb simulator error
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-06-10
Luke Kenneth Casso...
move to common ALUHelpers for CR test_pipe_caller.py
tree
|
commitdiff
2020-06-07
Luke Kenneth Casso...
add debug print statements, re-enable all tests in...
tree
|
commitdiff
2020-06-07
Luke Kenneth Casso...
add extra tests for mcrf: shows bug is not directly...
tree
|
commitdiff
2020-06-07
Luke Kenneth Casso...
add MSR to simulator context
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...
sigh. weirdness involving bit-inversion, inconsistency...
tree
|
commitdiff
2020-06-04
Luke Kenneth Casso...
no global variables in test suites
tree
|
commitdiff
2020-06-04
Luke Kenneth Casso...
move TestCase to common location
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...
use common get_cu_inputs for CR unit tests
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-02
Luke Kenneth Casso...
rename regspecs to give a consistent naming scheme
tree
|
commitdiff
2020-06-01
Luke Kenneth Casso...
remove reading port 3 for CR pipeline. RS moved to...
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...
whoops need to read RS in CR inputs test
tree
|
commitdiff
2020-06-01
Luke Kenneth Casso...
remove unneeded code
tree
|
commitdiff
2020-05-28
Michael Nolan
Add proof for OP_SETB
tree
|
commitdiff
2020-05-28
Michael Nolan
Add OP_SETB
tree
|
commitdiff
2020-05-28
Michael Nolan
Fix test_isel to properly examine registers
tree
|
commitdiff
2020-05-27
Luke Kenneth Casso...
rename CROutputData.cr_o to just CROutputData.cr
tree
|
commitdiff
2020-05-27
Luke Kenneth Casso...
test Data.ok for cr output and full cr output
tree
|
commitdiff
2020-05-27
Luke Kenneth Casso...
assign and test on Data, TODO add Data.ok checking...
tree
|
commitdiff
2020-05-24
Luke Kenneth Casso...
add test of reg output, for MFCRF and ISEL
tree
|
commitdiff
2020-05-24
Luke Kenneth Casso...
convert CR pipeline to Data.ok
tree
|
commitdiff
2020-05-24
Luke Kenneth Casso...
output registers need to be Data type (consistently)
tree
|
commitdiff
2020-05-23
Luke Kenneth Casso...
remove extraneous test_isel
tree
|
commitdiff
2020-05-23
Luke Kenneth Casso...
remove unneeded imports
tree
|
commitdiff
2020-05-23
Luke Kenneth Casso...
add link to regspecs on wiki
tree
|
commitdiff
2020-05-23
Michael Nolan
Modify proof of isel to use full CR register
tree
|
commitdiff
2020-05-23
Michael Nolan
Add test_isel
tree
|
commitdiff
2020-05-23
Luke Kenneth Casso...
add CR_ISEL formal proof to CR pipeline
tree
|
commitdiff
2020-05-23
Luke Kenneth Casso...
add CR_ISEL (and unit test) to CR pipeline
tree
|
commitdiff
2020-05-23
Luke Kenneth Casso...
add b to CR pipe input data, for isel
tree
|
commitdiff
2020-05-22
Luke Kenneth Casso...
move CR over to CompCROpSubset
tree
|
commitdiff
2020-05-22
Michael Nolan
Complete CR proof
tree
|
commitdiff
2020-05-21
Luke Kenneth Casso...
update CROutputData to use Data()
tree
|
commitdiff
2020-05-21
Luke Kenneth Casso...
update comments
tree
|
commitdiff
2020-05-21
Luke Kenneth Casso...
whitespace cleanup
tree
|
commitdiff
2020-05-21
Luke Kenneth Casso...
whitespace cleanup
tree
|
commitdiff
2020-05-21
Luke Kenneth Casso...
remove input_cr, output_cr and is_32bit from CompCROpSubset
tree
|
commitdiff
2020-05-21
Luke Kenneth Casso...
add read_cr_whole and write_cr_whole to CompCROpSubset
tree
|
commitdiff
2020-05-21
Luke Kenneth Casso...
add first cut at cr_input_record.py
tree
|
commitdiff
2020-05-21
Michael Nolan
Partial attempt at proving the new cr unit.
tree
|
commitdiff
2020-05-21
Luke Kenneth Casso...
argh syntax error
tree
|
commitdiff
2020-05-21
Luke Kenneth Casso...
update and comment CR Input/Output Data specs
tree
|
commitdiff
2020-05-21
Michael Nolan
All CR tests now working
tree
|
commitdiff
2020-05-21
Michael Nolan
OP_CROP now working
tree
|
commitdiff
2020-05-21
Michael Nolan
Begin porting cr pipeline to new interface
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...
convert to individual PipeSpecs for each pipeline
tree
|
commitdiff
2020-05-20
Michael Nolan
Add proof for OP_MCRF
tree
|
commitdiff
2020-05-20
Michael Nolan
Add proof for OP_MFCR
tree
|
commitdiff
2020-05-20
Michael Nolan
Revert "*technically* don't use a full crossbar"
tree
|
commitdiff
2020-05-20
Luke Kenneth Casso...
add link to bugreport in CR pipe formal test
tree
|
commitdiff
2020-05-20
Michael Nolan
*technically* don't use a full crossbar
tree
|
commitdiff
2020-05-20
Michael Nolan
Revert "assign index to temporary"
tree
|
commitdiff
2020-05-20
Michael Nolan
Add proof for OP_CROP
tree
|
commitdiff
2020-05-20
Luke Kenneth Casso...
go back to not using LUT in CR pipe
tree
|
commitdiff
2020-05-20
Luke Kenneth Casso...
assign index to temporary
tree
|
commitdiff
2020-05-20
Luke Kenneth Casso...
store CR lut result in temporary
tree
|
commitdiff
2020-05-20
Michael Nolan
Begin adding CR proof
tree
|
commitdiff
2020-05-20
Michael Nolan
Fix small bug in op_crop
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...
damn. assigning to temporary signals may turn out...
tree
|
commitdiff
2020-05-20
Luke Kenneth Casso...
ehn? moo? CR test_pipe_caller locks up 100% CPU on...
tree
|
commitdiff
2020-05-20
Luke Kenneth Casso...
munge / simplify code
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