summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2017-08-24added barrier-kind for x86 MFENCE;Shaked Flur
2017-08-22x86: rename size type to avoid name clash in RMEM.Robert Norton
2017-08-22Merge branch 'master' of https://bitbucket.org/Peter_Sewell/sailChristopher Pulte
2017-08-22and fix that other placesChristopher Pulte
2017-08-22added RISC-V "fence w,w" and "fence.i";Shaked Flur
2017-08-22adapt state.lem to RISCV additionsChristopher Pulte
2017-08-21port x86 model to old type checker.Robert Norton
2017-08-21RISC-V load-reserved and store-conditionalShaked Flur
2017-08-19RISC-V store-releaseShaked Flur
2017-08-17Merge branch 'master' of bitbucket.org:Peter_Sewell/sailShaked Flur
2017-08-17added RISC-V load-acquireShaked Flur
2017-08-17riscv: fix warnings because of unneeded catch-all cases in types.hgen.Robert Norton
2017-08-17fixed the RISC-V fences (3 types: "rw,rw"/"r,rw"/"rw,w")Shaked Flur
2017-08-16lem_interp: remove broken val_to_string_internal functions, replace with stri...Jon French
2017-08-16riscv: fix back to front args in store pretty print.Robert Norton
2017-08-15riscv: store the decoded branch immediate in the ast type -- this simplifies ...Robert Norton
2017-08-15remove unneeded regs_out_in.hgen files.Robert Norton
2017-08-15riscv: include pred and succ fields in translation of FENCE (currently hard c...Robert Norton
2017-08-15better names for store parameters.Robert Norton
2017-08-15riscv: fix incorrect argument order for store parser.Robert Norton
2017-08-15fix incorrect mnemonic for luiRobert Norton
2017-08-15riscv: fix word/half backwards in load.Robert Norton
2017-08-15riscv: limit stores to only relevant bytes.Robert Norton
2017-08-14add risc-v fence instruction as re-using MIPS sync for now. Also place holder...Robert Norton
2017-08-12Resolve ambiguity between negation of integers and boolsThomas Bauereiss
2017-08-12Fix compilation issue for 32-bit systemsThomas Bauereiss
2017-08-11further riscv rmem integration.Robert Norton
2017-08-08work on integrating risc-v model with rmem (incomplete).Robert Norton
2017-08-08work around missing >=_u in sail.Robert Norton
2017-08-02fix sail library test interpreter glue for API change. Also fix build_context...Robert Norton
2017-08-02add .merlin fileJon French
2017-08-02fix run_with_elf*.ml with changed lem_interp apiJon French
2017-07-27implement RV64I based on version 2.0 user spec.Robert Norton
2017-07-26mips_extras.lem: fix references to Interp.V_fooJon French
2017-07-26Merged in ojno/sail (pull request #1)Jonathan French
2017-07-24interpreter: optionally print debugging tracesJon French
2017-07-24vector parts of interpreter now evaluate all arguments of expression before e...Jon French
2017-07-24move value type definitions to ott, and introduce new E_internal_value ast no...Jon French
2017-07-21remove -merge true from ott makefile -- lem at least doesn't build with itJon French
2017-07-21l2.ott: port across additions to base_effect from rmemJon French
2017-07-21l2.ott: factor ocaml 'l' type reference into ott definition of 'l'Jon French
2017-07-21l2.ott, l2_parse.ott: remove unnecessary 'type text = string'Jon French
2017-07-20add new CNEXEQ instruction.Robert Norton
2017-07-19split library tests into separate files to avoid risk of sail compiler stack ...Robert Norton
2017-07-19borrow some of aa's bash code to convert library test suite output to junit ...Robert Norton
2017-07-06Tests for (almost) all sail builtins. Many interesting things discovered. Lib...Robert Norton
2017-07-06fix off by one in type of add_vec builtin function. There are many more dubio...Robert Norton
2017-07-06fix interpreter version of get_min/max_representable which similarly broken t...Robert Norton
2017-07-06fix interpreter lteq/gteq for range/vec.Robert Norton
2017-07-06fix interpreter version of != which was broken for vector/range comparisons.Robert Norton
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-09 19:24:56 +0000