index
:
sail
sail2
Formal specification language for ISAs
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
x86
Age
Commit message (
Expand
)
Author
2020-07-31
Remove old specs that have more up to date version
Alasdair
2019-03-08
Adds the DC and IC instructions to AArch64_small;
Shaked Flur
2018-02-08
replaced NIA_LR/CTR/register with NIA_indirect;
Shaked Flur
2017-11-30
match what rmem (ppcmem2) expects from ISA Makefiles
Shaked Flur
2017-11-23
renaming
Shaked Flur
2017-10-09
X86: Fix bug in register footprint caused by imperative variable update with ...
Robert Norton
2017-09-29
x86: add bit set, reset, complement operations.
Robert Norton
2017-09-25
x86: always perform write for cmpxchg by writing back original value if compa...
Robert Norton
2017-09-22
x86: implement get_ea_address function.
Robert Norton
2017-09-22
x86: remove unnecessary? read modify write of registers.
Robert Norton
2017-09-22
fix typo where Sz16 write to register was only writing 8 bits.
Robert Norton
2017-09-20
add support for x86 lock prefix (also remove unused Read/Write_tag kind in et...
Robert Norton
2017-09-19
According to Shaked NIAFP_register can be used to indicate that we don't know...
Robert Norton
2017-09-18
add regfp for x86 control flow instrucitons. Need more support for memory ind...
Robert Norton
2017-09-15
x86: implement regfp analysis function (no control flow yet)
Robert Norton
2017-09-13
add HLT instruction for RMEM integration.
Robert Norton
2017-09-07
add MFENCE
Robert Norton
2017-09-06
power is builtin in old tc so use it.
Robert Norton
2017-08-22
x86: rename size type to avoid name clash in RMEM.
Robert Norton
2017-08-21
port x86 model to old type checker.
Robert Norton
