soc.git
2020-03-26 Luke Kenneth... missed cd build
2020-03-26 Luke Kenneth... add README describing build process for simulator ...
2020-03-26 Luke Kenneth... add pygdbmi to dependencies
2020-03-26 Luke Kenneth... wait for communication with closing program and close...
2020-03-25 Michael NolanDirectly compare simulator with qemu
2020-03-25 Michael NolanAssemble whole program instead of instruction by instru...
2020-03-25 Michael NolanAdd rudimentary python qemu interface
2020-03-25 Michael NolanAdd instructions for how to launch qemu
2020-03-25 Michael NolanAdd qemu test directory
2020-03-24 Luke Kenneth... change name of test function in addr_split
2020-03-24 Luke Kenneth... whitespace
2020-03-24 Luke Kenneth... whitespace cleanup
2020-03-24 Luke Kenneth... add cross-references to bugreports and wiki
2020-03-24 Luke Kenneth... add routing of store data through splitters
2020-03-24 Luke Kenneth... move ashift out to common area
2020-03-23 Michael NolanImplement load and store of bytes, halfwords, and words
2020-03-23 Michael NolanProperly sign extend immediates
2020-03-23 Michael NolanFix broken test
2020-03-23 Michael NolanAdd support for extended/indexed ld/st
2020-03-23 Luke Kenneth... hmm start adding st in (half done)
2020-03-23 Michael NolanAdd memory loads and stores to simulator
2020-03-23 Michael NolanBegin adding backend simulator
2020-03-23 Michael NolanMove gnu assembler interface to separate file
2020-03-23 Luke Kenneth... split sim classes out into separate module
2020-03-23 Luke Kenneth... add twin partial address mapper class
2020-03-23 Luke Kenneth... sort out unit test for address split
2020-03-22 Luke Kenneth... get AddrSplitter working for data len=8
2020-03-22 Luke Kenneth... working on simulation to test Address Splitter
2020-03-22 Luke Kenneth... link up output from ld1/ld2 and merge into request
2020-03-22 Luke Kenneth... start putting LDSTSplitter together
2020-03-21 Luke Kenneth... set bigendian=1 in formal proofs of decoder (TODO:...
2020-03-21 Luke Kenneth... whoops cut/paste error
2020-03-21 Luke Kenneth... start on address splitter, idea is to use Queues
2020-03-21 Luke Kenneth... mention instruction fetch mapping section
2020-03-21 Luke Kenneth... shorten variables, add comments
2020-03-21 Luke Kenneth... add option to switch endianness on gnu as
2020-03-21 Luke Kenneth... add big/little byte-reversing
2020-03-20 Michael NolanFix proof_decoder2
2020-03-20 Michael NolanDelete log messages in power_fields and power_fieldsn
2020-03-20 Michael NolanMinor cleanup
2020-03-20 Michael NolanAdd test for branch to lr/ctr
2020-03-20 Michael NolanAdd tests for branch instructions
2020-03-20 Michael NolanAdd test for rotate/shift instructions
2020-03-20 Michael NolanRemove unneeded condition register decoder
2020-03-19 Michael NolanAdd test for cmp with register
2020-03-19 Michael NolanAdd tests for load/store with immediate offset
2020-03-19 Michael NolanAdd ld and st instructions to the reg/reg test
2020-03-19 Michael NolanAdd checks for the decoding of RC (the . in some instru...
2020-03-19 Michael NolanAdd tests for register+immediate ops
2020-03-19 Michael NolanFactor out instruction generation and testing from...
2020-03-19 Michael NolanCleanup test_decoder_gas.py
2020-03-19 Michael NolanAdd assertions for input registers
2020-03-19 Luke Kenneth... fix silly errors in power_fieldsn.py
2020-03-19 Luke Kenneth... invert bits of field in decoder (not instruction bits)
2020-03-18 Michael NolanBegin adding a test using GNU AS
2020-03-18 Michael NolanAdd proof that all other opcodes decode to INVALID
2020-03-18 Michael NolanFix bug where enum values weren't getting set to int
2020-03-18 Luke Kenneth... use function which reverses bit-order
2020-03-18 Luke Kenneth... comment reverse-order of bit-fields
2020-03-18 Luke Kenneth... done, bugs.libre-riscv.org/show_bug.cgi?id=261
2020-03-18 Michael NolanCreate SPR enum from sprs.csv
2020-03-18 Michael NolanAdd more to decoder proof
2020-03-18 Michael NolanBegin adding proof for decoder stage 1
2020-03-18 Luke Kenneth... add comment about SPRs CSV
2020-03-18 Luke Kenneth... add comments
2020-03-18 Luke Kenneth... import absolute paths
2020-03-16 Luke Kenneth... clarify is_match manually
2020-03-16 Luke Kenneth... add exploratory unit test for partial address matching
2020-03-16 Luke Kenneth... comment out addr_we_i, seems not to be used
2020-03-16 Luke Kenneth... connect up expander output, set up is_match to check...
2020-03-16 Luke Kenneth... connect LenExpanders into PartialAddrBitmap
2020-03-15 Luke Kenneth... crossreference to bugreport
2020-03-15 Luke Kenneth... add description of how PartialAddrBitmap works
2020-03-15 Luke Kenneth... add beginnings of link to lenexpanders
2020-03-14 Luke Kenneth... add a LenExpand class which takes a (length, addr)...
2020-03-14 Luke Kenneth... add beginnings of PartialAddrBitmap elaborate
2020-03-13 Luke Kenneth... allow over-ride of address match function in PartialAdd...
2020-03-11 Luke Kenneth... fix more imports
2020-03-11 Luke Kenneth... fix more imports
2020-03-11 Luke Kenneth... enable rvfi, fix imports
2020-03-11 Luke Kenneth... destarify debug
2020-03-11 Luke Kenneth... dewildcardify units
2020-03-11 Luke Kenneth... dewildcardify unitsg
2020-03-11 Luke Kenneth... sort out imports to get minerva generate working
2020-03-11 Luke Kenneth... dewildcard core.py
2020-03-11 Luke Kenneth... dewildcard cache.py
2020-03-11 Luke Kenneth... dewildcard stage.py
2020-03-11 Luke Kenneth... dewildcard wishbone.py
2020-03-11 Luke Kenneth... replace isa import
2020-03-11 Luke Kenneth... de-starify csr.py
2020-03-11 Luke Kenneth... import minerva from soc.minerva
2020-03-11 Luke Kenneth... add minerva source from https://github.com/lambdaconcep...
2020-03-11 Michael NolanAdd assertions that instruction fields are correct
2020-03-11 Michael NolanAdd test for remaining bits
2020-03-11 Michael NolanAdd tests for DecodeOut and DecodeRC
2020-03-11 Luke Kenneth... store ra in intermediate, to avoid creation of decoding...
2020-03-10 Luke Kenneth... add "done" signal to CompALU and LDSTCompALU to be...
2020-03-10 Luke Kenneth... initial test LD comp unit in scoreboard
2020-03-10 Luke Kenneth... hmmm set store latch based on go_rd_i
2020-03-10 Luke Kenneth... add ADD/ADDI test to LDSTCompUnit
next