diff options
| author | Robert Norton | 2019-05-30 14:43:15 +0100 |
|---|---|---|
| committer | Robert Norton | 2019-05-30 14:43:32 +0100 |
| commit | 101065d9c2c7f0d84f352019f157db9b1498a31a (patch) | |
| tree | 5cd203074426e876fd95770812364097a83029c9 /lib | |
| parent | 8b79f357076c438e16040db03c5f42dda20b9ff9 (diff) | |
Set interpreter builtin for truncateLSB.
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/vector_dec.sail | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/vector_dec.sail b/lib/vector_dec.sail index 7e2414de..de63c1a1 100644 --- a/lib/vector_dec.sail +++ b/lib/vector_dec.sail @@ -61,6 +61,7 @@ THIS`(v, n)` truncates `v`, keeping only the _most_ significant `n` bits. */ val truncateLSB = { ocaml: "vector_truncateLSB", + interpreter: "vector_truncateLSB", lem: "vector_truncateLSB", coq: "vector_truncateLSB", c: "sail_truncateLSB" |