Commits · rmem_interpreter · github.com / riscv / sail-riscv

Apr 12, 2019
- Merge branch 'master' into rmem_interpreter · 4ddeb44d
  Jon French authored Apr 12, 2019
  
  4ddeb44d
- ocaml emulator: add ocaml impls for new standard Sail memory functions · d8cd74d5
  Jon French authored Apr 12, 2019
  
  d8cd74d5
Apr 10, 2019
- Update Coq memory interfaces · ca184a70
  Brian Campbell authored Apr 10, 2019
```
(requires recent changes to the Coq library)
```
  ca184a70
- Add a script to build rv32/rv64 ocaml and c emulators. · 6368a2ac
  Prashanth Mundkur authored Apr 09, 2019
  
  6368a2ac
- Fix c.addiw to expand to a non-rvc instruction as per spec. · ef856666
  Prashanth Mundkur authored Apr 09, 2019
  
  ef856666
Apr 04, 2019
- Add `sys_enable_writable_misa` and `sys_enable_rvc` to Coq extras file · f8322738
  Brian Campbell authored Apr 04, 2019
  
  f8322738
Apr 03, 2019

Tweak print_* bindings for Lem · 12951120

Thomas Bauereiss authored Apr 03, 2019

Map to a function that does not actuaylly output anything, in order to
not confuse rmem.

12951120

Apr 02, 2019
- Add missed lem definitions for sys misa/rvcflags. · 9f30ffdb
  Prashanth Mundkur authored Apr 01, 2019
  
  9f30ffdb
Mar 30, 2019
- Add a note about 32-bit OS boots. · 483e1e40
  Prashanth Mundkur authored Mar 29, 2019
  
  483e1e40
- Generalize the previous commit to handle hardwired misa.c. · ec7d9a39
  Prashanth Mundkur authored Mar 29, 2019
  
  ec7d9a39
- Tweak legalize_xepc according to spec: xepc[1] should always be writeable. · fe2b7a1c
  Robert Norton authored Feb 15, 2019
  
  fe2b7a1c
Mar 25, 2019
- Fix prelude for new names of div and mod functions. · b8add631
  Robert Norton authored Mar 25, 2019
  
  b8add631
Mar 14, 2019
- Merge branch 'master' into rmem_interpreter · 734b2f69
  Jon French authored Mar 14, 2019
  
  734b2f69
- Use Bytes.get instead of square bracket notation. I think this is an ocaml version incompatibility. · 925b2c8a
  Robert Norton authored Mar 14, 2019
  
  925b2c8a
Mar 13, 2019
- Add workaround for records with len parameters · 665d721d
  Brian Campbell authored Mar 13, 2019
  
  665d721d
Mar 12, 2019
- Fix missed tlb updates. · 748e0f75
  Prashanth Mundkur authored Mar 12, 2019
  
  748e0f75
- refactor memory access to use new sail intrinsics · ba6ed9f4
  Jon French authored Mar 12, 2019
  
  ba6ed9f4
- riscv_platform.sail: use externs for platform values even in interpreter · 68a69d4e
  Jon French authored Mar 12, 2019
  
  68a69d4e
- fix missing separator in shift instruction disassemblies · eab254de
  Jon French authored Mar 12, 2019
  
  eab254de
- prelude.sail: fix print_foo externs in interpreter · e5012607
  Jon French authored Mar 12, 2019
  
  e5012607
- Makefile: generate toFromInterp and marshalled defs for RMEM · 954a4626
  Jon French authored Mar 12, 2019
  
  954a4626
- Fix rvfi initialization. · 7f3f641a
  Prashanth Mundkur authored Mar 11, 2019
  
  7f3f641a
- Fix typo in Makefile. · 7f07eeff
  Prashanth Mundkur authored Mar 11, 2019
  
  7f07eeff
- Add tlbs for Sv32 and Sv48, and some fixes to sfence.vma. · 568b2096
  Prashanth Mundkur authored Mar 11, 2019
```
- handle sfence.vma in machine-mode
- flush both tlb39 and tlb48 in 64-bit mode
```
  568b2096
- Fixes for Sv39 TLB. · e6e7443d
  Prashanth Mundkur authored Mar 11, 2019
```
- fix and simplify model initialization, to enable generic TLB initialization
- re-enable sfence.vma
```
  e6e7443d
Mar 09, 2019
- Initial attempt at genericizing TLB entries, and re-introduce for Sv39. · c687c30e
  Prashanth Mundkur authored Mar 08, 2019
  
  c687c30e
- Another prelude cleanup. · 66217d34
  Prashanth Mundkur authored Mar 08, 2019
  
  66217d34
Mar 08, 2019
- Minor prelude cleanup. · aef9f931
  Prashanth Mundkur authored Mar 07, 2019
  
  aef9f931
- Get rvfi building again. · 6e9bf2c5
  Prashanth Mundkur authored Mar 07, 2019
  
  6e9bf2c5
- Fix docs about sel4 boot. · 1d85b196
  Prashanth Mundkur authored Mar 07, 2019
  
  1d85b196
- More doc tweaks. · 7e6961b5
  Prashanth Mundkur authored Mar 07, 2019
  
  7e6961b5
- Another doc update. · 5eb14e67
  Prashanth Mundkur authored Mar 07, 2019
  
  5eb14e67
- More doc tweaks. · 4c566ab1
  Prashanth Mundkur authored Mar 07, 2019
  
  4c566ab1
- More doc tweaks. · 7459f380
  Prashanth Mundkur authored Mar 07, 2019
  
  7459f380
- More doc updates. · 8bb8f1cc
  Prashanth Mundkur authored Mar 07, 2019
  
  8bb8f1cc
- More doc edits. · 97d6a6a3
  Prashanth Mundkur authored Mar 07, 2019
  
  97d6a6a3
- Minor doc edits. · c6c9f7c9
  Prashanth Mundkur authored Mar 07, 2019
  
  c6c9f7c9
- Add sample OS images and update docs. · e1161737
  Prashanth Mundkur authored Mar 07, 2019
  
  e1161737
Mar 07, 2019
- Minor clarification in readme. · 6e69bfb8
  Prashanth Mundkur authored Mar 06, 2019
  
  6e69bfb8
- Fix a missed case of reservation cancellation. · 04dfbad3
  Prashanth Mundkur authored Mar 06, 2019
  
  04dfbad3