projects / soc.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
WIP: Replace fields in power_decoder with signals of the same name
[soc.git] / src /
2020-03-30 Michael NolanWIP: Replace fields in power_decoder with signals of... tree | commitdiff
2020-03-30 Luke Kenneth Casso... add break (leave) statement tree | commitdiff
2020-03-30 Luke Kenneth Casso... sigh add in do while syntax tree | commitdiff
2020-03-30 Luke Kenneth Casso... add support for for-loops tree | commitdiff
2020-03-30 Luke Kenneth Casso... add token-preprocessing step to make code look more... tree | commitdiff
2020-03-30 Luke Kenneth Casso... get if/else comparisons working with python3 tree | commitdiff
2020-03-30 Luke Kenneth Casso... add concatenation of signals (by way of global function... tree | commitdiff
2020-03-29 Luke Kenneth Casso... annoying. convert to python3 tree | commitdiff
2020-03-29 Michael NolanUpdate proof_decoder2 to handle signed immediates tree | commitdiff
2020-03-29 Michael NolanFix issue 271, remove unneeded fields in power_fieldsn.py tree | commitdiff
2020-03-29 Luke Kenneth Casso... add listmaker tree | commitdiff
2020-03-29 Luke Kenneth Casso... start to convert to POWER decoder, add slice/subscript tree | commitdiff
2020-03-29 Luke Kenneth Casso... add while statement to GardenSnake. cute! tree | commitdiff
2020-03-29 Luke Kenneth Casso... add support for ELSE statement, enable debug etc. tree | commitdiff
2020-03-29 Luke Kenneth Casso... add first python-ply recovered working version of Garde... tree | commitdiff
2020-03-26 Luke Kenneth Casso... add TODO for cry_in==CA tree | commitdiff
2020-03-26 Luke Kenneth Casso... add TODO for cry_in==CA tree | commitdiff
2020-03-26 Luke Kenneth Casso... fix 1-overflow tree | commitdiff
2020-03-26 Luke Kenneth Casso... brackets to be safe tree | commitdiff
2020-03-26 Michael NolanAdd tests for subfic and neg tree | commitdiff
2020-03-26 Michael NolanSub instruction working tree | commitdiff
2020-03-26 Luke Kenneth Casso... add newline to stop gnu-as whining tree | commitdiff
2020-03-26 Luke Kenneth Casso... seeing spurious failures on gdb connection tree | commitdiff
2020-03-26 Luke Kenneth Casso... wait for communication with closing program and close... tree | commitdiff
2020-03-25 Michael NolanDirectly compare simulator with qemu tree | commitdiff
2020-03-25 Michael NolanAssemble whole program instead of instruction by instru... tree | commitdiff
2020-03-25 Michael NolanAdd rudimentary python qemu interface tree | commitdiff
2020-03-25 Michael NolanAdd instructions for how to launch qemu tree | commitdiff
2020-03-25 Michael NolanAdd qemu test directory tree | commitdiff
2020-03-24 Luke Kenneth Casso... change name of test function in addr_split tree | commitdiff
2020-03-24 Luke Kenneth Casso... whitespace tree | commitdiff
2020-03-24 Luke Kenneth Casso... whitespace cleanup tree | commitdiff
2020-03-24 Luke Kenneth Casso... add cross-references to bugreports and wiki tree | commitdiff
2020-03-24 Luke Kenneth Casso... add routing of store data through splitters tree | commitdiff
2020-03-24 Luke Kenneth Casso... move ashift out to common area tree | commitdiff
2020-03-23 Michael NolanImplement load and store of bytes, halfwords, and words tree | commitdiff
2020-03-23 Michael NolanProperly sign extend immediates tree | commitdiff
2020-03-23 Michael NolanFix broken test tree | commitdiff
2020-03-23 Michael NolanAdd support for extended/indexed ld/st tree | commitdiff
2020-03-23 Luke Kenneth Casso... hmm start adding st in (half done) tree | commitdiff
2020-03-23 Michael NolanAdd memory loads and stores to simulator tree | commitdiff
2020-03-23 Michael NolanBegin adding backend simulator tree | commitdiff
2020-03-23 Michael NolanMove gnu assembler interface to separate file tree | commitdiff
2020-03-23 Luke Kenneth Casso... split sim classes out into separate module tree | commitdiff
2020-03-23 Luke Kenneth Casso... add twin partial address mapper class tree | commitdiff
2020-03-23 Luke Kenneth Casso... sort out unit test for address split tree | commitdiff
2020-03-22 Luke Kenneth Casso... get AddrSplitter working for data len=8 tree | commitdiff
2020-03-22 Luke Kenneth Casso... working on simulation to test Address Splitter tree | commitdiff
2020-03-22 Luke Kenneth Casso... link up output from ld1/ld2 and merge into request tree | commitdiff
2020-03-22 Luke Kenneth Casso... start putting LDSTSplitter together tree | commitdiff
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... start on address splitter, idea is to use Queues 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-16 Luke Kenneth Casso... clarify is_match manually tree | commitdiff
2020-03-16 Luke Kenneth Casso... add exploratory unit test for partial address matching tree | commitdiff
2020-03-16 Luke Kenneth Casso... comment out addr_we_i, seems not to be used tree | commitdiff
2020-03-16 Luke Kenneth Casso... connect up expander output, set up is_match to check... tree | commitdiff
2020-03-16 Luke Kenneth Casso... connect LenExpanders into PartialAddrBitmap tree | commitdiff
2020-03-15 Luke Kenneth Casso... crossreference to bugreport tree | commitdiff
2020-03-15 Luke Kenneth Casso... add description of how PartialAddrBitmap works tree | commitdiff
2020-03-15 Luke Kenneth Casso... add beginnings of link to lenexpanders tree | commitdiff
2020-03-14 Luke Kenneth Casso... add a LenExpand class which takes a (length, addr)... tree | commitdiff
2020-03-14 Luke Kenneth Casso... add beginnings of PartialAddrBitmap elaborate tree | commitdiff
2020-03-13 Luke Kenneth Casso... allow over-ride of address match function in PartialAdd... tree | commitdiff
2020-03-11 Luke Kenneth Casso... fix more imports tree | commitdiff
2020-03-11 Luke Kenneth Casso... fix more imports tree | commitdiff
2020-03-11 Luke Kenneth Casso... enable rvfi, fix imports tree | commitdiff
next