diff options
| author | Alasdair Armstrong | 2018-04-03 15:06:56 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2018-04-03 17:19:48 +0100 |
| commit | 6208b4a8d426abfee3c067b542573977f4cb4240 (patch) | |
| tree | 7808e09524a0d864af8d2aad58c84230ae4ad128 /src | |
| parent | 3e6cd07f4edebedfbcbd7bb4f3b80ddbba3cf420 (diff) | |
Added test cases for builtins
Added library for simple integer arithmetic functions in lib/arith.sail
WIP TeX file for formatting latex output included in lib/sail.tex
Fixes for bugs in sail_lib
Diffstat (limited to 'src')
| -rw-r--r-- | src/sail_lib.ml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/sail_lib.ml b/src/sail_lib.ml index 99ce04a5..47acae88 100644 --- a/src/sail_lib.ml +++ b/src/sail_lib.ml @@ -112,6 +112,8 @@ let internal_pick list = let eq_int (n, m) = Big_int.equal n m +let eq_bool ((x : bool), (y : bool)) : bool = x = y + let rec drop n xs = match n, xs with | 0, xs -> xs @@ -151,7 +153,7 @@ let update_subrange (xs, n, m, ys) = in aux xs n ys -let vector_truncate (xs, n) = take (Big_int.to_int n) xs +let vector_truncate (xs, n) = List.rev (take (Big_int.to_int n) (List.rev xs)) let length xs = Big_int.of_int (List.length xs) |