diff options
| author | Brian Campbell | 2018-09-19 18:59:00 +0100 |
|---|---|---|
| committer | Brian Campbell | 2018-09-19 18:59:00 +0100 |
| commit | 40594e108f2b88b9463afde401e0db95aed30bf2 (patch) | |
| tree | 8f57b4dec790cd92364b597e45c2e78b830a62a0 /mips | |
| parent | 71bb375e158e2d5fd55337fc0ba737ee0a6ecf50 (diff) | |
Coq: track changes elsewhere
- more hex_bits functions, add decimal_string_of_bits
- extra tuple unfolding in constructors
- note that variables can be redundant wildcard clauses
- update RISC-V patch
Diffstat (limited to 'mips')
0 files changed, 0 insertions, 0 deletions