diff options
| author | Alasdair Armstrong <alasdair.armstrong@cl.cam.ac.uk> | 2024-05-10 03:16:06 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-05-10 03:16:06 +0100 |
| commit | 08f96f61a6578c9fe45acb4fb9b42af680e77d21 (patch) | |
| tree | 975d158955c6d011282051815c0b36fcf0871a0a /prover_snapshots | |
| parent | e3c5b0a3016fa52bf1f167b5a918a60f24b634fa (diff) | |
| download | sail-riscv-08f96f61a6578c9fe45acb4fb9b42af680e77d21.zip sail-riscv-08f96f61a6578c9fe45acb4fb9b42af680e77d21.tar.gz sail-riscv-08f96f61a6578c9fe45acb4fb9b42af680e77d21.tar.bz2 | |
Remove theorem prover targets from default Makefile rule (#464)
In general we aren't requiring contributors to implement the correct
Lem/Isabelle/HOL4/Coq stubs for new extensions (this would almost
certainly be way too high a bar) so having these in the default set of
build targets just means that typing 'make' is broken until those of us
who are invested in maintaining those targets can add updates for those
stubs.
Diffstat (limited to 'prover_snapshots')
0 files changed, 0 insertions, 0 deletions