| Age | Commit message (Expand) | Author |
|---|---|---|
| 2019-01-04 | Arm ElfMain: fix minor type errors | Alastair Reid |
| 2018-07-23 | AArch64 patches: EL2 secure not implemented | Alastair Reid |
| 2018-07-04 | AArch64 Prelude: Move cycle count primop to prelude | Alastair Reid |
| 2018-07-03 | Main: fix SEE handling | Alastair Reid |
| 2018-07-01 | RTS: Fail on AArch32 and ASIMD | Alastair Reid |
| 2018-06-30 | Main: trivial restructuring of print commands to make them easier to read/mai... | Alastair Reid |
| 2018-06-29 | Main: many small tweaks. | Alastair Reid |
| 2018-06-28 | RTS: Add --verbosity flag to C model | Alastair Reid |
| 2018-06-28 | Main: exit if you hit IMPDEF behaviour | Alastair Reid |
| 2018-06-27 | RTS/Main: tweaking cycle counter handling | Alastair Reid |
| 2018-06-27 | Main: refactor fetch_and_execute | Alastair Reid |
| 2018-06-27 | Main: fix PC advance after HINT and other EndOfInstruction | Alastair Reid |
| 2018-06-26 | Main: further refinement of execution cycle | Alastair Reid |
| 2018-06-26 | Main: attempt to capture AArch64 execution cycle | Alastair Reid |
 |
index : sail | |
| Formal specification language for ISAs |
| summaryrefslogtreecommitdiff |