diff options
| author | Brian Campbell | 2018-09-04 18:36:18 +0100 |
|---|---|---|
| committer | Brian Campbell | 2018-09-04 18:36:18 +0100 |
| commit | cff8eb8a6febc26a2742f5c88b933f5441727b29 (patch) | |
| tree | 2e5b4af35fae440b6bd27f3ca42cbec0e32f4502 /lib/hol | |
| parent | a51ad0a3afb65af3209f67ace7defd24bf42c26d (diff) | |
Add a rewrite to minimise the number of functions marked as recursive
Particularly useful when execute has been split up (e.g., on RISC-V).
Only enabled on Coq for now.
Diffstat (limited to 'lib/hol')
0 files changed, 0 insertions, 0 deletions