diff options
| author | Thomas Bauereiss | 2018-05-10 14:23:49 +0100 |
|---|---|---|
| committer | Thomas Bauereiss | 2018-05-11 11:39:45 +0100 |
| commit | db3b6d21c18f4ac516c2554db6890274d2b8292c (patch) | |
| tree | 57bc0ac429fd4cb42ae52351198de80a5c47445d /doc/examples/overload.sail | |
| parent | 17c786ea27bf644efdae271b8a93bd5ce1d730e8 (diff) | |
Remove buggy bit list comparison functions from Lem library
Found bugs by running CHERI test suite on Isabelle-exported model: signed
less-than for bit lists was missing negations for the two's complement, and
unsigned less-than compared the reverse lists.
Since all other backends implement this in Sail, it seems best to just remove
this code.
Also add support for infix operators to Lem backend, by z-encoding their
identifiers like the other backends do.
Diffstat (limited to 'doc/examples/overload.sail')
0 files changed, 0 insertions, 0 deletions