diff options
| author | Alasdair Armstrong | 2019-05-29 15:28:02 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2019-05-29 15:29:29 +0100 |
| commit | 9e60c03133b28dc177ef1f11c60a362a2125efa7 (patch) | |
| tree | ca28c7018fa9ab34b27f5ee14aa2123447bf785a /lib/hol | |
| parent | 6ba38222362311e708587fc2d777aeab5028237e (diff) | |
SMT: Make bitvector equality work between vectors of different lengths
Diffstat (limited to 'lib/hol')
0 files changed, 0 insertions, 0 deletions