diff options
| author | Shaked Flur | 2015-05-19 16:31:17 +0100 |
|---|---|---|
| committer | Shaked Flur | 2015-05-19 16:31:17 +0100 |
| commit | 65954b92b20ad295b98ea12a8da87e0b3a0b5f54 (patch) | |
| tree | aab7c1fefdf28dd8697e48516a12a92b468accd2 /src/lem_interp/interp_lib.lem | |
| parent | a7de95f222940cbc3f341cb281932d55248325d3 (diff) | |
| parent | 2667b17d8bd508b49674928b7440d779f66431cc (diff) | |
Merge branch 'master' of bitbucket.org:Peter_Sewell/l2
Diffstat (limited to 'src/lem_interp/interp_lib.lem')
| -rw-r--r-- | src/lem_interp/interp_lib.lem | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/lem_interp/interp_lib.lem b/src/lem_interp/interp_lib.lem index bcacaabc..06aabd46 100644 --- a/src/lem_interp/interp_lib.lem +++ b/src/lem_interp/interp_lib.lem @@ -683,6 +683,8 @@ let library_functions direction = [ ("gt_vec_unsigned", compare_op_vec (>) Unsigned); ("lteq_vec_unsigned", compare_op_vec (<=) Unsigned); ("gteq_vec_unsigned", compare_op_vec (>=) Unsigned); + ("signed", to_num Signed); + ("unsigned", to_num Unsigned); ("ltu", compare_op_vec_unsigned (<)); ("gtu", compare_op_vec_unsigned (>)); ("duplicate", duplicate direction); |