| 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 | 
| 2020-03-11 | 
Luke Kenneth...  | dewildcardify unitsg | 
commit | commitdiff | tree | 
| 2020-03-11 | 
Luke Kenneth...  | sort out imports to get minerva generate working | 
commit | commitdiff | tree | 
| 2020-03-11 | 
Luke Kenneth...  | dewildcard core.py | 
commit | commitdiff | tree | 
| 2020-03-11 | 
Luke Kenneth...  | dewildcard cache.py | 
commit | commitdiff | tree | 
| 2020-03-11 | 
Luke Kenneth...  | dewildcard stage.py | 
commit | commitdiff | tree | 
| 2020-03-11 | 
Luke Kenneth...  | dewildcard wishbone.py | 
commit | commitdiff | tree | 
| 2020-03-11 | 
Luke Kenneth...  | replace isa import | 
commit | commitdiff | tree | 
| 2020-03-11 | 
Luke Kenneth...  | de-starify csr.py | 
commit | commitdiff | tree | 
| 2020-03-11 | 
Luke Kenneth...  | import minerva from soc.minerva | 
commit | commitdiff | tree | 
| 2020-03-11 | 
Luke Kenneth...  | add minerva source from https://github.com/lambdaconcep...  | 
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-11 | 
Luke Kenneth...  | store ra in intermediate, to avoid creation of decoding...  | 
commit | commitdiff | tree | 
| 2020-03-10 | 
Luke Kenneth...  | add "done" signal to CompALU and LDSTCompALU to be...  | 
commit | commitdiff | tree | 
| 2020-03-10 | 
Luke Kenneth...  | initial test LD comp unit in scoreboard | 
commit | commitdiff | tree | 
| 2020-03-10 | 
Luke Kenneth...  | hmmm set store latch based on go_rd_i | 
commit | commitdiff | tree | 
| 2020-03-10 | 
Luke Kenneth...  | add ADD/ADDI test to LDSTCompUnit | 
commit | commitdiff | tree | 
| 2020-03-10 | 
Luke Kenneth...  | amazingly got LD working on LDSTCompUnit | 
commit | commitdiff | tree | 
| 2020-03-10 | 
Luke Kenneth...  | comments explaining what alu_hier.py does | 
commit | commitdiff | tree | 
| 2020-03-10 | 
Luke Kenneth...  | LD appears to be working as well although there is...  | 
commit | commitdiff | tree | 
| 2020-03-10 | 
Luke Kenneth...  | whoops as simple as having inverted the LD/ST bit in...  | 
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 | 
| next |