diff options
| author | Robert Norton | 2017-02-08 11:00:17 +0000 |
|---|---|---|
| committer | Robert Norton | 2017-02-08 11:00:17 +0000 |
| commit | 5bca59c3e2c3c1fd07b1240cb2ea17936d8f3465 (patch) | |
| tree | f3f7220697c0d4bb6d895a24eacddb03651346be /src/spec_analysis.ml | |
| parent | 1017b0d89a4a2727ac51806defe104a4cbfcaa7d (diff) | |
Implement fast representable bounds check as used on FPGA (cincoffset only so far).
Diffstat (limited to 'src/spec_analysis.ml')
0 files changed, 0 insertions, 0 deletions