projects
/
soc.git
/ shortlog
commit
grep
author
committer
pickaxe
?
search:
re
summary
| shortlog |
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
soc.git
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 Nolan
Add tests for subfic and neg
commit
|
commitdiff
|
tree
2020-03-26
Michael Nolan
Sub 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 Nolan
Directly compare simulator with qemu
commit
|
commitdiff
|
tree
2020-03-25
Michael Nolan
Assemble whole program instead of instruction by instru...
commit
|
commitdiff
|
tree
2020-03-25
Michael Nolan
Add rudimentary python qemu interface
commit
|
commitdiff
|
tree
2020-03-25
Michael Nolan
Add instructions for how to launch qemu
commit
|
commitdiff
|
tree
2020-03-25
Michael Nolan
Add 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 Nolan
Implement load and store of bytes, halfwords, and words
commit
|
commitdiff
|
tree
2020-03-23
Michael Nolan
Properly sign extend immediates
commit
|
commitdiff
|
tree
2020-03-23
Michael Nolan
Fix broken test
commit
|
commitdiff
|
tree
2020-03-23
Michael Nolan
Add 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 Nolan
Add memory loads and stores to simulator
commit
|
commitdiff
|
tree
2020-03-23
Michael Nolan
Begin adding backend simulator
commit
|
commitdiff
|
tree
2020-03-23
Michael Nolan
Move 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 Nolan
Fix proof_decoder2
commit
|
commitdiff
|
tree
2020-03-20
Michael Nolan
Delete log messages in power_fields and power_fieldsn
commit
|
commitdiff
|
tree
2020-03-20
Michael Nolan
Minor cleanup
commit
|
commitdiff
|
tree
2020-03-20
Michael Nolan
Add test for branch to lr/ctr
commit
|
commitdiff
|
tree
2020-03-20
Michael Nolan
Add tests for branch instructions
commit
|
commitdiff
|
tree
2020-03-20
Michael Nolan
Add test for rotate/shift instructions
commit
|
commitdiff
|
tree
2020-03-20
Michael Nolan
Remove unneeded condition register decoder
commit
|
commitdiff
|
tree
2020-03-19
Michael Nolan
Add test for cmp with register
commit
|
commitdiff
|
tree
2020-03-19
Michael Nolan
Add tests for load/store with immediate offset
commit
|
commitdiff
|
tree
2020-03-19
Michael Nolan
Add ld and st instructions to the reg/reg test
commit
|
commitdiff
|
tree
2020-03-19
Michael Nolan
Add checks for the decoding of RC (the . in some instru...
commit
|
commitdiff
|
tree
2020-03-19
Michael Nolan
Add tests for register+immediate ops
commit
|
commitdiff
|
tree
2020-03-19
Michael Nolan
Factor out instruction generation and testing from...
commit
|
commitdiff
|
tree
2020-03-19
Michael Nolan
Cleanup test_decoder_gas.py
commit
|
commitdiff
|
tree
2020-03-19
Michael Nolan
Add 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 Nolan
Begin adding a test using GNU AS
commit
|
commitdiff
|
tree
2020-03-18
Michael Nolan
Add proof that all other opcodes decode to INVALID
commit
|
commitdiff
|
tree
2020-03-18
Michael Nolan
Fix 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 Nolan
Create SPR enum from sprs.csv
commit
|
commitdiff
|
tree
2020-03-18
Michael Nolan
Add more to decoder proof
commit
|
commitdiff
|
tree
2020-03-18
Michael Nolan
Begin 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 Nolan
Add assertions that instruction fields are correct
commit
|
commitdiff
|
tree
2020-03-11
Michael Nolan
Add test for remaining bits
commit
|
commitdiff
|
tree
next