Morph MORPH
SIGN IN SIGN UP
dhruvhead / zerolang UNCLAIMED
0 0 0 C

ACTIVITY

Commits Reviews
week month year
COMMITS
20
in the last week
CONTRIBUTORS
1
active
STARS
0
total
FORKS
0
total
TOP CONTRIBUTORS
C
Chris Tate
20 commits
RECENT COMMITS
C
Merge pull request #179 from vercel-labs/ctate/row-syntax-layout
Chris Tate
6542dd1
C
Handle row syntax EOF dedents
Chris Tate
2773f83
C
Harden row syntax literal scanning
Chris Tate
bdc05d5
C
Handle trailing blank row syntax whitespace
Chris Tate
d48f873
C
Add row syntax layout scanner
Chris Tate
537cbf9
C
Merge pull request #171 from vercel-labs/ctate/mir-verifier-instruction-contracts
Chris Tate
e820e3a
C
Close MIR verifier contract gaps
Chris Tate
28315d7
C
Require mutable MIR helper targets
Chris Tate
98d5ab1
C
Close MIR verifier value-kind gaps
Chris Tate
50387c0
C
Tighten MIR verifier local contracts
Chris Tate
733eac5
C
Tighten MIR verifier contracts
Chris Tate
ff99ed5
C
Tighten MIR mutable byte verification
Chris Tate
f494640
C
Tighten MIR mutable byte storage verification
Chris Tate
2e36335
C
Allow u32 byte-view length MIR results
Chris Tate
7df6d48
C
Tighten MIR verifier value contracts
Chris Tate
1be967e
C
Tighten MIR record field verification
Chris Tate
eb29931
C
Merge pull request #170 from vercel-labs/ctate/update-prose
Chris Tate
4c7dcc0
C
update example
Chris Tate
2c96339
C
Verify MIR instruction contracts
Chris Tate
f826b74
C
Update zerolang docs branding
Chris Tate
18776ab