aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)AuthorFilesLines
2019-09-04Merge remote-tracking branch 'origin/master' into vmem_ext.vmem_extRobert Norton184-276/+308615
2019-08-20Whitespace fixes to nuke tabs.no_castsPrashanth Mundkur7-15/+15
2019-08-19RISC-V spec, without implicit castsAlasdair Armstrong24-254/+261
2019-08-14Update Coq snapshotsBrian Campbell23-2543/+6122
2019-08-13Fix Coq duopod build by giving missing termination measureBrian Campbell2-1/+2
2019-08-13Update barriers in Coq.Brian Campbell1-11/+11
2019-08-09Allow accumulation of information during page-table-walk for extensions.Prashanth Mundkur13-138/+150
2019-08-05Add some effects to execute function declarationand remove val specs for call...Robert Norton3-8/+4
2019-07-26Fix HOL4 snapshot for recent versions of HOL4Thomas Bauereiss2-4/+2
2019-07-25Update directory map in readme.Prashanth Mundkur1-0/+2
2019-07-25Add snapshots of theorem prover definitionsThomas Bauereiss148-0/+304756
2019-07-23Fix compile error in cheri mode.Prashanth Mundkur1-1/+1
2019-07-22Make a custom exception code available for extensions, and remove the E_CHERI...Prashanth Mundkur15-242/+320
2019-07-22Merge branch 'master' into vmem_extPrashanth Mundkur13-61/+518
2019-07-19Remove cheri-specific comment.Prashanth Mundkur1-1/+0
2019-07-19Merge branch 'master-cleanup'Prashanth Mundkur9-11/+215
2019-07-19Add a new pc access function to get the architectural PC: on CHERI this is no...master-cleanupRobert Norton4-3/+12
2019-07-19Fixed two typosShaked Flur1-1/+1
2019-07-18More tweaks to reading guide and diagram.Prashanth Mundkur3-31/+36
2019-07-18Minor tweaks.Prashanth Mundkur1-4/+7
2019-07-18Add info about the C emulator to the reading guide.Prashanth Mundkur4-6/+186
2019-07-18Make sure everything builds correctlyAlasdair Armstrong5-49/+303
2019-07-18Revert "Support DMB/DSB domains"Alasdair Armstrong4-44/+44
2019-07-18Support DMB/DSB domainsShaked Flur4-44/+44
2019-07-17Disable mmio devices (clint and htif interfaces) when using RVFI to prevent d...Robert Norton1-1/+8
2019-07-16Use reserved bits in PTEs for vmem extensions on RV64, as allowed by the spec...Prashanth Mundkur7-32/+49
2019-07-15Allow extensions to types of memory access, and factor out PTE and PTW defini...Prashanth Mundkur15-168/+178
2019-07-11Merge branch 'master-cleanup'Prashanth Mundkur17-355/+419
2019-07-11Tweak fig.Prashanth Mundkur2-10/+12
2019-07-11Undo get_config workarounds.Prashanth Mundkur3-28/+10
2019-07-11Fix an issue where zeros function defined in sail conflicted with lem builtin...Robert Norton1-24/+7
2019-07-09Merge pull request #15 from heshamelmatary/masterPrashanth Mundkur1-0/+0
2019-07-09Merge branch 'master-cleanup' of github.com:rems-project/sail-riscv into mast...Prashanth Mundkur4-0/+11
2019-07-09Minor tweak to fig.Prashanth Mundkur2-231/+235
2019-07-09Add some missed logging guards.Prashanth Mundkur6-47/+83
2019-07-09Move the get_config_ print defaults to the backend preludes, since it seems t...Prashanth Mundkur3-7/+24
2019-07-09Fix shadowing of the -v option in C emulator.Prashanth Mundkur1-6/+6
2019-07-09Add ext_rvfi_init to allow model to be initialised differently for rvfi.Robert Norton4-0/+11
2019-07-03Add a maximum memory access size to slightly improve C code geneation.Robert Norton3-23/+32
2019-07-03os-boot: Update Hafnium imageHesham Almatary1-0/+0
2019-07-02Default terminal output to stdout instead of in 'term.log'.Robert Norton1-2/+1
2019-07-02Add an instruction limit option to C emulator. Also print kips every 2**20 (~...Robert Norton1-2/+22
2019-07-02Crank up optimisation (sail and gcc).Robert Norton1-2/+2
2019-07-01Predicate another bit of tracing.Robert Norton1-1/+2
2019-07-01Merge remote-tracking branch 'origin/master' into master-cleanupRobert Norton11-21/+37
2019-07-01Improve argument parsing of C emulator. Make trace / no-trace argument optional.Robert Norton1-11/+14
2019-06-28Rename zeros and ones implicit functions to something that sail monomorphisat...Robert Norton1-7/+4
2019-06-28add interpreter extern for string_of_intJon French1-1/+1
2019-06-28Avoid implicit casts to stringAlasdair11-20/+36
2019-06-27Merge pull request #14 from gameboo/aj443-fixesPrashanth Mundkur4-8/+8
generated by cgit v1.1 at 2024-07-17 04:06:56 +0000