summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2018-07-03cheri: refine lwl/lwr cap length checks to be exact. They were previously a b...Robert Norton
2018-07-03mips: just whitespace.Robert Norton
2018-07-03Fix letbind_effects on LEXP_deref with an effectful subexpressionBrian Campbell
2018-07-03Fill in a few Coq functions for CHERI from the MIPS preludeBrian Campbell
2018-07-03Main: fix SEE handlingAlastair Reid
2018-07-03cheri: update to register file semantics. Most instructions now treat c0 as n...Robert Norton
2018-07-02Fix get_recursive_functions to not only pick up non-mutually recursive functionsAlasdair Armstrong
2018-07-02Coq: add some string functionsBrian Campbell
2018-07-02Coq: tidy up a bit of printingBrian Campbell
2018-07-02Coq modulus operation that fits the typeBrian Campbell
2018-07-02Coq: replace simpl in a tactic with a more precise "change"Brian Campbell
2018-07-02Coq: multiple record field updatesBrian Campbell
2018-07-02Work around Coq issue with pattern bindersBrian Campbell
2018-07-02Coq building rule in MIPS makefileBrian Campbell
2018-07-02cheri: the default cap for 256-bits no longer has reserved bits set.Robert Norton
2018-07-02optimise cheri c build.Robert Norton
2018-07-01RTS: Fail on AArch32 and ASIMDAlastair Reid
2018-06-30RTS: fix replicate_bitsAlastair Reid
2018-06-30RTS: Add length asserts to bits opsAlastair Reid
2018-06-30Main: trivial restructuring of print commands to make them easier to read/mai...Alastair Reid
2018-06-30Fix an issue with vector_update_subrangeAlasdair
2018-06-29Constant folding improvementsAlasdair
2018-06-29Main: many small tweaks.Alastair Reid
2018-06-29RTS: tweak TIMEOUT messageAlastair Reid
2018-06-29Prelude: drop escape effect from sleep/verbosity primopsAlastair Reid
2018-06-28RTS: Fix utterly broken command line parsingAlastair Reid
2018-06-28RTS: Add --verbosity flag to C modelAlastair Reid
2018-06-28Add tagged memory to C rts to cheri can be compiled to CAlasdair Armstrong
2018-06-28Fix warning in rts.cRobert Norton
2018-06-28further changes to support rmemJon French
2018-06-28Fix build of Aarch64_mono.thyThomas Bauereiss
2018-06-28Add patches to (monomorphised) AArch64Thomas Bauereiss
2018-06-28Add option to build ocaml with bisect_ppx coverage support. Add cheri targets...Robert Norton
2018-06-28RTS: Add missing #includeAlastair Reid
2018-06-28Deduplicate arguments for different constructors in undefined fnsBrian Campbell
2018-06-28Main: exit if you hit IMPDEF behaviourAlastair Reid
2018-06-27RTS/Main: tweaking cycle counter handlingAlastair Reid
2018-06-27Actually fix real literals, and add a test for various propertiesAlasdair Armstrong
2018-06-27Fix reading reals from strings in C libAlasdair Armstrong
2018-06-27libsail: optimise real_powerAlastair Reid
2018-06-27Add a mips_c_gcov target that builds mips_c model with coverage reporting.Robert Norton
2018-06-27Add a new function cycle_limit_reached that returns bool, allowing for gracef...Robert Norton
2018-06-27Fix real implementation in C to use GMP rationalsAlasdair Armstrong
2018-06-27Main: refactor fetch_and_executeAlastair Reid
2018-06-27RTS: __SetConfig support is off by defaultAlastair Reid
2018-06-27RTS: Add support for __ListConfigAlastair Reid
2018-06-27RTS: Delete __SetConfig stub functionAlastair Reid
2018-06-27Make sure __SetConfig gets included in generated codeAlasdair Armstrong
2018-06-27Main: fix PC advance after HINT and other EndOfInstructionAlastair Reid
2018-06-26Fix duplicate riscv mem-ea, spotted by Jon French.Prashanth Mundkur
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-09 13:55:53 +0000