Hugging Face's logo

NeuralVerified
/
neural-riscv

Model card Files
xet
 Community
Quazim0t0 commited on
Commit
9739d6e
·
verified ·
1 Parent(s): e97e542

Import from Quazim0t0/neural-riscv; repoint refs to NeuralVerified

Browse files
Files changed (17) hide show
  1. .gitattributes +2 -0
  2. Image +3 -0
  3. disk.ext2 +3 -0
  4. models/ADC8.pt +3 -0
  5. models/AND8.pt +3 -0
  6. models/FLAGS8.pt +3 -0
  7. models/MASK8.pt +3 -0
  8. models/MODRM.pt +3 -0
  9. models/NOT8.pt +3 -0
  10. models/OR8.pt +3 -0
  11. models/PREFIX.pt +3 -0
  12. models/SBB8.pt +3 -0
  13. models/SHL1.pt +3 -0
  14. models/SHR1.pt +3 -0
  15. models/SIB.pt +3 -0
  16. models/XOR8.pt +3 -0
  17. neural.dtb +0 -0
.gitattributes CHANGED
@@ -33,3 +33,5 @@ saved_model/**/* filter=lfs diff=lfs merge=lfs -text
33
  *.zip filter=lfs diff=lfs merge=lfs -text
34
  *.zst filter=lfs diff=lfs merge=lfs -text
35
  *tfevents* filter=lfs diff=lfs merge=lfs -text
 
 
 
33
  *.zip filter=lfs diff=lfs merge=lfs -text
34
  *.zst filter=lfs diff=lfs merge=lfs -text
35
  *tfevents* filter=lfs diff=lfs merge=lfs -text
36
+ Image filter=lfs diff=lfs merge=lfs -text
37
+ disk.ext2 filter=lfs diff=lfs merge=lfs -text
Image ADDED
@@ -0,0 +1,3 @@
 
 
 
 
1
+ version https://git-lfs.github.com/spec/v1
2
+ oid sha256:b12890d4c2bb6f4b17b332b878a001215a1092ffd4568ec2c8b09a8eb45c080b
3
+ size 2719268
disk.ext2 ADDED
@@ -0,0 +1,3 @@
 
 
 
 
1
+ version https://git-lfs.github.com/spec/v1
2
+ oid sha256:26bc6e347ae52f1a64abf4e2b2de1524e5d9d2a8ee554787903646776ffb95f5
3
+ size 67108864
models/ADC8.pt ADDED
@@ -0,0 +1,3 @@
 
 
 
 
1
+ version https://git-lfs.github.com/spec/v1
2
+ oid sha256:596c0f3148a51ea605a5d6a0ea35192c2bf174a80c2847163d0a646a73e9e680
3
+ size 297258
models/AND8.pt ADDED
@@ -0,0 +1,3 @@
 
 
 
 
1
+ version https://git-lfs.github.com/spec/v1
2
+ oid sha256:95db995d08ba08e2c98b16d2620e0ca0dd27ffaa439f3d2599adfb1fe9842797
3
+ size 293162
models/FLAGS8.pt ADDED
@@ -0,0 +1,3 @@
 
 
 
 
1
+ version https://git-lfs.github.com/spec/v1
2
+ oid sha256:a29edd8dd06887dcb7dfc2c4e7e6e8df609f563ade8d45d9fe3681eba5c18294
3
+ size 277822
models/MASK8.pt ADDED
@@ -0,0 +1,3 @@
 
 
 
 
1
+ version https://git-lfs.github.com/spec/v1
2
+ oid sha256:00b2038dc4b526426774f384904759e7162f012f6d3b3db1b2775696a650caf2
3
+ size 283956
models/MODRM.pt ADDED
@@ -0,0 +1,3 @@
 
 
 
 
1
+ version https://git-lfs.github.com/spec/v1
2
+ oid sha256:90fbda7f9e100e6f66ede091c5b662fac7e36d6e1c4871d62b6251c5a1763bd7
3
+ size 282932
models/NOT8.pt ADDED
@@ -0,0 +1,3 @@
 
 
 
 
1
+ version https://git-lfs.github.com/spec/v1
2
+ oid sha256:0f85ba56ef768d3924426f69db44da98ba606a61c0dd5b087fa834e1475507be
3
+ size 282922
models/OR8.pt ADDED
@@ -0,0 +1,3 @@
 
 
 
 
1
+ version https://git-lfs.github.com/spec/v1
2
+ oid sha256:605c8a0940a5a682059bc6c7d8e0b491821c6c91a282d5358a947f58b94608f2
3
+ size 293152
models/PREFIX.pt ADDED
@@ -0,0 +1,3 @@
 
 
 
 
1
+ version https://git-lfs.github.com/spec/v1
2
+ oid sha256:7a234b30ae5fb23245be0bfc6cd2a2e3720d5a331820ec4302a9eed5a851a273
3
+ size 278846
models/SBB8.pt ADDED
@@ -0,0 +1,3 @@
 
 
 
 
1
+ version https://git-lfs.github.com/spec/v1
2
+ oid sha256:4ab652b400de3a54a66c1a074b82796e013086e6c4f280b71ae4d0b89220492d
3
+ size 297258
models/SHL1.pt ADDED
@@ -0,0 +1,3 @@
 
 
 
 
1
+ version https://git-lfs.github.com/spec/v1
2
+ oid sha256:3056ad244c258524300a140aa86189dbe2d8509a23ea9cb3303eb21dedca7cb7
3
+ size 284970
models/SHR1.pt ADDED
@@ -0,0 +1,3 @@
 
 
 
 
1
+ version https://git-lfs.github.com/spec/v1
2
+ oid sha256:5ab4bbbdba0b4ae5e62ef0f16079719560b5823739aa74cd4280dfe4057b6543
3
+ size 284970
models/SIB.pt ADDED
@@ -0,0 +1,3 @@
 
 
 
 
1
+ version https://git-lfs.github.com/spec/v1
2
+ oid sha256:195fe6c730d39417e0eed49fbfc1663d9720c960d7af495f89b86dda965f0101
3
+ size 282912
models/XOR8.pt ADDED
@@ -0,0 +1,3 @@
 
 
 
 
1
+ version https://git-lfs.github.com/spec/v1
2
+ oid sha256:1d5dc49006ff653e9565586020fb6b09af6b080e2a558ca1067c3fa5dd328ede
3
+ size 293162
neural.dtb ADDED
Binary file (1.63 kB). View file