summaryrefslogtreecommitdiff
path: root/src/lem_interp/sail_impl_base.lem
diff options
context:
space:
mode:
authorRobert Norton2017-02-08 11:00:17 +0000
committerRobert Norton2017-02-08 11:00:17 +0000
commit5bca59c3e2c3c1fd07b1240cb2ea17936d8f3465 (patch)
treef3f7220697c0d4bb6d895a24eacddb03651346be /src/lem_interp/sail_impl_base.lem
parent1017b0d89a4a2727ac51806defe104a4cbfcaa7d (diff)
Implement fast representable bounds check as used on FPGA (cincoffset only so far).
Diffstat (limited to 'src/lem_interp/sail_impl_base.lem')
0 files changed, 0 insertions, 0 deletions