projects / soc.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
soc.git
2020-03-30 Luke Kenneth... get if/else comparisons working with python3 commit | commitdiff | tree
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 NolanUpdate proof_decoder2 to handle signed immediates commit | commitdiff | tree
2020-03-29 Michael NolanFix 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 NolanAdd tests for subfic and neg commit | commitdiff | tree
2020-03-26 Michael NolanSub 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 NolanDirectly compare simulator with qemu commit | commitdiff | tree
2020-03-25 Michael NolanAssemble whole program instead of instruction by instru... commit | commitdiff | tree
2020-03-25 Michael NolanAdd rudimentary python qemu interface commit | commitdiff | tree
2020-03-25 Michael NolanAdd instructions for how to launch qemu commit | commitdiff | tree
2020-03-25 Michael NolanAdd 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 NolanImplement load and store of bytes, halfwords, and words commit | commitdiff | tree
2020-03-23 Michael NolanProperly sign extend immediates commit | commitdiff | tree
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
next