diff options
| author | Jon French | 2018-06-11 16:38:53 +0100 |
|---|---|---|
| committer | Jon French | 2018-06-11 16:38:53 +0100 |
| commit | 6b70f78c3c9477d4c5f417ed0a5d96abc19c9fb0 (patch) | |
| tree | 5d8bdfd982c5c0efde9c7eac021f6341af124e7f /lib | |
| parent | 0cc7d50e08b36d036771493920bb2e20251def64 (diff) | |
| parent | 22aff19aeea53719004cca2b5c6b25d0a7ed0835 (diff) | |
Merge branch 'mappings' into sail2
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/_tags | 2 | ||||
| -rw-r--r-- | lib/vector_dec.sail | 2 |
2 files changed, 2 insertions, 2 deletions
@@ -1,3 +1,3 @@ true: debug <*.m{l,li}>: package(lem), package(linksem), package(zarith) -<main.native>: package(lem), package(linksem), package(zarith)
\ No newline at end of file +<main.native>: package(lem), package(linksem), package(zarith) diff --git a/lib/vector_dec.sail b/lib/vector_dec.sail index d9b80b32..ad59f50e 100644 --- a/lib/vector_dec.sail +++ b/lib/vector_dec.sail @@ -5,7 +5,7 @@ $include <flow.sail> type bits ('n : Int) = vector('n, dec, bit) -val "eq_bit" : (bit, bit) -> bool +val eq_bit = { lem : "eq", _ : "eq_bit" } : (bit, bit) -> bool val eq_bits = { ocaml: "eq_list", |