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 |
2020-05-13 |
Michael Nolan | Add SHIFT_ROT FU
|
commit | commitdiff | tree |
2020-05-13 |
Michael Nolan | Modify alu test to put reg1 *OR* reg3 into alu input A
|
commit | commitdiff | tree |
2020-05-13 |
Michael Nolan | Update TODO
|
commit | commitdiff | tree |
2020-05-12 |
Michael Nolan | Add new shift_rot FU for shifts and rotates
|
commit | commitdiff | tree |
2020-05-12 |
Michael Nolan | Remove rotates and shifts from alu
|
commit | commitdiff | tree |
2020-05-11 |
Michael Nolan | Massively spead up test_pipe_caller.py
|
commit | commitdiff | tree |
2020-05-11 |
Michael Nolan | Revert "Greatly speed up test_pipe_caller.py"
|
commit | commitdiff | tree |
2020-05-11 |
Michael Nolan | Greatly speed up test_pipe_caller.py
|
commit | commitdiff | tree |
2020-05-11 |
Michael Nolan | Reverse bit order for cr0 in proof
|
commit | commitdiff | tree |
2020-05-11 |
Michael Nolan | Check output of cr0 from alu
|
commit | commitdiff | tree |
2020-05-11 |
Michael Nolan | Add carry in input to alu testbench
|
commit | commitdiff | tree |
2020-05-11 |
Michael Nolan | Add ability to specify initial state for SPRs
|
commit | commitdiff | tree |
2020-05-11 |
Michael Nolan | Fix proof_input_stage.py
|
commit | commitdiff | tree |
2020-05-11 |
Michael Nolan | Fix rlwimi by reordering the inputs *again*
|
commit | commitdiff | tree |
2020-05-11 |
Michael Nolan | Re-enable rlwinm test
|
commit | commitdiff | tree |
2020-05-11 |
Michael Nolan | Check write register number too
|
commit | commitdiff | tree |
2020-05-11 |
Michael Nolan | Reorder the register reads so the field in read_reg2...
|
commit | commitdiff | tree |
2020-05-11 |
Michael Nolan | Have test_pipe_caller actually read from the registers...
|
commit | commitdiff | tree |
2020-05-11 |
Michael Nolan | Actually implement rlwimi
|
commit | commitdiff | tree |
2020-05-10 |
Michael Nolan | Add test for rlwnm
|
commit | commitdiff | tree |
2020-05-10 |
Michael Nolan | Implement rlwimi as well
|
commit | commitdiff | tree |
2020-05-10 |
Michael Nolan | Implement rlwinm in alu
|
commit | commitdiff | tree |
2020-05-10 |
Michael Nolan | Add test for rlwinm
|
commit | commitdiff | tree |
2020-05-10 |
Michael Nolan | Reduce BMC depth on proof_main_stage.py
|
commit | commitdiff | tree |
2020-05-09 |
Michael Nolan | Add shift left and shift right to main stage proof
|
commit | commitdiff | tree |
2020-05-09 |
Michael Nolan | Handle algebraic shifts too
|
commit | commitdiff | tree |
2020-05-09 |
Michael Nolan | Implement logical shift right
|
commit | commitdiff | tree |
2020-05-09 |
Michael Nolan | Add support for sld
|
commit | commitdiff | tree |
2020-05-09 |
Michael Nolan | Change shift left to be implemented with rotate and...
|
commit | commitdiff | tree |
2020-05-09 |
Michael Nolan | Add mask generator for shift class instructions
|
commit | commitdiff | tree |
2020-05-09 |
Michael Nolan | Add shift left opcode to main_stage
|
commit | commitdiff | tree |
2020-05-09 |
Michael Nolan | Fix broken mask when x == y
|
commit | commitdiff | tree |
2020-05-09 |
Michael Nolan | Add right shift test to test_caller.py
|
commit | commitdiff | tree |
2020-05-09 |
Michael Nolan | Add shift test to test_caller, fix fixedshift being...
|
commit | commitdiff | tree |
2020-05-09 |
Michael Nolan | Fix helpers.py not playing nicely with selectableInts
|
commit | commitdiff | tree |
2020-05-09 |
Michael Nolan | Add reversed add and subtract, as well as lshift and...
|
commit | commitdiff | tree |
2020-05-09 |
Michael Nolan | Minor cleanup
|
commit | commitdiff | tree |
2020-05-08 |
Michael Nolan | Oops, forgot pipeline.py
|
commit | commitdiff | tree |
2020-05-08 |
Michael Nolan | Add tests for immediates, add subf to tests
|
commit | commitdiff | tree |
2020-05-08 |
Michael Nolan | Add comments about the purpose of each alu stage
|
commit | commitdiff | tree |
2020-05-08 |
Michael Nolan | Add test for alu against simulator
|
commit | commitdiff | tree |
2020-05-08 |
Michael Nolan | Add assertions for output stage cr0
|
commit | commitdiff | tree |
2020-05-08 |
Michael Nolan | Add output stage
|
commit | commitdiff | tree |
2020-05-08 |
Michael Nolan | Add and or and xor to main_stage
|
commit | commitdiff | tree |
2020-05-08 |
Michael Nolan | Add carry in and out
|
commit | commitdiff | tree |
2020-05-08 |
Michael Nolan | Have input_stage set the b operand to imm_data if it...
|
commit | commitdiff | tree |
2020-05-08 |
Michael Nolan | Add extra bits (carry, overflow, etc) to input and...
|
commit | commitdiff | tree |
next |