| 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 |
| 2020-05-08 |
Michael Nolan | Begin adding main ALU stage
|
commit | commitdiff | tree |
| 2020-05-08 |
Michael Nolan | Convert alu to use the op in ctx
|
commit | commitdiff | tree |
| 2020-05-08 |
Michael Nolan | Add FPPipeContext to alu pipe_data
|
commit | commitdiff | tree |
| 2020-05-08 |
Michael Nolan | Add handling of A inversion and B input
|
commit | commitdiff | tree |
| 2020-05-08 |
Michael Nolan | Begin adding input stage of alu
|
commit | commitdiff | tree |
| 2020-05-08 |
Michael Nolan | Add pipe data for ALU pipeline
|
commit | commitdiff | tree |
| 2020-05-08 |
Michael Nolan | Update gitignore in isa dir
|
commit | commitdiff | tree |
| 2020-05-08 |
Michael Nolan | Separate out ALU Input record from alu_hier.py
|
commit | commitdiff | tree |
| 2020-05-07 |
Michael Nolan | Add test_branch_loop_ctr
|
commit | commitdiff | tree |
| 2020-05-07 |
Michael Nolan | Add tests for conditional branches
|
commit | commitdiff | tree |
| 2020-05-07 |
Michael Nolan | Ooops, forgot comparefixed.patch
|
commit | commitdiff | tree |
| 2020-05-07 |
Michael Nolan | Get test_cmp working
|
commit | commitdiff | tree |
| 2020-05-07 |
Michael Nolan | Fix test_mtcrf. Test has been verified against qemu
|
commit | commitdiff | tree |
| 2020-05-07 |
Michael Nolan | Make FieldSelectableInt accept slices for set and get
|
commit | commitdiff | tree |
| 2020-05-07 |
Michael Nolan | Add handling of add with comparison
|
commit | commitdiff | tree |
| 2020-05-07 |
Michael Nolan | Fix bug with comparisons in selectable_int.py
|
commit | commitdiff | tree |
| 2020-05-07 |
Michael Nolan | Add test_mfcr
|
commit | commitdiff | tree |
| 2020-05-06 |
Michael Nolan | Re-enable test_mtcrf
|
commit | commitdiff | tree |
| 2020-05-06 |
Michael Nolan | Add length helper for getting length of a selectable int
|
commit | commitdiff | tree |
| 2020-05-06 |
Michael Nolan | Add helper functions to replace direct comparison in...
|
commit | commitdiff | tree |
| 2020-05-06 |
Michael Nolan | Look up spr length from spr table
|
commit | commitdiff | tree |
| 2020-05-06 |
Michael Nolan | Add dict of spr properties to power_enums
|
commit | commitdiff | tree |
| 2020-05-06 |
Michael Nolan | Implement bctr and mtspr
|
commit | commitdiff | tree |
| 2020-05-06 |
Michael Nolan | Properly implement LR and CTR
|
commit | commitdiff | tree |
| 2020-05-06 |
Michael Nolan | Add ability to patch generated isa files
|
commit | commitdiff | tree |
| 2020-05-06 |
Michael Nolan | Sorta kinda working bl and blr - need to properly implement lr
|
commit | commitdiff | tree |
| 2020-05-05 |
Michael Nolan | Add rudimentary branch capability
|
commit | commitdiff | tree |
| 2020-05-05 |
Michael Nolan | Fix broken test_decoder_gas
|
commit | commitdiff | tree |
| 2020-05-02 |
Michael Nolan | Read decoder tables from wiki submodule instead of web
|
commit | commitdiff | tree |
| 2020-04-10 |
Michael Nolan | Update libreriscv to fix test_mtcrf
|
commit | commitdiff | tree |
| 2020-04-06 |
Michael Nolan | Convert instruction info from tuple to namedtuple
|
commit | commitdiff | tree |
| 2020-04-06 |
Michael Nolan | Add test for addpcis
|
commit | commitdiff | tree |
| 2020-04-06 |
Michael Nolan | Begin adding PC to caller.py
|
commit | commitdiff | tree |
| 2020-04-06 |
Michael Nolan | Fix broken tests from parser update
|
commit | commitdiff | tree |
| 2020-04-06 |
Michael Nolan | Auto insert instruction fields into the namespace
|
commit | commitdiff | tree |
| 2020-04-05 |
Michael Nolan | Autogenerate all.py
|
commit | commitdiff | tree |
| 2020-04-05 |
Michael Nolan | Handle new changes in pseudocode parser
|
commit | commitdiff | tree |
| 2020-04-05 |
Michael Nolan | Handle opcodes returning EXTS() results
|
commit | commitdiff | tree |
| 2020-04-05 |
Michael Nolan | Fix bug 281
|
commit | commitdiff | tree |
| 2020-04-05 |
Michael Nolan | Add in _reg and immediate support
|
commit | commitdiff | tree |
| 2020-04-05 |
Michael Nolan | Fix issue with memory load/store byte order
|
commit | commitdiff | tree |
| 2020-04-05 |
Michael Nolan | Fix not being able to use all instructions in ISA class
|
commit | commitdiff | tree |
| 2020-04-05 |
Michael Nolan | Implement bug 278, comment 1 - better version of EXTS
|
commit | commitdiff | tree |
| 2020-04-05 |
Michael Nolan | Move combination class out of __init__
|
commit | commitdiff | tree |
| 2020-04-05 |
Michael Nolan | Fix addi instruction, think a commit got lost
|
commit | commitdiff | tree |
| 2020-04-05 |
Michael Nolan | Add class for combining multiple instruction classes
|
commit | commitdiff | tree |
| 2020-04-04 |
Michael Nolan | Working test_add
|
commit | commitdiff | tree |
| 2020-04-04 |
Michael Nolan | change @inject to take no parameters
|
commit | commitdiff | tree |
| 2020-04-04 |
Michael Nolan | Sorta working add instruction
|
commit | commitdiff | tree |
| 2020-04-04 |
Michael Nolan | Minor changes to test for caller.py, still not working...
|
commit | commitdiff | tree |
| 2020-04-04 |
Michael Nolan | Add a basic test class for caller.py
|
commit | commitdiff | tree |
| 2020-04-01 |
Michael Nolan | Add many more operators to selectable_int
|
commit | commitdiff | tree |
| 2020-04-01 |
Michael Nolan | selectable_int now in power ordering, add setitem
|
commit | commitdiff | tree |
| 2020-04-01 |
Michael Nolan | Add rudimentary int class with bit index
|
commit | commitdiff | tree |
| 2020-04-01 |
Michael Nolan | Fix bug in test_decoder_gas
|
commit | commitdiff | tree |
| 2020-03-31 |
Michael Nolan | Minor cleanup
|
commit | commitdiff | tree |
| 2020-03-31 |
Michael Nolan | Add more comments to helpers.py
|
commit | commitdiff | tree |
| 2020-03-30 |
Michael Nolan | Add tests for EXTS64, fix EXTS64
|
commit | commitdiff | tree |
| 2020-03-30 |
Michael Nolan | Add ROTL32 and ROTL64
|
commit | commitdiff | tree |
| 2020-03-30 |
Michael Nolan | Begin adding helper functions for PPC pseudocode compiler
|
commit | commitdiff | tree |
| 2020-03-30 |
Michael Nolan | Fix bug in GAS test where it would load and update...
|
commit | commitdiff | tree |
| 2020-03-30 |
Michael Nolan | Fix tests broken by df295b5
|
commit | commitdiff | tree |
| 2020-03-30 |
Michael Nolan | Minor cleanup
|
commit | commitdiff | tree |
| 2020-03-30 |
Michael Nolan | WIP: Replace fields in power_decoder with signals of...
|
commit | commitdiff | tree |
| 2020-03-29 |
Michael Nolan | Update proof_decoder2 to handle signed immediates
|
commit | commitdiff | tree |
| 2020-03-29 |
Michael Nolan | Fix issue 271, remove unneeded fields in power_fieldsn.py
|
commit | commitdiff | tree |
| 2020-03-26 |
Michael Nolan | Add tests for subfic and neg
|
commit | commitdiff | tree |
| 2020-03-26 |
Michael Nolan | Sub instruction working
|
commit | commitdiff | tree |
| 2020-03-25 |
Michael Nolan | Directly compare simulator with qemu
|
commit | commitdiff | tree |
| 2020-03-25 |
Michael Nolan | Assemble whole program instead of instruction by instruction
|
commit | commitdiff | tree |
| 2020-03-25 |
Michael Nolan | Add rudimentary python qemu interface
|
commit | commitdiff | tree |
| 2020-03-25 |
Michael Nolan | Add instructions for how to launch qemu
|
commit | commitdiff | tree |
| 2020-03-25 |
Michael Nolan | Add qemu test directory
|
commit | commitdiff | tree |
| 2020-03-23 |
Michael Nolan | Implement load and store of bytes, halfwords, and words
|
commit | commitdiff | tree |
| 2020-03-23 |
Michael Nolan | Properly sign extend immediates
|
commit | commitdiff | tree |
| next |
projects / soc.git / search