summaryrefslogtreecommitdiff
path: root/riscv/main.sail
AgeCommit message (Expand)Author
2018-12-20RISVC model is now at https://github.com/rems-project/sail-riscv . Remove it ...Robert Norton
2018-09-06RISCV: Get enough of the RISCV platform into C to run some testsAlasdair Armstrong
2018-08-29C: Fix some issues with tuples as arguments to polymorphic constructorsAlasdair Armstrong
2018-06-11Merge branch 'sail2' into mappingsJon French
2018-05-23restore original riscv mainJon French
2018-05-21Move the top-level loop from main to riscv_step, but remove elf bits.Prashanth Mundkur
2018-05-21further RISCV mapping: all extant non-compressed instructions doneJon French
2018-05-15Merge branch 'sail2' into mappingsJon French
2018-05-15Fix the ebreak instruction to trap, and remove the now obsolete internal exce...Prashanth Mundkur
2018-05-11...and actually workingJon French
2018-05-10more mappingJon French
2018-05-09Remove unused definitions.Prashanth Mundkur
2018-05-03Fix interrupt dispatch, improve execution logs, cleanup unused bits.Prashanth Mundkur
2018-05-03Simplify the top-level execute loop using the step function.Prashanth Mundkur
2018-05-03Fix up interrupt and exception dispatch.Prashanth Mundkur
2018-05-02Tick cycle counter in execute loop.Prashanth Mundkur
2018-04-26Initial support for faults of reads to physical addresses.Prashanth Mundkur
2018-04-20Add a riscv instruction printer for the execution log.Prashanth Mundkur
2018-04-09Update riscv to use the new system definitions, remove duplicates.Prashanth Mundkur
2018-03-19Fixes to C backend for RISCV-compilationAlasdair Armstrong
2018-03-07Make union types consistent in the ASTAlasdair Armstrong
2018-02-06Add a system initialization function. For now, it merely initializes support...Prashanth Mundkur
2018-02-01badaddr is a misleading name, since it could contain what the PC points to fo...Prashanth Mundkur
2018-02-01Initial top-level support for compression instructions.Prashanth Mundkur
2018-01-29Add some initial exception handling to the riscv execution loop.Prashanth Mundkur
2018-01-29riscv: remove break from main loop and place val spec in prelude.Robert Norton
2018-01-25Extend RISCV main loop with support for tohost interface used by test suite f...Robert Norton
2018-01-25work in progress riscv CSR implementation.Robert Norton
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-09 20:35:58 +0000