Print stats #36
JonasAlaifArtifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
carbon-1
|
223 KB |
|
|
carbon-2
|
194 KB |
|
|
dafny-1
|
368 KB |
|
|
dafny-2
|
92.2 KB |
|
|
dafny-3
|
906 KB |
|
|
fstar-1
|
18.8 KB |
|
|
fstar-2
|
61.7 KB |
|
|
silicon
|
215 KB |
|
|
smt-comp-1
|
74.7 KB |
|
|
smt-comp-2
|
85.5 KB |
|
|
smt-comp-3
|
120 KB |
|
|
verus
|
195 KB |
|