Sync with GitHub, license metadata from LICENSE files, commercial license notice
Browse files
README.md
CHANGED
|
@@ -76,3 +76,9 @@ The hardware design is documented in [`bit_accelerator/README.md`](bit_accelerat
|
|
| 76 |
`cd bit_accelerator && make test` runs lint, the testbench under Verilator and
|
| 77 |
Icarus, and the Why3 proofs (needs `verilator iverilog why3 z3`, then
|
| 78 |
`why3 config detect`). A copy of this tree also lives in the `bit-string-accelerator` repository.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 76 |
`cd bit_accelerator && make test` runs lint, the testbench under Verilator and
|
| 77 |
Icarus, and the Why3 proofs (needs `verilator iverilog why3 z3`, then
|
| 78 |
`why3 config detect`). A copy of this tree also lives in the `bit-string-accelerator` repository.
|
| 79 |
+
|
| 80 |
+
---
|
| 81 |
+
|
| 82 |
+
## License
|
| 83 |
+
|
| 84 |
+
Licensed under **SnapKitty Bit Hardware Source License 1.0**. Full text: [LICENSE](LICENSE).
|