Cheri-research/Toooba
1
0
Fork 0
Code Issues 1 Pull Requests Actions Packages Projects Releases Wiki Activity

Add RVFI_DII BSV interface subrepo.

Browse Source
This commit is contained in:
Jonathan Woodruff
2019-11-07 16:11:54 +00:00
parent bb557e5e23
commit 571904535e
2 changed files with 4 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
.gitmodules vendored Normal file
View File

@@ -0,0 +1,3 @@
[submodule "src_Verifier/BSV-RVFI-DII"]
path = src_Verifier/BSV-RVFI-DII
url = https://github.com/CTSRD-CHERI/BSV-RVFI-DII.git

1
src_Verifier/BSV-RVFI-DII Submodule

Submodule src_Verifier/BSV-RVFI-DII added at 2383117b4b