diff options
| author | Robert Norton | 2016-01-25 13:38:47 +0000 |
|---|---|---|
| committer | Robert Norton | 2016-01-25 13:38:47 +0000 |
| commit | d893a1195a2385857a7ddccf52d7b8c45f53e9fd (patch) | |
| tree | 4577e6fc8e74d6354efc7113f0e3abc4377f0e2c /src/reporting_basic.ml | |
| parent | 54056df4bcb3a3055da0bb0850bbbf57b2d6e36d (diff) | |
mips.sail: modify overflow check to do exactly what is described in the spec. as the overflow flag provided by +_s builtin doesn't seem to do what we want.
Diffstat (limited to 'src/reporting_basic.ml')
0 files changed, 0 insertions, 0 deletions