diff options
| author | Thomas Bauereiss <tb592@cl.cam.ac.uk> | 2019-07-26 13:10:13 +0100 |
|---|---|---|
| committer | Thomas Bauereiss <tb592@cl.cam.ac.uk> | 2019-07-26 13:11:00 +0100 |
| commit | c87bb2ccbabb4a3a7003af3913f4525ebdcc6156 (patch) | |
| tree | 19cf07880b8213af369680db5ba754a354223a24 /test | |
| parent | 57612b620ad2a3e1d532f24b89c29397d5af3f82 (diff) | |
| download | sail-riscv-c87bb2ccbabb4a3a7003af3913f4525ebdcc6156.zip sail-riscv-c87bb2ccbabb4a3a7003af3913f4525ebdcc6156.tar.gz sail-riscv-c87bb2ccbabb4a3a7003af3913f4525ebdcc6156.tar.bz2 | |
Fix HOL4 snapshot for recent versions of HOL4
Also fix "clean" target in Holmakefile
Diffstat (limited to 'test')
0 files changed, 0 insertions, 0 deletions