fixes

1 files changed, 7 insertions, 0 deletions

diff --git a/src/gen_lib/sail_values.lem b/src/gen_lib/sail_values.lem
index 399cc218..2b270e65 100644
--- a/src/gen_lib/sail_values.lem
+++ b/src/gen_lib/sail_values.lem
@@ -267,6 +267,8 @@ let hardware_quot (a:integer) (b:integer) : integer =
   then (a/b) + 1
   else a/b
 
+let quot_signed = hardware_quot
+
 
 let signed_big = signed
 
@@ -588,6 +590,11 @@ let rec repeat xs n =
   if n = 0 then []
   else xs ++ repeat xs (n-1)
 
+(*
+let duplicate bit length =
+  Vector (repeat [bit] length) (if dir then 0 else length - 1) dir
+ *)
+
 let compare_op op (l,r) = bool_to_bit (op l r)
 
 let lt = compare_op (<)