2020-03-30 |
Luke Kenneth... | add concatenation of signals (by way of global function... |
commit | commitdiff | tree |
2020-03-29 |
Luke Kenneth... | annoying. convert to python3 |
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-29 |
Luke Kenneth... | add listmaker |
commit | commitdiff | tree |
2020-03-29 |
Luke Kenneth... | start to convert to POWER decoder, add slice/subscript |
commit | commitdiff | tree |
2020-03-29 |
Luke Kenneth... | add while statement to GardenSnake. cute! |
commit | commitdiff | tree |
2020-03-29 |
Luke Kenneth... | add support for ELSE statement, enable debug etc. |
commit | commitdiff | tree |
2020-03-29 |
Luke Kenneth... | add ply to dependencies |
commit | commitdiff | tree |
2020-03-29 |
Luke Kenneth... | add first python-ply recovered working version of Garde... |
commit | commitdiff | tree |
2020-03-26 |
Luke Kenneth... | add TODO for cry_in==CA |
commit | commitdiff | tree |
2020-03-26 |
Luke Kenneth... | add TODO for cry_in==CA |
commit | commitdiff | tree |
2020-03-26 |
Luke Kenneth... | fix 1-overflow |
commit | commitdiff | tree |
2020-03-26 |
Luke Kenneth... | brackets to be safe |
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-26 |
Luke Kenneth... | add newline to stop gnu-as whining |
commit | commitdiff | tree |
2020-03-26 |
Luke Kenneth... | seeing spurious failures on gdb connection |
commit | commitdiff | tree |
2020-03-26 |
Luke Kenneth... | missed cd build |
commit | commitdiff | tree |
2020-03-26 |
Luke Kenneth... | add README describing build process for simulator ... |
commit | commitdiff | tree |
2020-03-26 |
Luke Kenneth... | add pygdbmi to dependencies |
commit | commitdiff | tree |
2020-03-26 |
Luke Kenneth... | wait for communication with closing program and close... |
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 instru... |
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-24 |
Luke Kenneth... | change name of test function in addr_split |
commit | commitdiff | tree |
2020-03-24 |
Luke Kenneth... | whitespace |
commit | commitdiff | tree |
2020-03-24 |
Luke Kenneth... | whitespace cleanup |
commit | commitdiff | tree |
2020-03-24 |
Luke Kenneth... | add cross-references to bugreports and wiki |
commit | commitdiff | tree |
2020-03-24 |
Luke Kenneth... | add routing of store data through splitters |
commit | commitdiff | tree |
2020-03-24 |
Luke Kenneth... | move ashift out to common area |
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 |
Luke Kenneth... | hmm start adding st in (half done) |
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-23 |
Luke Kenneth... | split sim classes out into separate module |
commit | commitdiff | tree |
2020-03-23 |
Luke Kenneth... | add twin partial address mapper class |
commit | commitdiff | tree |
2020-03-23 |
Luke Kenneth... | sort out unit test for address split |
commit | commitdiff | tree |
2020-03-22 |
Luke Kenneth... | get AddrSplitter working for data len=8 |
commit | commitdiff | tree |
2020-03-22 |
Luke Kenneth... | working on simulation to test Address Splitter |
commit | commitdiff | tree |
2020-03-22 |
Luke Kenneth... | link up output from ld1/ld2 and merge into request |
commit | commitdiff | tree |
2020-03-22 |
Luke Kenneth... | start putting LDSTSplitter together |
commit | commitdiff | tree |
2020-03-21 |
Luke Kenneth... | set bigendian=1 in formal proofs of decoder (TODO:... |
commit | commitdiff | tree |
2020-03-21 |
Luke Kenneth... | whoops cut/paste error |
commit | commitdiff | tree |
2020-03-21 |
Luke Kenneth... | start on address splitter, idea is to use Queues |
commit | commitdiff | tree |
2020-03-21 |
Luke Kenneth... | mention instruction fetch mapping section |
commit | commitdiff | tree |
2020-03-21 |
Luke Kenneth... | shorten variables, add comments |
commit | commitdiff | tree |
2020-03-21 |
Luke Kenneth... | add option to switch endianness on gnu as |
commit | commitdiff | tree |
2020-03-21 |
Luke Kenneth... | add big/little byte-reversing |
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 instru... |
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-19 |
Luke Kenneth... | fix silly errors in power_fieldsn.py |
commit | commitdiff | tree |
2020-03-19 |
Luke Kenneth... | invert bits of field in decoder (not instruction bits) |
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 |
Luke Kenneth... | use function which reverses bit-order |
commit | commitdiff | tree |
2020-03-18 |
Luke Kenneth... | comment reverse-order of bit-fields |
commit | commitdiff | tree |
2020-03-18 |
Luke Kenneth... | done, bugs.libre-riscv.org/show_bug.cgi?id=261 |
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-18 |
Luke Kenneth... | add comment about SPRs CSV |
commit | commitdiff | tree |
2020-03-18 |
Luke Kenneth... | add comments |
commit | commitdiff | tree |
2020-03-18 |
Luke Kenneth... | import absolute paths |
commit | commitdiff | tree |
2020-03-16 |
Luke Kenneth... | clarify is_match manually |
commit | commitdiff | tree |
2020-03-16 |
Luke Kenneth... | add exploratory unit test for partial address matching |
commit | commitdiff | tree |
2020-03-16 |
Luke Kenneth... | comment out addr_we_i, seems not to be used |
commit | commitdiff | tree |
2020-03-16 |
Luke Kenneth... | connect up expander output, set up is_match to check... |
commit | commitdiff | tree |
2020-03-16 |
Luke Kenneth... | connect LenExpanders into PartialAddrBitmap |
commit | commitdiff | tree |
2020-03-15 |
Luke Kenneth... | crossreference to bugreport |
commit | commitdiff | tree |
2020-03-15 |
Luke Kenneth... | add description of how PartialAddrBitmap works |
commit | commitdiff | tree |
2020-03-15 |
Luke Kenneth... | add beginnings of link to lenexpanders |
commit | commitdiff | tree |
2020-03-14 |
Luke Kenneth... | add a LenExpand class which takes a (length, addr)... |
commit | commitdiff | tree |
2020-03-14 |
Luke Kenneth... | add beginnings of PartialAddrBitmap elaborate |
commit | commitdiff | tree |
2020-03-13 |
Luke Kenneth... | allow over-ride of address match function in PartialAdd... |
commit | commitdiff | tree |
2020-03-11 |
Luke Kenneth... | fix more imports |
commit | commitdiff | tree |
2020-03-11 |
Luke Kenneth... | fix more imports |
commit | commitdiff | tree |
2020-03-11 |
Luke Kenneth... | enable rvfi, fix imports |
commit | commitdiff | tree |
2020-03-11 |
Luke Kenneth... | destarify debug |
commit | commitdiff | tree |
2020-03-11 |
Luke Kenneth... | dewildcardify units |
commit | commitdiff | tree |
next |