diff options
| author | Brian Campbell | 2019-02-28 16:47:00 +0000 |
|---|---|---|
| committer | Brian Campbell | 2019-02-28 17:16:10 +0000 |
| commit | f86ce3508a9909032d1168091989b65a796314a6 (patch) | |
| tree | 3b46972383739f73e5e5891fb1857ac657fd77b7 /arm | |
| parent | 143ae2d39ede6bef3e39e2ec4d407ddfdd281a0c (diff) | |
Coq: Clean up rich boolean handling in backend
Now generates something vaguely sensible for RISC-V, although the solver
needs a little work.
Adds type annotations around effectful, rich and/or expressions.
Diffstat (limited to 'arm')
0 files changed, 0 insertions, 0 deletions