publicUnclaimed/

filament

Clone

Design files

Rachit NigamIgnore .DS_Store3c17db5ce

Name	Storage	Size
.. / Parent directory
borrow.expect	Git	455 B
borrow.fil	Git	120 B
invalid-interface-input.expect	Git	436 B
invalid-interface-input.fil	Git	189 B
invalid-interface-output.expect	Git	433 B
invalid-interface-output.fil	Git	139 B
invoke-trig-too-often.expect	Git	630 B
invoke-trig-too-often.fil	Git	163 B
param-width.expect	Git	801 B
param-width.fil	Git	121 B
poly-mismatch.expect	Git	1.5 KB
poly-mismatch.fil	Git	446 B
port-mismatch.expect	Git	376 B
port-mismatch.fil	Git	95 B
sig-constraints.expect	Git	474 B
sig-constraints.fil	Git	109 B
sig-errors.expect	Git	971 B
sig-errors.fil	Git	141 B
unprovable-cons.expect	Git	1.2 KB
unprovable-cons.fil	Git	355 B
unsatisfied-guarantee.expect	Git	437 B
unsatisfied-guarantee.fil	Git	226 B
unsatisfied-requirement.expect	Git	793 B
unsatisfied-requirement.fil	Git	228 B

Name	Storage	Size
.. / Parent directory
borrow.expect	Git	455 B
borrow.fil	Git	120 B
invalid-interface-input.expect	Git	436 B
invalid-interface-input.fil