projects / soc.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
soc.git
2020-03-23 Michael NolanFix broken test commit | commitdiff | tree
2020-03-23 Michael NolanAdd 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 NolanAdd memory loads and stores to simulator commit | commitdiff | tree
2020-03-23 Michael NolanBegin adding backend simulator commit | commitdiff | tree
2020-03-23 Michael NolanMove 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 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 instru... 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-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 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 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 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-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 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-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 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-10 Luke Kenneth... hmm not quite right, errr ST is working when setting... commit | commitdiff | tree
2020-03-10 Luke Kenneth... get LDSTCompALU debugged a bit: ST functionality working commit | commitdiff | tree
2020-03-09 Luke Kenneth... add comment on oper_i field commit | commitdiff | tree
2020-03-09 Luke Kenneth... disable transparent=False for now commit | commitdiff | tree
2020-03-09 Luke Kenneth... connect up LD to memory: set transparent mode to False. commit | commitdiff | tree
2020-03-09 Luke Kenneth... more comments for LDSTCompUnit commit | commitdiff | tree
2020-03-09 Luke Kenneth... update LDSTCompUnit comments commit | commitdiff | tree
2020-03-09 Luke Kenneth... try adding test memory store to LDSTCompUnit 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
next