index
:
sail
sail2
Formal specification language for ISAs
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
src
Age
Commit message (
Expand
)
Author
2016-06-07
Fix issue in accessing fields and slices of registers during translate address
Kathy Gray
2016-06-07
add a test for failing TLB translation during instruction fetch.
Robert Norton
2016-06-06
remove mips test elf files no longer expected to work due to having incorrect...
Robert Norton
2016-06-06
add test for failing tlb translation using current sail.
Robert Norton
2016-06-03
Fix bug exposed/introduced by properly handling vector starts in the type che...
Kathy Gray
2016-06-03
Change path inside sail Makefile to look for sail directory instead of l2
Kathy Gray
2016-06-03
turn off debug print statements
Kathy Gray
2016-06-03
Mips file: removed some unnecessary parenthesis
Kathy Gray
2016-06-03
Add test demonstrating recently introduced regression where tlb match fail.
Robert Norton
2016-06-02
Fix most_significant case omission
Kathy Gray
2016-06-02
Get widening right now that it matters
Kathy Gray
2016-06-02
improve constraint range checking
Kathy Gray
2016-05-27
Fix parsing of sizeof and some printing issues with let
Kathy Gray
2016-05-27
small change to comment printing
Kathy Gray
2016-05-27
Add sizeof to sail. Documentation to follow
Kathy Gray
2016-05-26
add makery for mips/cheir LOC count.
Robert Norton
2016-05-25
add support for capability load/store bits in TLB
Robert Norton
2016-05-20
Add missing CP0BadVaddr in run_with_elfs.
Robert Norton
2016-05-18
Implement 8-entry software-managed TLB.
Robert Norton
2016-05-12
Implement count/compare registers for timer interrupts and rdhwr instruction.
Robert Norton
2016-05-10
Initialise CP0Status BEV bit.
Robert Norton
2016-05-09
fix mips build by copying across run_with_elf_cheri.ml and removing cheri parts.
Robert Norton
2016-05-09
Reverse the list of events to respect their order
Kathy Gray
2016-05-09
commit test which fails due to not writing C31.offset in TranslateAddress.
Robert Norton
2016-05-09
Add more debugging information for vector concatenation
Kathy Gray
2016-05-06
rewrite fde_loop to make it easier to understand and fix some tests. still re...
Robert Norton
2016-05-05
Factor out get_opcode
Robert Norton
2016-05-04
Correct register field/slice reading for decreasing reads for decode/translat...
Kathy Gray
2016-05-03
List registers required to handle exception during instruction fetch. Attempt...
Robert Norton
2016-05-03
actually read next_pc twice when handling a translate_address exception
Kathy Gray
2016-05-03
write all or part of fields out of translate_address (instead of just all)
Kathy Gray
2016-05-03
Change decode and translate_address to support writing register events (altho...
Kathy Gray
2016-04-27
slightly simplify set_next_instruction_address -- no need to read convert the...
Robert Norton
2016-04-27
expand supported patterns for most_significant
Kathy Gray
2016-04-27
Make run_with_elf compile again
Kathy Gray
2016-04-27
cheri: add translation and bounds checking of PC via PCC. Slightly clunky imp...
Robert Norton
2016-04-26
Add more cases for translate_address to support enums
Kathy Gray
2016-04-26
print error case on translate address
Kathy Gray
2016-04-25
make pretty printer keep up with parser changes
Kathy Gray
2016-04-25
Make interpreter able to read registers during translate address and decode.
Kathy Gray
2016-04-21
Introduce wrapper function around MEMw* so that we can clear tags on non-capa...
Robert Norton
2016-04-19
cheri: zero all tags when loading memory from elf so that we don't get undefi...
Robert Norton
2016-04-19
Make value treatment on memory write calls uniform for function call vs assig...
Kathy Gray
2016-04-18
Fix bug where constraints were not getting simplified enough to check
Kathy Gray
2016-04-18
More fixes to interp with regards to warnings and debugging info
Kathy Gray
2016-04-15
add cheri test for tagged memory.
Robert Norton
2016-04-14
add cheri make target analagous to mips
Robert Norton
2016-04-13
Copy run_with_elf to make run_with_elf_cheri and revert run_with_elf to mips ...
Robert Norton
2016-04-13
cheri supporting run with elf
Kathy Gray
2016-04-13
Remove some warnings, in progress.
Kathy Gray
[next]