| Age | Commit message (Expand) | Author |
|---|---|---|
| 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 |
 |
index : sail | |
| Formal specification language for ISAs |
| summaryrefslogtreecommitdiff |