projects
/
soc.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
fix issue with subscript uninitialised detection
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
2020-03-23
Michael Nolan
Fix broken test
commit
|
commitdiff
|
tree
2020-03-23
Michael Nolan
Add support for extended/indexed ld/st
commit
|
commitdiff
|
tree
2020-03-23
Michael Nolan
Add memory loads and stores to simulator
commit
|
commitdiff
|
tree
2020-03-23
Michael Nolan
Begin adding backend simulator
commit
|
commitdiff
|
tree
2020-03-23
Michael Nolan
Move gnu assembler interface to separate file
commit
|
commitdiff
|
tree
2020-03-20
Michael Nolan
Fix proof_decoder2
commit
|
commitdiff
|
tree
2020-03-20
Michael Nolan
Delete log messages in power_fields and power_fieldsn
commit
|
commitdiff
|
tree
2020-03-20
Michael Nolan
Minor cleanup
commit
|
commitdiff
|
tree
2020-03-20
Michael Nolan
Add test for branch to lr/ctr
commit
|
commitdiff
|
tree
2020-03-20
Michael Nolan
Add tests for branch instructions
commit
|
commitdiff
|
tree
2020-03-20
Michael Nolan
Add test for rotate/shift instructions
commit
|
commitdiff
|
tree
2020-03-20
Michael Nolan
Remove unneeded condition register decoder
commit
|
commitdiff
|
tree
2020-03-19
Michael Nolan
Add test for cmp with register
commit
|
commitdiff
|
tree
2020-03-19
Michael Nolan
Add tests for load/store with immediate offset
commit
|
commitdiff
|
tree
2020-03-19
Michael Nolan
Add ld and st instructions to the reg/reg test
commit
|
commitdiff
|
tree
2020-03-19
Michael Nolan
Add checks for the decoding of RC (the . in some instructions)
commit
|
commitdiff
|
tree
2020-03-19
Michael Nolan
Add tests for register+immediate ops
commit
|
commitdiff
|
tree
2020-03-19
Michael Nolan
Factor out instruction generation and testing from...
commit
|
commitdiff
|
tree
2020-03-19
Michael Nolan
Cleanup test_decoder_gas.py
commit
|
commitdiff
|
tree
2020-03-19
Michael Nolan
Add assertions for input registers
commit
|
commitdiff
|
tree
2020-03-18
Michael Nolan
Begin adding a test using GNU AS
commit
|
commitdiff
|
tree
2020-03-18
Michael Nolan
Add proof that all other opcodes decode to INVALID
commit
|
commitdiff
|
tree
2020-03-18
Michael Nolan
Fix bug where enum values weren't getting set to int
commit
|
commitdiff
|
tree
2020-03-18
Michael Nolan
Create SPR enum from sprs.csv
commit
|
commitdiff
|
tree
2020-03-18
Michael Nolan
Add more to decoder proof
commit
|
commitdiff
|
tree
2020-03-18
Michael Nolan
Begin adding proof for decoder stage 1
commit
|
commitdiff
|
tree
2020-03-11
Michael Nolan
Add assertions that instruction fields are correct
commit
|
commitdiff
|
tree
2020-03-11
Michael Nolan
Add test for remaining bits
commit
|
commitdiff
|
tree
2020-03-11
Michael Nolan
Add tests for DecodeOut and DecodeRC
commit
|
commitdiff
|
tree
2020-03-10
Michael Nolan
Add cases for DecodeB and DecodeC
commit
|
commitdiff
|
tree
2020-03-10
Michael Nolan
Refactor DecodeA test
commit
|
commitdiff
|
tree
2020-03-10
Michael Nolan
Add proof for power_decoder2.DecodeA
commit
|
commitdiff
|
tree
2020-03-09
Michael Nolan
Fix logical loop in DecodeA
commit
|
commitdiff
|
tree
2020-03-09
Michael Nolan
Begin adding proof for decoder2
commit
|
commitdiff
|
tree
2020-03-09
Michael Nolan
Migrate imports to use absolute imports
commit
|
commitdiff
|
tree
2020-03-09
Michael Nolan
Fix test
commit
|
commitdiff
|
tree
2020-03-04
Michael Nolan
Add suffix handling back in
commit
|
commitdiff
|
tree
2020-03-04
Michael Nolan
Generate ilang for whole decoder
commit
|
commitdiff
|
tree
2020-03-04
Michael Nolan
Add tests for minor_58 and minor_62
commit
|
commitdiff
|
tree
2020-03-04
Michael Nolan
Hierarchial decoder semi-working
commit
|
commitdiff
|
tree
2020-03-04
Michael Nolan
Add bit selectors for most of the tests
commit
|
commitdiff
|
tree
2020-03-04
Michael Nolan
Change decoder to take the bits to select of the opcode...
commit
|
commitdiff
|
tree
2020-03-02
Michael Nolan
Add recursive decoding
commit
|
commitdiff
|
tree
2020-03-02
Michael Nolan
Add support for hierarchical decoding
commit
|
commitdiff
|
tree
2020-02-29
Michael Nolan
Add tests for minor_30 and minor_31 decoding tables
commit
|
commitdiff
|
tree
2020-02-29
Michael Nolan
Add default case to decoder
commit
|
commitdiff
|
tree
2020-02-29
Michael Nolan
Add fields from the ones in IBM's Microwatt
commit
|
commitdiff
|
tree
2020-02-29
Michael Nolan
Add decoder/test for minor_19 field
commit
|
commitdiff
|
tree
2020-02-29
Michael Nolan
Add code to download csv files from wiki if they don...
commit
|
commitdiff
|
tree
2020-02-29
Michael Nolan
Move enums to a separate file
commit
|
commitdiff
|
tree
2020-02-29
Michael Nolan
Correct cry in field from a single bit to an enum
commit
|
commitdiff
|
tree
2020-02-29
Michael Nolan
Cleanup testbench, add messages to assertions
commit
|
commitdiff
|
tree
2020-02-29
Michael Nolan
Add in remaining fields from major decoder
commit
|
commitdiff
|
tree
2020-02-29
Michael Nolan
Add signals for single bit flags in major.csv
commit
|
commitdiff
|
tree
2020-02-29
Michael Nolan
Add input and output register selector fields
commit
|
commitdiff
|
tree
2020-02-29
Michael Nolan
Minor cleanup
commit
|
commitdiff
|
tree
2020-02-29
Michael Nolan
Move decoder.py to power_major_decoder.py
commit
|
commitdiff
|
tree
2020-02-29
Michael Nolan
Add internal op field to major decoder
commit
|
commitdiff
|
tree
2020-02-29
Michael Nolan
Begin adding power ISA decoder
commit
|
commitdiff
|
tree