projects / soc.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
start putting LDSTSplitter together
[soc.git] / src / soc / decoder /
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... 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 NolanFix proof_decoder2 tree | commitdiff
2020-03-20 Michael NolanDelete log messages in power_fields and power_fieldsn tree | commitdiff
2020-03-20 Michael NolanMinor cleanup tree | commitdiff
2020-03-20 Michael NolanAdd test for branch to lr/ctr tree | commitdiff
2020-03-20 Michael NolanAdd tests for branch instructions tree | commitdiff
2020-03-20 Michael NolanAdd test for rotate/shift instructions tree | commitdiff
2020-03-20 Michael NolanRemove unneeded condition register decoder tree | commitdiff
2020-03-19 Michael NolanAdd test for cmp with register tree | commitdiff
2020-03-19 Michael NolanAdd tests for load/store with immediate offset tree | commitdiff
2020-03-19 Michael NolanAdd ld and st instructions to the reg/reg test tree | commitdiff
2020-03-19 Michael NolanAdd checks for the decoding of RC (the . in some instru... tree | commitdiff
2020-03-19 Michael NolanAdd tests for register+immediate ops tree | commitdiff
2020-03-19 Michael NolanFactor out instruction generation and testing from... tree | commitdiff
2020-03-19 Michael NolanCleanup test_decoder_gas.py tree | commitdiff
2020-03-19 Michael NolanAdd 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 NolanBegin adding a test using GNU AS tree | commitdiff
2020-03-18 Michael NolanAdd proof that all other opcodes decode to INVALID tree | commitdiff
2020-03-18 Michael NolanFix 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 NolanCreate SPR enum from sprs.csv tree | commitdiff
2020-03-18 Michael NolanAdd more to decoder proof tree | commitdiff
2020-03-18 Michael NolanBegin 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-11 Michael NolanAdd assertions that instruction fields are correct tree | commitdiff
2020-03-11 Michael NolanAdd test for remaining bits tree | commitdiff
2020-03-11 Michael NolanAdd tests for DecodeOut and DecodeRC tree | commitdiff
2020-03-11 Luke Kenneth Casso... store ra in intermediate, to avoid creation of decoding... tree | commitdiff
2020-03-10 Michael NolanAdd cases for DecodeB and DecodeC tree | commitdiff
2020-03-10 Michael NolanRefactor DecodeA test tree | commitdiff
2020-03-10 Michael NolanAdd proof for power_decoder2.DecodeA tree | commitdiff
2020-03-09 Michael NolanFix logical loop in DecodeA tree | commitdiff
2020-03-09 Michael NolanBegin adding proof for decoder2 tree | commitdiff
2020-03-09 Michael NolanMigrate imports to use absolute imports tree | commitdiff
2020-03-09 Michael NolanFix test tree | commitdiff
2020-03-09 Luke Kenneth Casso... add __init__.py files to decoder tree | commitdiff
2020-03-09 Luke Kenneth Casso... move all source directories to soc so that "import... tree | commitdiff