2020-03-30 |
Michael Nolan | Fix tests broken by df295b5 |
tree | commitdiff |
2020-03-30 |
Michael Nolan | Minor cleanup |
tree | commitdiff |
2020-03-30 |
Luke Kenneth Casso... | bit of a mess, turn lexer and parser into classes |
tree | commitdiff |
2020-03-30 |
Luke Kenneth Casso... | add signals for all fields, accessible by named tuples... |
tree | commitdiff |
2020-03-30 |
Luke Kenneth Casso... | add binary number support |
tree | commitdiff |
2020-03-30 |
Luke Kenneth Casso... | use = rather than == for compare |
tree | commitdiff |
2020-03-30 |
Michael Nolan | WIP: Replace fields in power_decoder with signals of... |
tree | commitdiff |
2020-03-30 |
Luke Kenneth Casso... | add break (leave) statement |
tree | commitdiff |
2020-03-30 |
Luke Kenneth Casso... | sigh add in do while syntax |
tree | commitdiff |
2020-03-30 |
Luke Kenneth Casso... | add support for for-loops |
tree | commitdiff |
2020-03-30 |
Luke Kenneth Casso... | add token-preprocessing step to make code look more... |
tree | commitdiff |
2020-03-30 |
Luke Kenneth Casso... | get if/else comparisons working with python3 |
tree | commitdiff |
2020-03-30 |
Luke Kenneth Casso... | add concatenation of signals (by way of global function... |
tree | commitdiff |
2020-03-29 |
Luke Kenneth Casso... | annoying. convert to python3 |
tree | commitdiff |
2020-03-29 |
Michael Nolan | Update proof_decoder2 to handle signed immediates |
tree | commitdiff |
2020-03-29 |
Michael Nolan | Fix issue 271, remove unneeded fields in power_fieldsn.py |
tree | commitdiff |
2020-03-29 |
Luke Kenneth Casso... | add listmaker |
tree | commitdiff |
2020-03-29 |
Luke Kenneth Casso... | start to convert to POWER decoder, add slice/subscript |
tree | commitdiff |
2020-03-29 |
Luke Kenneth Casso... | add while statement to GardenSnake. cute! |
tree | commitdiff |
2020-03-29 |
Luke Kenneth Casso... | add support for ELSE statement, enable debug etc. |
tree | commitdiff |
2020-03-29 |
Luke Kenneth Casso... | add first python-ply recovered working version of Garde... |
tree | commitdiff |
2020-03-26 |
Luke Kenneth Casso... | add TODO for cry_in==CA |
tree | commitdiff |
2020-03-26 |
Luke Kenneth Casso... | add TODO for cry_in==CA |
tree | commitdiff |
2020-03-26 |
Luke Kenneth Casso... | fix 1-overflow |
tree | commitdiff |
2020-03-26 |
Luke Kenneth Casso... | brackets to be safe |
tree | commitdiff |
2020-03-26 |
Michael Nolan | Add tests for subfic and neg |
tree | commitdiff |
2020-03-26 |
Michael Nolan | Sub instruction working |
tree | commitdiff |
2020-03-26 |
Luke Kenneth Casso... | add newline to stop gnu-as whining |
tree | commitdiff |
2020-03-26 |
Luke Kenneth Casso... | seeing spurious failures on gdb connection |
tree | commitdiff |
2020-03-26 |
Luke Kenneth Casso... | wait for communication with closing program and close... |
tree | commitdiff |
2020-03-25 |
Michael Nolan | Directly compare simulator with qemu |
tree | commitdiff |
2020-03-25 |
Michael Nolan | Assemble whole program instead of instruction by instru... |
tree | commitdiff |
2020-03-25 |
Michael Nolan | Add rudimentary python qemu interface |
tree | commitdiff |
2020-03-25 |
Michael Nolan | Add instructions for how to launch qemu |
tree | commitdiff |
2020-03-25 |
Michael Nolan | Add qemu test directory |
tree | commitdiff |
2020-03-24 |
Luke Kenneth Casso... | change name of test function in addr_split |
tree | commitdiff |
2020-03-24 |
Luke Kenneth Casso... | whitespace |
tree | commitdiff |
2020-03-24 |
Luke Kenneth Casso... | whitespace cleanup |
tree | commitdiff |
2020-03-24 |
Luke Kenneth Casso... | add cross-references to bugreports and wiki |
tree | commitdiff |
2020-03-24 |
Luke Kenneth Casso... | add routing of store data through splitters |
tree | commitdiff |
2020-03-24 |
Luke Kenneth Casso... | move ashift out to common area |
tree | commitdiff |
2020-03-23 |
Michael Nolan | Implement load and store of bytes, halfwords, and words |
tree | commitdiff |
2020-03-23 |
Michael Nolan | Properly sign extend immediates |
tree | commitdiff |
2020-03-23 |
Michael Nolan | Fix broken test |
tree | commitdiff |
2020-03-23 |
Michael Nolan | Add support for extended/indexed ld/st |
tree | commitdiff |
2020-03-23 |
Luke Kenneth Casso... | hmm start adding st in (half done) |
tree | commitdiff |
2020-03-23 |
Michael Nolan | Add memory loads and stores to simulator |
tree | commitdiff |
2020-03-23 |
Michael Nolan | Begin adding backend simulator |
tree | commitdiff |
2020-03-23 |
Michael Nolan | Move gnu assembler interface to separate file |
tree | commitdiff |
2020-03-23 |
Luke Kenneth Casso... | split sim classes out into separate module |
tree | commitdiff |
2020-03-23 |
Luke Kenneth Casso... | add twin partial address mapper class |
tree | commitdiff |
2020-03-23 |
Luke Kenneth Casso... | sort out unit test for address split |
tree | commitdiff |
2020-03-22 |
Luke Kenneth Casso... | get AddrSplitter working for data len=8 |
tree | commitdiff |
2020-03-22 |
Luke Kenneth Casso... | working on simulation to test Address Splitter |
tree | commitdiff |
2020-03-22 |
Luke Kenneth Casso... | link up output from ld1/ld2 and merge into request |
tree | commitdiff |
2020-03-22 |
Luke Kenneth Casso... | start putting LDSTSplitter together |
tree | commitdiff |
2020-03-21 |
Luke Kenneth Casso... | set bigendian=1 in formal proofs of decoder (TODO:... |
tree | commitdiff |
2020-03-21 |
Luke Kenneth Casso... | whoops cut/paste error |
tree | commitdiff |
2020-03-21 |
Luke Kenneth Casso... | start on address splitter, idea is to use Queues |
tree | commitdiff |
2020-03-21 |
Luke Kenneth Casso... | mention instruction fetch mapping section |
tree | commitdiff |
2020-03-21 |
Luke Kenneth Casso... | shorten variables, add comments |
tree | commitdiff |
2020-03-21 |
Luke Kenneth Casso... | add option to switch endianness on gnu as |
tree | commitdiff |
2020-03-21 |
Luke Kenneth Casso... | add big/little byte-reversing |
tree | commitdiff |
2020-03-20 |
Michael Nolan | Fix proof_decoder2 |
tree | commitdiff |
2020-03-20 |
Michael Nolan | Delete log messages in power_fields and power_fieldsn |
tree | commitdiff |
2020-03-20 |
Michael Nolan | Minor cleanup |
tree | commitdiff |
2020-03-20 |
Michael Nolan | Add test for branch to lr/ctr |
tree | commitdiff |
2020-03-20 |
Michael Nolan | Add tests for branch instructions |
tree | commitdiff |
2020-03-20 |
Michael Nolan | Add test for rotate/shift instructions |
tree | commitdiff |
2020-03-20 |
Michael Nolan | Remove unneeded condition register decoder |
tree | commitdiff |
2020-03-19 |
Michael Nolan | Add test for cmp with register |
tree | commitdiff |
2020-03-19 |
Michael Nolan | Add tests for load/store with immediate offset |
tree | commitdiff |
2020-03-19 |
Michael Nolan | Add ld and st instructions to the reg/reg test |
tree | commitdiff |
2020-03-19 |
Michael Nolan | Add checks for the decoding of RC (the . in some instru... |
tree | commitdiff |
2020-03-19 |
Michael Nolan | Add tests for register+immediate ops |
tree | commitdiff |
2020-03-19 |
Michael Nolan | Factor out instruction generation and testing from... |
tree | commitdiff |
2020-03-19 |
Michael Nolan | Cleanup test_decoder_gas.py |
tree | commitdiff |
2020-03-19 |
Michael Nolan | Add assertions for input registers |
tree | commitdiff |
2020-03-19 |
Luke Kenneth Casso... | fix silly errors in power_fieldsn.py |
tree | commitdiff |
2020-03-19 |
Luke Kenneth Casso... | invert bits of field in decoder (not instruction bits) |
tree | commitdiff |
2020-03-18 |
Michael Nolan | Begin adding a test using GNU AS |
tree | commitdiff |
2020-03-18 |
Michael Nolan | Add proof that all other opcodes decode to INVALID |
tree | commitdiff |
2020-03-18 |
Michael Nolan | Fix bug where enum values weren't getting set to int |
tree | commitdiff |
2020-03-18 |
Luke Kenneth Casso... | use function which reverses bit-order |
tree | commitdiff |
2020-03-18 |
Luke Kenneth Casso... | comment reverse-order of bit-fields |
tree | commitdiff |
2020-03-18 |
Luke Kenneth Casso... | done, bugs.libre-riscv.org/show_bug.cgi?id=261 |
tree | commitdiff |
2020-03-18 |
Michael Nolan | Create SPR enum from sprs.csv |
tree | commitdiff |
2020-03-18 |
Michael Nolan | Add more to decoder proof |
tree | commitdiff |
2020-03-18 |
Michael Nolan | Begin adding proof for decoder stage 1 |
tree | commitdiff |
2020-03-18 |
Luke Kenneth Casso... | add comment about SPRs CSV |
tree | commitdiff |
2020-03-18 |
Luke Kenneth Casso... | add comments |
tree | commitdiff |
2020-03-18 |
Luke Kenneth Casso... | import absolute paths |
tree | commitdiff |
2020-03-16 |
Luke Kenneth Casso... | clarify is_match manually |
tree | commitdiff |
2020-03-16 |
Luke Kenneth Casso... | add exploratory unit test for partial address matching |
tree | commitdiff |
2020-03-16 |
Luke Kenneth Casso... | comment out addr_we_i, seems not to be used |
tree | commitdiff |
2020-03-16 |
Luke Kenneth Casso... | connect up expander output, set up is_match to check... |
tree | commitdiff |
2020-03-16 |
Luke Kenneth Casso... | connect LenExpanders into PartialAddrBitmap |
tree | commitdiff |
2020-03-15 |
Luke Kenneth Casso... | crossreference to bugreport |
tree | commitdiff |
2020-03-15 |
Luke Kenneth Casso... | add description of how PartialAddrBitmap works |
tree | commitdiff |
2020-03-15 |
Luke Kenneth Casso... | add beginnings of link to lenexpanders |
tree | commitdiff |
next |