projects
/
soc.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Revert "assign index to temporary"
2020-05-20
Michael Nolan
Revert "assign index to temporary"
commit
|
commitdiff
|
tree
2020-05-20
Michael Nolan
Add proof for OP_CROP
commit
|
commitdiff
|
tree
2020-05-20
Michael Nolan
Begin adding CR proof
commit
|
commitdiff
|
tree
2020-05-20
Michael Nolan
Fix small bug in op_crop
commit
|
commitdiff
|
tree
2020-05-20
Michael Nolan
Use overflow definition from microwatt
commit
|
commitdiff
|
tree
2020-05-20
Michael Nolan
Add overflow handling and proof
commit
|
commitdiff
|
tree
2020-05-20
Michael Nolan
Fix bug introduced in rebase
commit
|
commitdiff
|
tree
2020-05-20
Michael Nolan
Add proof for OP_CNTZ
commit
|
commitdiff
|
tree
2020-05-20
Michael Nolan
Add test for edge cases that were previously buggy
commit
|
commitdiff
|
tree
2020-05-20
Michael Nolan
Delete assume left over from testing
commit
|
commitdiff
|
tree
2020-05-20
Michael Nolan
Add proof for OP_PRTY
commit
|
commitdiff
|
tree
2020-05-20
Michael Nolan
Formally verify OP_POPCNT
commit
|
commitdiff
|
tree
2020-05-20
Michael Nolan
Fix bug with popcntd
commit
|
commitdiff
|
tree
2020-05-20
Michael Nolan
Add proof for OP_CMP and OP_CMPEQB
commit
|
commitdiff
|
tree
2020-05-20
Michael Nolan
Add proof for OP_EXTS
commit
|
commitdiff
|
tree
2020-05-20
Michael Nolan
Add 32 bit carry handling to alu
commit
|
commitdiff
|
tree
2020-05-20
Michael Nolan
Fix broken test_caller.py
commit
|
commitdiff
|
tree
2020-05-19
Michael Nolan
Add should_trap signal to trap output data
commit
|
commitdiff
|
tree
2020-05-19
Michael Nolan
Add trap main stage
commit
|
commitdiff
|
tree
2020-05-19
Michael Nolan
Update to latest wiki version - fixing OP_TRAP
commit
|
commitdiff
|
tree
2020-05-19
Michael Nolan
Change OP_TWI/TDI/TW/TD to OP_TRAP
commit
|
commitdiff
|
tree
2020-05-19
Michael Nolan
Begin adding trap FU
commit
|
commitdiff
|
tree
2020-05-19
Michael Nolan
Implement 32 bit cntlz and cnttz
commit
|
commitdiff
|
tree
2020-05-19
Michael Nolan
Actually implement cntlzd
commit
|
commitdiff
|
tree
2020-05-19
Michael Nolan
Fix weird edge cases with carry
commit
|
commitdiff
|
tree
2020-05-19
Michael Nolan
Add ca32 to caller.py
commit
|
commitdiff
|
tree
2020-05-19
Michael Nolan
Handle carry out in alu
commit
|
commitdiff
|
tree
2020-05-19
Michael Nolan
Handle carry in caller.py
commit
|
commitdiff
|
tree
2020-05-18
Michael Nolan
Fix error with selecting a selectableint using a selectableint
commit
|
commitdiff
|
tree
2020-05-18
Michael Nolan
Update to latest wiki version
commit
|
commitdiff
|
tree
2020-05-17
Michael Nolan
Add incomplete proof_bperm.py with comments on how...
commit
|
commitdiff
|
tree
2020-05-17
Michael Nolan
Move perm inside Bpermd as it's not an input or output
commit
|
commitdiff
|
tree
2020-05-16
Michael Nolan
Add ilang output to test_maskgen.py
commit
|
commitdiff
|
tree
2020-05-16
Michael Nolan
Implement mfcr and mfocrf
commit
|
commitdiff
|
tree
2020-05-16
Michael Nolan
Implement mtocrf (which isn't different from mtcrf?)
commit
|
commitdiff
|
tree
2020-05-16
Michael Nolan
Remove noisy print statements in selectable_int.py
commit
|
commitdiff
|
tree
2020-05-16
Michael Nolan
Add sprset.patch
commit
|
commitdiff
|
tree
2020-05-16
Michael Nolan
Add condition.patch
commit
|
commitdiff
|
tree
2020-05-16
Michael Nolan
Minor cleanup
commit
|
commitdiff
|
tree
2020-05-16
Michael Nolan
Implement mtcrf
commit
|
commitdiff
|
tree
2020-05-16
Michael Nolan
Add comments on what CROP (crand, cror) do and how...
commit
|
commitdiff
|
tree
2020-05-16
Michael Nolan
Add ports to ilang for test_caller.py
commit
|
commitdiff
|
tree
2020-05-16
Michael Nolan
Fix bug in branch's pipe_data
commit
|
commitdiff
|
tree
2020-05-16
Michael Nolan
Consolidate every pipe_data to use alu's integer data
commit
|
commitdiff
|
tree
2020-05-16
Michael Nolan
OP_CROP fully working
commit
|
commitdiff
|
tree
2020-05-16
Michael Nolan
Update to latest wiki version - fix bug with crxor
commit
|
commitdiff
|
tree
2020-05-16
Michael Nolan
Implement mcrf in CR FU
commit
|
commitdiff
|
tree
2020-05-16
Michael Nolan
Get working mcrf in caller.py
commit
|
commitdiff
|
tree
2020-05-16
Michael Nolan
Update to latest wiki version - move crand to own opcode
commit
|
commitdiff
|
tree
2020-05-15
Michael Nolan
Make opcode for crand and friends
commit
|
commitdiff
|
tree
2020-05-15
Michael Nolan
Begin adding CR pipeline
commit
|
commitdiff
|
tree
2020-05-15
Michael Nolan
Update to latest wiki version - Add CR FU
commit
|
commitdiff
|
tree
2020-05-15
Michael Nolan
Add CR function unit
commit
|
commitdiff
|
tree
2020-05-15
Michael Nolan
Update wiki to latest version.
commit
|
commitdiff
|
tree
2020-05-15
Michael Nolan
Fix bug introduced when I made it possible to set the...
commit
|
commitdiff
|
tree
2020-05-15
Michael Nolan
Implement op_bcreg
commit
|
commitdiff
|
tree
2020-05-15
Michael Nolan
Remove TAR input, create fixed input for CTR and input...
commit
|
commitdiff
|
tree
2020-05-15
Michael Nolan
re-enable assert for correct function unit
commit
|
commitdiff
|
tree
2020-05-15
Michael Nolan
Update to latest wiki version - add branch FU to branch...
commit
|
commitdiff
|
tree
2020-05-15
Michael Nolan
Fix a couple of bugs with conditional branch with counter
commit
|
commitdiff
|
tree
2020-05-15
Michael Nolan
Implement ctr decrementing
commit
|
commitdiff
|
tree
2020-05-15
Michael Nolan
Oops, looks like I forgot to push the wiki update
commit
|
commitdiff
|
tree
2020-05-15
Michael Nolan
Begin implementing conditional branch
commit
|
commitdiff
|
tree
2020-05-15
Michael Nolan
Add ability to specify initial CR state
commit
|
commitdiff
|
tree
2020-05-15
Michael Nolan
Implement signed branch immediates
commit
|
commitdiff
|
tree
2020-05-15
Michael Nolan
Change nia input to cia, implement linking
commit
|
commitdiff
|
tree
2020-05-15
Michael Nolan
Simplify main_stage.py
commit
|
commitdiff
|
tree
2020-05-15
Michael Nolan
Fix broken test_ba
commit
|
commitdiff
|
tree
2020-05-15
Michael Nolan
Implement relative branches, add explicit NIA input...
commit
|
commitdiff
|
tree
2020-05-15
Michael Nolan
add branch to absolute address
commit
|
commitdiff
|
tree
2020-05-15
Michael Nolan
Add rudimentary branch unit test bench
commit
|
commitdiff
|
tree
2020-05-15
Michael Nolan
Update to latest wiki - add branch unit for branch...
commit
|
commitdiff
|
tree
2020-05-15
Michael Nolan
Implement OP_CMPEQB
commit
|
commitdiff
|
tree
2020-05-15
Michael Nolan
Update to latest wiki version - add definition for...
commit
|
commitdiff
|
tree
2020-05-15
Michael Nolan
Ooops, actually assert during cmpeqb
commit
|
commitdiff
|
tree
2020-05-15
Michael Nolan
Add test for cmpeqb
commit
|
commitdiff
|
tree
2020-05-15
Michael Nolan
Add test for cntlz to test_caller
commit
|
commitdiff
|
tree
2020-05-15
Michael Nolan
Add gitignore to shift_rot and logical formal folders
commit
|
commitdiff
|
tree
2020-05-15
Michael Nolan
Re-enable popcnt in test_pipe_caller.py
commit
|
commitdiff
|
tree
2020-05-15
Michael Nolan
Add test for popcnt to test_caller.py
commit
|
commitdiff
|
tree
2020-05-15
Michael Nolan
Fix prty implementation
commit
|
commitdiff
|
tree
2020-05-15
Michael Nolan
Add test for prtyw pseudocode
commit
|
commitdiff
|
tree
2020-05-15
Michael Nolan
Update to latest wiki version, fix bug in prty pseudocode
commit
|
commitdiff
|
tree
2020-05-14
Michael Nolan
Add patch for cmpb
commit
|
commitdiff
|
tree
2020-05-14
Michael Nolan
Implement OP_CMP
commit
|
commitdiff
|
tree
2020-05-14
Michael Nolan
Add OP_CMPB
commit
|
commitdiff
|
tree
2020-05-14
Michael Nolan
Update to latest wiki version
commit
|
commitdiff
|
tree
2020-05-14
Michael Nolan
Fix bug in shift_rot, update proof to handle new interface
commit
|
commitdiff
|
tree
2020-05-13
Michael Nolan
Add test for random rlcd(l/r) instructions
commit
|
commitdiff
|
tree
2020-05-13
Michael Nolan
Fix bug in rotator preventing use of 64 bit rlcl/r
commit
|
commitdiff
|
tree
2020-05-13
Michael Nolan
Update to latest wiki version
commit
|
commitdiff
|
tree
2020-05-13
Michael Nolan
Fix too wide bitfield being selected for opcode 30
commit
|
commitdiff
|
tree
2020-05-13
Michael Nolan
Fix weirdness with rldicl and friends in test_caller.py
commit
|
commitdiff
|
tree
2020-05-13
Michael Nolan
Add support for OP_EXTS
commit
|
commitdiff
|
tree
2020-05-13
Michael Nolan
Add missing input stage and pipe_data
commit
|
commitdiff
|
tree
2020-05-13
Michael Nolan
Fix bug with ROTL32 helper
commit
|
commitdiff
|
tree
2020-05-13
Michael Nolan
Somewhat working now?
commit
|
commitdiff
|
tree
2020-05-13
Michael Nolan
Integrate rotator.py into shift_rot unit
commit
|
commitdiff
|
tree
2020-05-13
Michael Nolan
Update cmp test in test_caller.py
commit
|
commitdiff
|
tree
2020-05-13
Michael Nolan
Add assertions to ALU and shift_rot test that the instructio...
commit
|
commitdiff
|
tree
next