diff options
| author | Brian Campbell | 2018-05-21 17:17:36 +0100 |
|---|---|---|
| committer | Brian Campbell | 2018-05-21 17:17:46 +0100 |
| commit | c4368a58adc6260af2c5ff759f267af23a81cec6 (patch) | |
| tree | 2776ccf0dc2ea577a37bce1a29d219b52ae5b3ca /riscv | |
| parent | 960dcf4f02d11feb6e8b4be58bf4eb2feec1340c (diff) | |
Get Aarch64 exported to HOL4
Worked around problem with the model where it tries to use bound variables
in patterns
Diffstat (limited to 'riscv')
0 files changed, 0 insertions, 0 deletions