diff options
| author | Brian Campbell | 2019-03-18 15:37:23 +0000 |
|---|---|---|
| committer | Brian Campbell | 2019-03-18 15:37:23 +0000 |
| commit | 01a00735db79d4dde665f4a3a3ae7d777664510a (patch) | |
| tree | f4a5f44deff16d4a88765c72864b03ba7198b64f /lib | |
| parent | 22ced4748484bbc0e930efd74f7d162fe561fe32 (diff) | |
Add non-negative constraints for zeros/ones
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/vector_dec.sail | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/vector_dec.sail b/lib/vector_dec.sail index 7d85dcc5..746d29c6 100644 --- a/lib/vector_dec.sail +++ b/lib/vector_dec.sail @@ -166,9 +166,9 @@ val sail_shiftright = "shiftr" : forall 'n ('ord : Order). val sail_arith_shiftright = "arith_shiftr" : forall 'n ('ord : Order). (vector('n, 'ord, bit), int) -> vector('n, 'ord, bit) effect pure -val sail_zeros = "zeros" : forall 'n. atom('n) -> bits('n) +val sail_zeros = "zeros" : forall 'n, 'n >= 0. atom('n) -> bits('n) -val sail_ones : forall 'n. atom('n) -> bits('n) +val sail_ones : forall 'n, 'n >= 0. atom('n) -> bits('n) function sail_ones(n) = not_vec(sail_zeros(n)) |