sail/x86, branch sail2 Formal specification language for ISAs Remove old specs that have more up to date version 2020-07-31T12:30:53+00:00 Alasdair 2020-07-31T12:30:53+00:00 dd76fdfd819bb1a5423cea369df0e7f2ae449b62 Move outdated things into old subdirectory 
Move outdated things into old subdirectory
Adds the DC and IC instructions to AArch64_small; 2019-03-08T16:02:02+00:00 Shaked Flur 2019-03-08T16:02:02+00:00 87ffe603e44e9be6f4109f6a9dd475df6dcfc489 Also, removes etc/regfp.sail and etc/regfp2.sail in favour of lib/regfp.sail 
Also, removes etc/regfp.sail and etc/regfp2.sail in favour of lib/regfp.sail
replaced NIA_LR/CTR/register with NIA_indirect; 2018-02-08T12:06:00+00:00 Shaked Flur 2018-02-08T12:06:00+00:00 043ea8ec3faecadf34ef9010bdd539f595f9c6da removed IK_cond_branch, and added IK_branch 
removed IK_cond_branch, and added IK_branch
match what rmem (ppcmem2) expects from ISA Makefiles 2017-11-30T15:40:43+00:00 Shaked Flur 2017-11-30T15:40:43+00:00 9e1309ab7c1a137324c88c272c5a76c4c8bce016 






renaming
2017-11-23T15:50:13+00:00

Shaked Flur

2017-11-23T15:50:13+00:00

16c269d6f26fd69d8788c448b87f4bb479a6ef66












X86: Fix bug in register footprint caused by imperative variable update with wrong variable name (iK vs. ik). Spotted via compare_analyses.
2017-10-09T13:49:14+00:00

Robert Norton

2017-10-09T13:49:09+00:00

100d8fd2fd591b2dcbf550e8d3b8cf476d17516f












x86: add bit set, reset, complement operations.
2017-09-29T14:41:08+00:00

Robert Norton

2017-09-29T14:40:56+00:00

fd06b634ae814a28644eabe93880eb7f4967a9c0












x86: always perform write for cmpxchg by writing back original value if comparison fails. This is specified in manual and also helps RMEM with locked writes.
2017-09-25T11:28:26+00:00

Robert Norton

2017-09-25T11:28:26+00:00

8ca00a2729ed477183afeeb1ad20b5a0fc23dc82












x86: implement get_ea_address function.
2017-09-22T15:06:49+00:00

Robert Norton

2017-09-22T12:47:09+00:00

963d4fef5b9c75939b744f1a2e09779859c7c643












x86: remove unnecessary? read modify write of registers.
2017-09-22T15:06:48+00:00

Robert Norton

2017-09-22T10:34:04+00:00

433063a6b229748599dde8f4374765c7d538fd22