replace memory representation with map of 1MB pages rather than map of bytes. This makes loading binaries much quicker but doesn't seem to make a big difference to execution speed.

1 files changed, 3 insertions, 1 deletions

diff --git a/src/gen_lib/sail_values.ml b/src/gen_lib/sail_values.ml
index 6f46d7c3..99f037f7 100644
--- a/src/gen_lib/sail_values.ml
+++ b/src/gen_lib/sail_values.ml
@@ -630,7 +630,9 @@ let multiply   = multiply_big
 let modulo     = modulo_big
 let quot       = quot_big
 let power      = power_big
-let min        = min_big
+let min_int    = min (* the built-in version *)
+let min        = min_big (* is overwritten here *)
+let max_int    = max (* likewise *)
 let max        = max_big
 
 let arith_op_vec_big op sign size (l,r) =