projects / soc.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Fix broken test_adde/add overflow handling to caller.py
2020-05-21 Michael NolanFix broken test_adde/add overflow handling to caller.py
 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 Michael Nolan*technically* don't use a full crossbar
 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 Michael NolanBegin adding CR proof
 commit | commitdiff | tree
2020-05-20 Michael NolanFix small bug in op_crop
 commit | commitdiff | tree
2020-05-20 Michael NolanUse overflow definition from microwatt
 commit | commitdiff | tree
2020-05-20 Michael NolanAdd overflow handling and proof
 commit | commitdiff | tree
2020-05-20 Michael NolanFix bug introduced in rebase
 commit | commitdiff | tree
2020-05-20 Michael NolanAdd proof for OP_CNTZ
 commit | commitdiff | tree
2020-05-20 Michael NolanAdd test for edge cases that were previously buggy
 commit | commitdiff | tree
2020-05-20 Michael NolanDelete assume left over from testing
 commit | commitdiff | tree
2020-05-20 Michael NolanAdd proof for OP_PRTY
 commit | commitdiff | tree
2020-05-20 Michael NolanFormally verify OP_POPCNT
 commit | commitdiff | tree
2020-05-20 Michael NolanFix bug with popcntd
 commit | commitdiff | tree
2020-05-20 Michael NolanAdd proof for OP_CMP and OP_CMPEQB
 commit | commitdiff | tree
2020-05-20 Michael NolanAdd proof for OP_EXTS
 commit | commitdiff | tree
2020-05-20 Michael NolanAdd 32 bit carry handling to alu
 commit | commitdiff | tree
2020-05-20 Michael NolanFix broken test_caller.py
 commit | commitdiff | tree
2020-05-19 Michael NolanAdd should_trap signal to trap output data
 commit | commitdiff | tree
2020-05-19 Michael NolanAdd trap main stage
 commit | commitdiff | tree
2020-05-19 Michael NolanUpdate to latest wiki version - fixing OP_TRAP
 commit | commitdiff | tree
2020-05-19 Michael NolanChange OP_TWI/TDI/TW/TD to OP_TRAP
 commit | commitdiff | tree
2020-05-19 Michael NolanBegin adding trap FU
 commit | commitdiff | tree
2020-05-19 Michael NolanImplement 32 bit cntlz and cnttz
 commit | commitdiff | tree
2020-05-19 Michael NolanActually implement cntlzd
 commit | commitdiff | tree
2020-05-19 Michael NolanFix weird edge cases with carry
 commit | commitdiff | tree
2020-05-19 Michael NolanAdd ca32 to caller.py
 commit | commitdiff | tree
2020-05-19 Michael NolanHandle carry out in alu
 commit | commitdiff | tree
2020-05-19 Michael NolanHandle carry in caller.py
 commit | commitdiff | tree
2020-05-18 Michael NolanFix error with selecting a selectableint using a selectableint
 commit | commitdiff | tree
2020-05-18 Michael NolanUpdate to latest wiki version
 commit | commitdiff | tree
2020-05-17 Michael NolanAdd incomplete proof_bperm.py with comments on how...
commit | commitdiff | tree
2020-05-17 Michael NolanMove perm inside Bpermd as it's not an input or output
 commit | commitdiff | tree
2020-05-16 Michael NolanAdd ilang output to test_maskgen.py
 commit | commitdiff | tree
2020-05-16 Michael NolanImplement mfcr and mfocrf
 commit | commitdiff | tree
2020-05-16 Michael NolanImplement mtocrf (which isn't different from mtcrf?)
 commit | commitdiff | tree
2020-05-16 Michael NolanRemove noisy print statements in selectable_int.py
 commit | commitdiff | tree
2020-05-16 Michael NolanAdd sprset.patch
 commit | commitdiff | tree
2020-05-16 Michael NolanAdd condition.patch
 commit | commitdiff | tree
2020-05-16 Michael NolanMinor cleanup
 commit | commitdiff | tree
2020-05-16 Michael NolanImplement mtcrf
 commit | commitdiff | tree
2020-05-16 Michael NolanAdd comments on what CROP (crand, cror) do and how...
commit | commitdiff | tree
2020-05-16 Michael NolanAdd ports to ilang for test_caller.py
 commit | commitdiff | tree
2020-05-16 Michael NolanFix bug in branch's pipe_data
 commit | commitdiff | tree
2020-05-16 Michael NolanConsolidate every pipe_data to use alu's integer data
 commit | commitdiff | tree
2020-05-16 Michael NolanOP_CROP fully working
 commit | commitdiff | tree
2020-05-16 Michael NolanUpdate to latest wiki version - fix bug with crxor
 commit | commitdiff | tree
2020-05-16 Michael NolanImplement mcrf in CR FU
 commit | commitdiff | tree
2020-05-16 Michael NolanGet working mcrf in caller.py
 commit | commitdiff | tree
2020-05-16 Michael NolanUpdate to latest wiki version - move crand to own opcode
 commit | commitdiff | tree
2020-05-15 Michael NolanMake opcode for crand and friends
 commit | commitdiff | tree
2020-05-15 Michael NolanBegin adding CR pipeline
 commit | commitdiff | tree
2020-05-15 Michael NolanUpdate to latest wiki version - Add CR FU
 commit | commitdiff | tree
2020-05-15 Michael NolanAdd CR function unit
 commit | commitdiff | tree
2020-05-15 Michael NolanUpdate wiki to latest version.
 commit | commitdiff | tree
2020-05-15 Michael NolanFix bug introduced when I made it possible to set the...
commit | commitdiff | tree
2020-05-15 Michael NolanImplement op_bcreg
 commit | commitdiff | tree
2020-05-15 Michael NolanRemove TAR input, create fixed input for CTR and input...
commit | commitdiff | tree
2020-05-15 Michael Nolanre-enable assert for correct function unit
 commit | commitdiff | tree
2020-05-15 Michael NolanUpdate to latest wiki version - add branch FU to branch...
commit | commitdiff | tree
2020-05-15 Michael NolanFix a couple of bugs with conditional branch with counter
 commit | commitdiff | tree
2020-05-15 Michael NolanImplement ctr decrementing
 commit | commitdiff | tree
2020-05-15 Michael NolanOops, looks like I forgot to push the wiki update
 commit | commitdiff | tree
2020-05-15 Michael NolanBegin implementing conditional branch
 commit | commitdiff | tree
2020-05-15 Michael NolanAdd ability to specify initial CR state
 commit | commitdiff | tree
2020-05-15 Michael NolanImplement signed branch immediates
 commit | commitdiff | tree
2020-05-15 Michael NolanChange nia input to cia, implement linking
 commit | commitdiff | tree
2020-05-15 Michael NolanSimplify main_stage.py
 commit | commitdiff | tree
2020-05-15 Michael NolanFix broken test_ba
 commit | commitdiff | tree
2020-05-15 Michael NolanImplement relative branches, add explicit NIA input...
commit | commitdiff | tree
2020-05-15 Michael Nolanadd branch to absolute address
 commit | commitdiff | tree
2020-05-15 Michael NolanAdd rudimentary branch unit test bench
 commit | commitdiff | tree
2020-05-15 Michael NolanUpdate to latest wiki - add branch unit for branch...
commit | commitdiff | tree
2020-05-15 Michael NolanImplement OP_CMPEQB
 commit | commitdiff | tree
2020-05-15 Michael NolanUpdate to latest wiki version - add definition for...
commit | commitdiff | tree
2020-05-15 Michael NolanOoops, actually assert during cmpeqb
 commit | commitdiff | tree
2020-05-15 Michael NolanAdd test for cmpeqb
 commit | commitdiff | tree
2020-05-15 Michael NolanAdd test for cntlz to test_caller
 commit | commitdiff | tree
2020-05-15 Michael NolanAdd gitignore to shift_rot and logical formal folders
 commit | commitdiff | tree
2020-05-15 Michael NolanRe-enable popcnt in test_pipe_caller.py
 commit | commitdiff | tree
2020-05-15 Michael NolanAdd test for popcnt to test_caller.py
 commit | commitdiff | tree
2020-05-15 Michael NolanFix prty implementation
 commit | commitdiff | tree
2020-05-15 Michael NolanAdd test for prtyw pseudocode
 commit | commitdiff | tree
2020-05-15 Michael NolanUpdate to latest wiki version, fix bug in prty pseudocode
 commit | commitdiff | tree
2020-05-14 Michael NolanAdd patch for cmpb
 commit | commitdiff | tree
2020-05-14 Michael NolanImplement OP_CMP
 commit | commitdiff | tree
2020-05-14 Michael NolanAdd OP_CMPB
 commit | commitdiff | tree
2020-05-14 Michael NolanUpdate to latest wiki version
 commit | commitdiff | tree
2020-05-14 Michael NolanFix bug in shift_rot, update proof to handle new interface
 commit | commitdiff | tree
2020-05-13 Michael NolanAdd test for random rlcd(l/r) instructions
 commit | commitdiff | tree
2020-05-13 Michael NolanFix bug in rotator preventing use of 64 bit rlcl/r
 commit | commitdiff | tree
2020-05-13 Michael NolanUpdate to latest wiki version
 commit | commitdiff | tree
2020-05-13 Michael NolanFix too wide bitfield being selected for opcode 30
 commit | commitdiff | tree
2020-05-13 Michael NolanFix weirdness with rldicl and friends in test_caller.py
 commit | commitdiff | tree
2020-05-13 Michael NolanAdd support for OP_EXTS
 commit | commitdiff | tree
next