summaryrefslogtreecommitdiff
path: root/riscv/Makefile
AgeCommit message (Expand)Author
2018-09-04C: Tweaks to RISC-V to get compiling to CAlasdair Armstrong
2018-08-31Some C stubs for platform bits for RISC-V.Prashanth Mundkur
2018-08-30Annotate the RISC-V prelude for C builtins.Prashanth Mundkur
2018-08-30Add a C header containing declarations needed by RISC-V.Prashanth Mundkur
2018-08-29C: Fix some issues with tuples as arguments to polymorphic constructorsAlasdair Armstrong
2018-08-28Adapt theory imports for Isabelle 2018Thomas Bauereiss
2018-08-13Add constraints to RISC-V duopod, makefile rulesBrian Campbell
2018-08-13Basic Coq support for RISC-VBrian Campbell
2018-07-27Add a riscv latex target.Prashanth Mundkur
2018-07-10Start adding c-backend bits for riscv.Prashanth Mundkur
2018-07-10Make HOL build properly again for all of the modelsBrian Campbell
2018-07-09add riscv_analysis.sail to SAIL_SRCSJon French
2018-07-08Add a riscv coverage target using bisect-ppx.Prashanth Mundkur
2018-06-22Add a simple trace log comparison tool for riscv vs. a patched spike.Prashanth Mundkur
2018-06-11Merge branch 'sail2' into mappingsJon French
2018-05-23Fix riscv build for older versions of ocamlbuild (e.g. 4.02.3) by copying pla...Robert Norton
2018-05-22Re-enable the RISC-V lem build, and switch the test-suite to use the platform...Prashanth Mundkur
2018-05-21Add in the platform files and update the ocaml build. Disable the isabelle b...Prashanth Mundkur
2018-05-21Move mem-op-result to _sys to be usable from _platform.Prashanth Mundkur
2018-05-17Tidy up HOL4 riscv a littleBrian Campbell
2018-05-17Use an intermediate base_monad type alias in Lem,Brian Campbell
2018-05-11Merge branch 'sail2' into cheri-monoThomas Bauereiss
2018-05-10RISC-V in HOL4Brian Campbell
2018-05-10Merge branch 'sail2' into mappingsJon French
2018-05-10riscv/Makefile: add SAIL variable for easier debuggingJon French
2018-05-09remove redundant cloc targets.Robert Norton
2018-05-09Add targets for counting lines in mips, cheri and riscv. Can use either slocc...Robert Norton
2018-05-09add SAIL_FLAGS env var to riscv makefileJon French
2018-05-03Implement fetch to properly handle RVC and address translation, and add a ste...Prashanth Mundkur
2018-04-23Make riscv build depend on Makefile updates.Prashanth Mundkur
2018-04-13Move riscv memory definitions into a separate file.Prashanth Mundkur
2018-03-21Patch AST datatypes in generated Isabelle theoriesThomas Bauereiss
2018-02-15Rebase state monad onto prompt monadThomas Bauereiss
2018-02-01Clean up riscv_duopod sail and add make targets for ocaml and Isabelle.Robert Norton
2018-01-29riscv: fix warnings about incomplete patterns. Add a check target in Makefile...Robert Norton
2018-01-29Added ecall/mret and exception support.Prashanth Mundkur
2018-01-27Add Makefile for RISC-VThomas Bauereiss
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-09 17:34:41 +0000