| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2018-02-08 | replaced NIA_LR/CTR/register with NIA_indirect; | Shaked Flur | |
| removed IK_cond_branch, and added IK_branch | |||
| 2018-01-31 | minor rename | Shaked Flur | |
| 2018-01-31 | changed directory structure after migration to github | Shaked Flur | |
| 2018-01-18 | immediate for CIncOffsetImmediate must be treated as signed (fixes ↵ | Robert Norton | |
| test_cp2_rep_underflow). | |||
| 2018-01-10 | wib | Shaked Flur | |
| 2018-01-09 | the 'imm' of adr/adrp is signed | Shaked Flur | |
| 2017-12-30 | use linksem as a package | Shaked Flur | |
| 2017-12-28 | use ocamlfind to locate lem and zarith (missed this Makefile) | Shaked Flur | |
| 2017-12-28 | use ocamlfind to locate lem and zarith | Shaked Flur | |
| 2017-12-16 | compatibility with OCaml 4.06.0; | Shaked Flur | |
| imported new version of PPrint (20171003) | |||
| 2017-12-13 | find zarith using ocamlfind instead of using the one in ocaml-lib which is ↵ | Shaked Flur | |
| no longer there | |||
| 2017-12-12 | moved the Power patch (shallow embedding) to ppcmem2 | Shaked Flur | |
| 2017-12-05 | add Ed | Peter Sewell | |
| 2017-12-05 | Update header files on master | Alasdair Armstrong | |
| 2017-12-04 | added the Power model | Shaked Flur | |
| 2017-12-04 | match what rmem expects from sail/arm | Shaked Flur | |
| 2017-12-04 | renamed hgen to gen | Shaked Flur | |
| 2017-11-30 | match what rmem (ppcmem2) expects from ISA Makefiles | Shaked Flur | |
| 2017-11-23 | renaming | Shaked Flur | |
| 2017-11-23 | added RISCV_ prefix to some values to stop Lem from renaming them | Shaked Flur | |
| 2017-11-07 | RISC-V parser checks | Shaked Flur | |
| 2017-11-02 | remove a lot of dead code form run_with_elf_cheri* | Robert Norton | |
| 2017-11-02 | reset inCCallDelay in code that is not dead. | Robert Norton | |
| 2017-11-01 | workaound for another odd interpreter error where top level let variable got ↵ | Robert Norton | |
| truncated to 64 bits... | |||
| 2017-11-01 | added RISC-V "fence r,r" | Shaked Flur | |
| 2017-10-31 | work around interpreter crash by adding cast. Likely this kind of thing will ↵ | Robert Norton | |
| be resolved by merge of new_tc branch. | |||
| 2017-10-31 | cheri: throw an exception if there is an attempt to access C26/IDC in the ↵ | Robert Norton | |
| delay slot of a ccall selector 1 call. | |||
| 2017-10-31 | cheri: ccall selector 1 should have a branch delay slot. TODO we need to ↵ | Robert Norton | |
| throw exception for access to IDC/C26 in branch delay slot. | |||
| 2017-10-26 | fixed release acquire semantics of AMOs | Shaked Flur | |
| 2017-10-24 | fix default cap value on cheri128 following previous changes -- E stored in ↵ | Robert Norton | |
| registers is no longer xored with 48 so need to initialise it. Also use E and T values used by CHERI hw and adjust decoding functions appropriately. Fix shift functions for ocaml shallow embedding which failed to handle shifts greater than vector length. | |||
| 2017-10-23 | cheri: Null capability should have maximum length, because in cheri128 we ↵ | Robert Norton | |
| want all offsets to be representable. To maintain all-zeros as the in-memory representation of the null capability we xor memory bits with null capability when loading and storing. | |||
| 2017-10-16 | add CTestSubset instruction. | Robert Norton | |
| 2017-10-16 | add missing new encodings for CJR and CJALR. | Robert Norton | |
| 2017-10-16 | implement CMove as an alias for cmovz with zero register. | Robert Norton | |
| 2017-10-16 | add support for CIncOffsetImmediate and CSetBoundsImmediate. | Robert Norton | |
| 2017-10-16 | add support for capability branch null instructions. | Robert Norton | |
| 2017-10-13 | Add support for new cheri instruction encodings. The order of pattern ↵ | Robert Norton | |
| matching is now significant because register no. fields are re-used as additional function codes in operations with fewer operands so I pulled out all decode clauses to the beginning of file for easier rearranging. Old encodings can co-exist with new encodings as the only overlap is for recently added instructions which already use the new scheme. Eventually the old encodings will go away, however, and the opcode space may be reclaimed." | |||
| 2017-10-12 | Work around warning in ocaml shallow embedding of mips caused by buggy code ↵ | Robert Norton | |
| generation for dubious casting enumeration to int. | |||
| 2017-10-09 | add translations for missing read/write kinds. | Robert Norton | |
| 2017-10-09 | add translation of IK_mem_rmw interp_inter_imp. TODO: could we get rid of ↵ | Robert Norton | |
| this and use shallow embedding conversion? | |||
| 2017-10-09 | X86: Fix bug in register footprint caused by imperative variable update with ↵ | Robert Norton | |
| wrong variable name (iK vs. ik). Spotted via compare_analyses. | |||
| 2017-10-06 | move nias_of_instruction into RMEM so that it can use shallow embedding ast ↵ | Robert Norton | |
| and not obsolete interp_interface one. | |||
| 2017-10-02 | cheri: fix swapped cmovz and cmovn. | Robert Norton | |
| 2017-10-01 | fixed JALR: do the register write first to allow po-later reads | Shaked Flur | |
| 2017-09-29 | fix those build errors | Christopher Pulte | |
| 2017-09-29 | Merge branch 'master' of https://bitbucket.org/Peter_Sewell/sail | Christopher Pulte | |
| 2017-09-29 | fix deep_shallow_convert, stop using interp_interface.instruction for most ↵ | Christopher Pulte | |
| things, SF and CP bugfixing | |||
| 2017-09-29 | x86: add bit set, reset, complement operations. | Robert Norton | |
| 2017-09-27 | fixed the RISC-V Makefile | Shaked Flur | |
| 2017-09-27 | split RISC-V to two Sail files to make it more readable | Shaked Flur | |
 |
index : sail | |
| Formal specification language for ISAs |
| summaryrefslogtreecommitdiff |