| Age | Commit message (Expand) | Author |
|---|
| 2017-12-05 | Update header files on master | Alasdair Armstrong |
| 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 | added RISC-V "fence r,r" | Shaked Flur |
| 2017-10-31 | cheri: throw an exception if there is an attempt to access C26/IDC in the del... | Robert Norton |
| 2017-10-24 | fix default cap value on cheri128 following previous changes -- E stored in r... | Robert Norton |
| 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 thi... | Robert Norton |
| 2017-10-06 | move nias_of_instruction into RMEM so that it can use shallow embedding ast a... | Robert Norton |
| 2017-09-29 | fix those build errors | Christopher Pulte |
| 2017-09-29 | fix deep_shallow_convert, stop using interp_interface.instruction for most th... | Christopher Pulte |
| 2017-09-21 | added a comment to the x86 lock'd read and write | Shaked Flur |
| 2017-09-20 | add support for x86 lock prefix (also remove unused Read/Write_tag kind in et... | Robert Norton |
| 2017-09-15 | x86: implement regfp analysis function (no control flow yet) | Robert Norton |
| 2017-09-15 | reinstate deep/shallow conversion | Christopher Pulte |
| 2017-09-03 | added RISC-V strong-acquire/release | Shaked Flur |
| 2017-08-31 | add EnumerationType type class: if a type is a member you get Ord membership ... | Christopher Pulte |
| 2017-08-31 | added RISC-V AMOs | Shaked Flur |
| 2017-08-30 | typeclass instance Ord(opcode) | Christopher Pulte |
| 2017-08-24 | typo | Shaked Flur |
| 2017-08-24 | typo | Shaked Flur |
| 2017-08-24 | added barrier-kind for x86 MFENCE; | Shaked Flur |
| 2017-08-22 | added RISC-V "fence w,w" and "fence.i"; | Shaked Flur |
| 2017-08-19 | RISC-V store-release | Shaked Flur |
| 2017-08-17 | added RISC-V load-acquire | Shaked Flur |
| 2017-08-17 | fixed the RISC-V fences (3 types: "rw,rw"/"r,rw"/"rw,w") | Shaked Flur |
| 2017-08-16 | lem_interp: remove broken val_to_string_internal functions, replace with stri... | Jon French |
| 2017-08-02 | fix sail library test interpreter glue for API change. Also fix build_context... | Robert Norton |
| 2017-08-02 | fix run_with_elf*.ml with changed lem_interp api | Jon French |
| 2017-07-24 | interpreter: optionally print debugging traces | Jon French |
| 2017-07-24 | vector parts of interpreter now evaluate all arguments of expression before e... | Jon French |
| 2017-07-24 | move value type definitions to ott, and introduce new E_internal_value ast no... | Jon French |
| 2017-07-06 | fix interpreter version of get_min/max_representable which similarly broken t... | Robert Norton |
| 2017-07-06 | fix interpreter lteq/gteq for range/vec. | Robert Norton |
| 2017-07-06 | fix interpreter version of != which was broken for vector/range comparisons. | Robert Norton |
| 2017-06-22 | fix three different copies of the hardware_quot function to do proper trucati... | Robert Norton |
| 2017-06-22 | add a 'print' built-in function handy for writing sail tests. | Robert Norton |
| 2017-05-28 | fixed exmem | Shaked Flur |
| 2017-05-26 | fix run_with builds after build_context gained an extra argument. | Robert Norton |
| 2017-05-24 | Merge branch 'master' of bitbucket.org:Peter_Sewell/sail | Shaked Flur |
| 2017-05-24 | added the exmem effect for AArch64 store-exclusive | Shaked Flur |
| 2017-05-24 | Change types of MEMr_tag, MEMval_tag and co. so that tag is separate from dat... | Robert Norton |
| 2017-05-02 | doc | Peter Sewell |
| 2017-04-24 | added register_value_for_reg | Shaked Flur |
| 2017-04-18 | added transactional memory support | Shaked Flur |
| 2017-04-03 | Rename TranslateAddress to TranslatePC and remove the accessType argument -- ... | Robert Norton |
| 2017-03-29 | change reqiured to work with little endian interpreter. | Robert Norton |
| 2017-03-25 | endianness fix | Shaked Flur |
| 2017-03-24 | fixed endianness | Shaked Flur |
| 2017-03-24 | Christopher, Peter: make "run_interp_model.ml" build again (endianness) | Peter Sewell |
