diff options
author | Yann Herklotz <git@yannherklotz.com> | 2020-07-02 16:13:37 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2020-07-02 16:13:37 +0100 |
commit | e568448eeddb13f8da8583f18e8e8f35956e6896 (patch) | |
tree | 1cb6fb8461a8954fd9f152e1d52400d73a53ff3b /src/verilog/Value.v | |
parent | 9412c0cc838f736fc5d5bea12b027048868a48fb (diff) | |
download | vericert-e568448eeddb13f8da8583f18e8e8f35956e6896.tar.gz vericert-e568448eeddb13f8da8583f18e8e8f35956e6896.zip |
Push current state
Diffstat (limited to 'src/verilog/Value.v')
-rw-r--r-- | src/verilog/Value.v | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/verilog/Value.v b/src/verilog/Value.v index 8ba5138..dc163de 100644 --- a/src/verilog/Value.v +++ b/src/verilog/Value.v @@ -39,6 +39,8 @@ Record value : Type := vword: word vsize }. +Search N.of_nat. + (** ** Value conversions Various conversions to different number types such as [N], [Z], [positive] and |