index
:
sail
sail2
Formal specification language for ISAs
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
mips
/
mips_regfp.sail
Age
Commit message (
Collapse
)
Author
2018-09-21
Remove cheri and mips specs -- they now have their own repository.
Robert Norton
2018-03-14
rename EXTS and EXTZ to sign_extend and zero_extend because it is more ↵
Robert Norton
obviosu and to more closely match existing cheri pseudocode.
2018-03-08
rename mips_new_tc to mips
Robert Norton
2018-03-08
Remove files in mips directory prior to copying in files from mips_new_tc. ↵
Robert Norton
Hopefully thiis will help git to spot the rename and hence preserve history.
2018-02-08
replaced NIA_LR/CTR/register with NIA_indirect;
Shaked Flur
removed IK_cond_branch, and added IK_branch
2017-02-03
fix headers
Peter Sewell
2016-11-30
add new barrier kind for MIPS (only one for now).
Robert Norton
2016-11-11
mips_regfp: add missing output register for store conditional.
Robert Norton
2016-11-09
add CP0LLBit and CP0LLAddr to mips register footprint
Robert Norton
2016-11-08
add mips thread start instruction.
Robert Norton
2016-11-07
factor out regfp analysis types into etc/regfp.sail
Christopher Pulte
2016-11-03
split out RI node so that ppcmem model does not implement reserved ↵
Robert Norton
instruction exception behaviour but sequential model does (for test suite).
2016-10-27
add hgen for J branches
Robert Norton
2016-10-17
don't forget link register in register bcmp footprint
Robert Norton
2016-10-17
add register footprint for bcmpz
Robert Norton
2016-09-23
Add register footprint function needed by ppcmem (mips only for now)
Robert Norton
