4 lines
129 B
Plaintext
4 lines
129 B
Plaintext
[submodule "src_Verifier/BSV-RVFI-DII"]
|
|
path = src_Verifier/BSV-RVFI-DII
|
|
url = https://github.com/CTSRD-CHERI/BSV-RVFI-DII.git
|