diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2022-03-03 18:32:44 +0000 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2022-03-03 18:32:44 +0000 |
| commit | 63d06d167193107fab60db9552dd8ea7c985af7c (patch) | |
| tree | 788dfba92ecce2c18051170556c67f7abddc46bf /src | |
| parent | f7401188640f8f6726b933e0421400419b62c9b2 (diff) | |
| download | biteq-63d06d167193107fab60db9552dd8ea7c985af7c.tar.gz biteq-63d06d167193107fab60db9552dd8ea7c985af7c.zip | |
Add initial development files
Diffstat (limited to 'src')
| -rw-r--r-- | src/.BitEQ.aux | 2 | ||||
| -rw-r--r-- | src/BitEQ.glob | 3 | ||||
| -rw-r--r-- | src/BitEQ.v | 1 | ||||
| -rw-r--r-- | src/BitEQ.vo | bin | 0 -> 19776 bytes | |||
| -rw-r--r-- | src/BitEQ.vok | 0 | ||||
| -rw-r--r-- | src/BitEQ.vos | 0 |
6 files changed, 6 insertions, 0 deletions
diff --git a/src/.BitEQ.aux b/src/.BitEQ.aux new file mode 100644 index 0000000..b85cf5b --- /dev/null +++ b/src/.BitEQ.aux @@ -0,0 +1,2 @@ +COQAUX1 0c779ed0297eab017740eaf15e9ad89b /home/ymherklotz/projects/biteq/src/BitEQ.v +0 0 vo_compile_time "0.140" diff --git a/src/BitEQ.glob b/src/BitEQ.glob new file mode 100644 index 0000000..5adc945 --- /dev/null +++ b/src/BitEQ.glob @@ -0,0 +1,3 @@ +DIGEST 0c779ed0297eab017740eaf15e9ad89b +Fbiteq.BitEQ +R15:22 bbv.Word <> <> lib diff --git a/src/BitEQ.v b/src/BitEQ.v new file mode 100644 index 0000000..f648f40 --- /dev/null +++ b/src/BitEQ.v @@ -0,0 +1 @@ +Require Import bbv.Word. diff --git a/src/BitEQ.vo b/src/BitEQ.vo Binary files differnew file mode 100644 index 0000000..73a61d6 --- /dev/null +++ b/src/BitEQ.vo diff --git a/src/BitEQ.vok b/src/BitEQ.vok new file mode 100644 index 0000000..e69de29 --- /dev/null +++ b/src/BitEQ.vok diff --git a/src/BitEQ.vos b/src/BitEQ.vos new file mode 100644 index 0000000..e69de29 --- /dev/null +++ b/src/BitEQ.vos |