diff options
| author | Brian Campbell | 2019-01-25 14:23:26 +0000 |
|---|---|---|
| committer | Brian Campbell | 2019-01-25 14:23:26 +0000 |
| commit | 5682dd34fce64869a611ba1aee5e1e73b2f2fd0f (patch) | |
| tree | d82c43a56d5bd78c5988de491108d1f05b3a8524 /src/process_file.ml | |
| parent | 9fffbae81148b2e4c65017d79fde20102c19a3b5 (diff) | |
Coq: add enough to generate some output for arm-v8.5-a
Now supports mutual recursion, configuration registers (in the same way
as Lem), boolean constraints (but produces some ugly stuff that the solver
can't handle).
Diffstat (limited to 'src/process_file.ml')
0 files changed, 0 insertions, 0 deletions