diff options
| author | Thomas Bauereiss | 2018-07-11 12:59:59 +0100 |
|---|---|---|
| committer | Thomas Bauereiss | 2018-07-11 13:23:17 +0100 |
| commit | 7e79a2adde6a75e33973a1cd559f85a47551b18a (patch) | |
| tree | f8c29a4898720d354c6f6cc54cf5ffb24fef36bd /snapshots | |
| parent | c2e3f39158d800cf768664f7e61a27c9a824559c (diff) | |
Partially revert change to add_vec_int et al
On second thought, this change should not really make a difference; the CHERI
test suite still passes without it. Moreover, using unsigned conversion of the
vector argument leads to more convenient lemmas for the provers.
Diffstat (limited to 'snapshots')
0 files changed, 0 insertions, 0 deletions