aboutsummaryrefslogtreecommitdiff
path: root/Makefile
AgeCommit message (Expand)AuthorFilesLines
2024-02-01Simplify prelude.sail by including generic_equality.sail and mapping.sailTim Hutt1-1/+1
2024-01-31Update bitfield syntaxAlasdair1-2/+4
2023-12-19lem: Fix issues created by vector extensionAlasdair1-11/+3
2023-12-06Makefile: Set OPAMCLI to 2.0Alasdair1-0/+3
2023-10-17RISC-V Vector Extension SupportXinlai Wan1-1/+13
2023-07-04Adjust Makefile to only use posix options for sedBrian Campbell1-4/+10
2023-06-27Add Sail documentation target to MakefileAlasdair1-0/+6
2023-05-31Add opam packaging for the Coq outputBrian Campbell1-0/+11
2023-05-29Add Zfa extension support (excl. quad-precision)Philipp Tomsich1-0/+3
2023-05-29Add support for the Zicond extensionPhilipp Tomsich1-0/+2
2023-02-23Remove duopodBrian Campbell1-20/+0
2022-08-24Revert "c emulator makefile tweak, as suggested by Thibaut"Alex Richardson1-1/+1
2022-08-09Minimal updates for Coq proof assistant outputBrian Campbell1-1/+1
2022-01-21Add support for Scalar Cryptography Zbkb, Zbkc and Zbkx Extensions (#135)Bilal Sakhawat1-0/+3
2022-01-19Add support for Zfh extension (#129)Bilal Sakhawat1-0/+3
2022-01-19Makefile: Sort files when generating sail-riscv.installJessica Clarke1-1/+1
2021-12-05Support BitManip Zba, Zbb, Zbc and Zbs extensions (#116)Bilal Sakhawat1-0/+5
2021-10-26Makefile: Remove stale commentJessica Clarke1-1/+0
2021-10-22Recent rustc requires -lm for linking against the Sail coverage library (#118)Brian Campbell1-1/+1
2021-10-22Support D extension on RV32 (#108)Jessica Clarke1-4/+2
2021-10-18scalar-crypto: Initial commit of 1.0.0-rc2 spec work. (#99)Ben Marshall1-1/+4
2021-07-29Use headache to apply copyright header at request of Peter Sewell.Robert Norton1-0/+4
2021-07-26Update Coq snapshotBrian Campbell1-2/+2
2021-06-25Fix RVFI build by adding two more functions to c_preserve (#95)Alexander Richardson1-0/+2
2021-06-25Add comment explaining libgmp pkg-config workaround.Robert Norton1-0/+1
2021-06-25Merge pull request #88 from jrtc27/pkg-configRobert Norton1-6/+7
2021-06-25Update MakefileRobert Norton1-1/+1
2021-05-04Makefile: Generalise build to fix Arm-based MacsJessica Clarke1-6/+7
2021-03-16Update Makefile for the new trace formatAlex Richardson1-1/+15
2020-09-04Handle hints explicitly in order to not trap on them.Prashanth Mundkur1-1/+1
2020-06-18Make duopod build in coq again, and fix locationBrian Campbell1-5/+5
2020-06-16Use an output file for generated branch information in the coverage build.Prashanth Mundkur1-2/+3
2020-06-15Update Coq part of the Makefile to use opam packages by defaultBrian Campbell1-5/+28
2020-06-15c emulator makefile tweak, as suggested by ThibautChristopher Pulte1-1/+1
2020-06-10Enable sailcov support in c_emulator if SAILCOV is set in the environment.Prashanth Mundkur1-1/+7
2020-06-04- upgrade to opam 2 packageChristopher Pulte1-1/+4
2020-05-22Add compressed F,D instructions.Prashanth Mundkur1-2/+2
2020-05-22Add a Makefile target for new Sail->C backendAlasdair1-0/+4
2020-04-02Fix a bug in the softfloat interface that caused exception flags not to get a...Prashanth Mundkur1-2/+2
2020-02-26Add convenience 'osim' target for ocaml emulator.Robert Norton1-0/+2
2020-02-03Add softfloat fdext defs for rmem build.Prashanth Mundkur1-1/+1
2020-01-30Invoke recursive make using $(MAKE) as GNU recommendsScott Johnson1-2/+2
2020-01-29Fix rvfi build.Prashanth Mundkur1-1/+1
2020-01-23Add lem stubs for softfloat externs.rsnikhilPrashanth Mundkur1-2/+2
2020-01-22Merge branch 'master' into rsnikhilPrashanth Mundkur1-2/+2
2020-01-18Allow extensions to provide their own exception codes/namesJames Clarke1-2/+2
2020-01-08Add softfloat to rvfi build.Prashanth Mundkur1-1/+1
2020-01-07Merge branch 'master' into rsnikhil.Prashanth Mundkur1-26/+31
2020-01-07Separate out RVFI simulators like non-RVFIJames Clarke1-4/+4
2019-12-05Fix RVFI buildThomas Bauereiss1-1/+1