diff options
| author | Brian Campbell | 2018-06-22 18:08:51 +0100 |
|---|---|---|
| committer | Brian Campbell | 2018-06-22 18:38:14 +0100 |
| commit | 2f51143ed88e2d9bd337a8d71298a7b75e90cbec (patch) | |
| tree | bc8c7b6db8b6201de4aa09425163e16114efb680 /src | |
| parent | 96b61fb37ee67c9406d978db8d2f548a2a9208b9 (diff) | |
Precise bitvector subrange functions for Coq.
Also fix the constraints in the standard prelude files,
add a couple of useful cast rewriting lemmas.
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions