| Age | Commit message (Expand) | Author |
|---|
| 2017-08-28 | Merge branch 'experiments' of bitbucket.org:Peter_Sewell/sail into mono-exper... | Brian Campbell |
| 2017-08-24 | Begin refactoring Sail library | Thomas Bauereiss |
| 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 |
| 2017-03-24 | Print tracking information for V_track, hopefully fix extern_vector_value, fi... | Christopher Pulte |
| 2017-03-23 | the interpreter/shallow expects little-endian memory-values | Shaked Flur |
| 2017-03-02 | tweak comments | Peter Sewell |
| 2017-02-08 | put back the header into Sail_impl_base | Christopher Pulte |
| 2017-02-08 | pull in Shaked's type class instance changes, fix Ord and Eq instances | Christopher Pulte |
| 2017-02-03 | fix headers | Peter Sewell |
| 2017-01-27 | fix right shift | Kathy Gray |
| 2017-01-26 | c128: xor E with 48 when storing in memory so that null cap is all zeros but ... | Robert Norton |
| 2017-01-26 | christopher, kathy, peter: hacky experiment on nias_of_instruction | Peter Sewell |
| 2017-01-25 | Make interpreter a little more flexible on the format of a register type to m... | Kathy Gray |
| 2017-01-25 | Merge branch 'master' of https://bitbucket.org/Peter_Sewell/sail | Kathy Gray |
| 2017-01-25 | Make vector equality remember about the possibility of unknown values | Kathy Gray |
| 2017-01-24 | functionality for comparing handwritten analysis function with exhaustive int... | Christopher Pulte |
| 2017-01-24 | Remember to pass through collapse argument in else case in bit_lifteds_to_string | Robert Norton |
| 2017-01-23 | remove taint printing | Kathy Gray |
| 2017-01-23 | Extend lib with min and max | Kathy Gray |
| 2017-01-14 | changes to enable interpreter exhaustive analysis in ppcmem again | Christopher Pulte |
