projects / soc.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Fix proof_decoder2
2020-03-20 Michael NolanFix proof_decoder2
 commit | commitdiff | tree
2020-03-20 Michael NolanDelete log messages in power_fields and power_fieldsn
 commit | commitdiff | tree
2020-03-20 Michael NolanMinor cleanup
 commit | commitdiff | tree
2020-03-20 Michael NolanAdd test for branch to lr/ctr
 commit | commitdiff | tree
2020-03-20 Michael NolanAdd tests for branch instructions
 commit | commitdiff | tree
2020-03-20 Michael NolanAdd test for rotate/shift instructions
 commit | commitdiff | tree
2020-03-20 Michael NolanRemove unneeded condition register decoder
 commit | commitdiff | tree
2020-03-19 Michael NolanAdd test for cmp with register
 commit | commitdiff | tree
2020-03-19 Michael NolanAdd tests for load/store with immediate offset
 commit | commitdiff | tree
2020-03-19 Michael NolanAdd ld and st instructions to the reg/reg test
 commit | commitdiff | tree
2020-03-19 Michael NolanAdd checks for the decoding of RC (the . in some instructions)
 commit | commitdiff | tree
2020-03-19 Michael NolanAdd tests for register+immediate ops
 commit | commitdiff | tree
2020-03-19 Michael NolanFactor out instruction generation and testing from...
commit | commitdiff | tree
2020-03-19 Michael NolanCleanup test_decoder_gas.py
 commit | commitdiff | tree
2020-03-19 Michael NolanAdd assertions for input registers
 commit | commitdiff | tree
2020-03-18 Michael NolanBegin adding a test using GNU AS
 commit | commitdiff | tree
2020-03-18 Michael NolanAdd proof that all other opcodes decode to INVALID
 commit | commitdiff | tree
2020-03-18 Michael NolanFix bug where enum values weren't getting set to int
 commit | commitdiff | tree
2020-03-18 Michael NolanCreate SPR enum from sprs.csv
 commit | commitdiff | tree
2020-03-18 Michael NolanAdd more to decoder proof
 commit | commitdiff | tree
2020-03-18 Michael NolanBegin adding proof for decoder stage 1
 commit | commitdiff | tree
2020-03-11 Michael NolanAdd assertions that instruction fields are correct
 commit | commitdiff | tree
2020-03-11 Michael NolanAdd test for remaining bits
 commit | commitdiff | tree
2020-03-11 Michael NolanAdd tests for DecodeOut and DecodeRC
 commit | commitdiff | tree
2020-03-10 Michael NolanAdd cases for DecodeB and DecodeC
 commit | commitdiff | tree
2020-03-10 Michael NolanRefactor DecodeA test
 commit | commitdiff | tree
2020-03-10 Michael NolanAdd proof for power_decoder2.DecodeA
 commit | commitdiff | tree
2020-03-09 Michael NolanFix logical loop in DecodeA
 commit | commitdiff | tree
2020-03-09 Michael NolanBegin adding proof for decoder2
 commit | commitdiff | tree
2020-03-09 Michael NolanMigrate imports to use absolute imports
 commit | commitdiff | tree
2020-03-09 Michael NolanFix test
 commit | commitdiff | tree
2020-03-04 Michael NolanAdd suffix handling back in
 commit | commitdiff | tree
2020-03-04 Michael NolanGenerate ilang for whole decoder
 commit | commitdiff | tree
2020-03-04 Michael NolanAdd tests for minor_58 and minor_62
 commit | commitdiff | tree
2020-03-04 Michael NolanHierarchial decoder semi-working
 commit | commitdiff | tree
2020-03-04 Michael NolanAdd bit selectors for most of the tests
 commit | commitdiff | tree
2020-03-04 Michael NolanChange decoder to take the bits to select of the opcode...
commit | commitdiff | tree
2020-03-02 Michael NolanAdd recursive decoding
 commit | commitdiff | tree
2020-03-02 Michael NolanAdd support for hierarchical decoding
 commit | commitdiff | tree
2020-02-29 Michael NolanAdd tests for minor_30 and minor_31 decoding tables
 commit | commitdiff | tree
2020-02-29 Michael NolanAdd default case to decoder
 commit | commitdiff | tree
2020-02-29 Michael NolanAdd fields from the ones in IBM's Microwatt
 commit | commitdiff | tree
2020-02-29 Michael NolanAdd decoder/test for minor_19 field
 commit | commitdiff | tree
2020-02-29 Michael NolanAdd code to download csv files from wiki if they don...
commit | commitdiff | tree
2020-02-29 Michael NolanMove enums to a separate file
 commit | commitdiff | tree
2020-02-29 Michael NolanCorrect cry in field from a single bit to an enum
 commit | commitdiff | tree
2020-02-29 Michael NolanCleanup testbench, add messages to assertions
 commit | commitdiff | tree
2020-02-29 Michael NolanAdd in remaining fields from major decoder
 commit | commitdiff | tree
2020-02-29 Michael NolanAdd signals for single bit flags in major.csv
 commit | commitdiff | tree
2020-02-29 Michael NolanAdd input and output register selector fields
 commit | commitdiff | tree
2020-02-29 Michael NolanMinor cleanup
 commit | commitdiff | tree
2020-02-29 Michael NolanMove decoder.py to power_major_decoder.py
 commit | commitdiff | tree
2020-02-29 Michael NolanAdd internal op field to major decoder
 commit | commitdiff | tree
2020-02-29 Michael NolanBegin adding power ISA decoder
 commit | commitdiff | tree