diff options
| author | Thomas Bauereiss | 2020-03-25 20:40:59 +0000 |
|---|---|---|
| committer | Thomas Bauereiss | 2020-04-10 13:22:11 +0100 |
| commit | 7bf9b460d3b2c324b4fae8e14e0a54e354002f54 (patch) | |
| tree | 0b499d1b6e4f5081726d85d04fbb66c30e2ddafc /test/typecheck | |
| parent | 319c382fe396886fd2b1bd8295c55aa0d9dd0acd (diff) | |
Add Lem builtins for operations on reals
... that match the names in lib/real.sail.
Also fix the lem mapping for abs_int_atom and a Lem syntax error with
nested record updates.
Diffstat (limited to 'test/typecheck')
0 files changed, 0 insertions, 0 deletions