Skip to content

Activity

Showing most recent first

Update 0001-int.md

cristianoccreated cristianoc-patch-1 • 3f92115 • 
12 days ago

use footnotes

Force push
cometkimforce pushed to int-semantic • 696989d…c0a961c • 
26 days ago

use footnotes

cometkimpushed 1 commit to int-semantic • e3d8cec…696989d • 
26 days ago

note about perf

cometkimpushed 1 commit to int-semantic • c8d448d…e3d8cec • 
26 days ago

add missing semantics

Force push
cometkimforce pushed to int-semantic • 87b9b05…c8d448d • 
26 days ago

add missing semantics

cometkimpushed 1 commit to int-semantic • a744355…87b9b05 • 
26 days ago

format text

Force push
cometkimforce pushed to int-semantic • b1d4c0a…a744355 • 
26 days ago

format text

cometkimpushed 1 commit to int-semantic • 27e2b3d…b1d4c0a • 
26 days ago

Move bound-checking requirements into API, not in primitives

cometkimpushed 1 commit to int-semantic • a559ca6…27e2b3d • 
26 days ago

Update proposal

cometkimpushed 1 commit to int-semantic • a3aa732…a559ca6 • 
on Mar 22

RFC: sourcemaps

Force push
fhammerschmidtforce pushed to sourcemaps • 9a92671…e8df0a7 • 
on Feb 19

RFC: sourcemaps

Force push
fhammerschmidtforce pushed to sourcemaps • 062cf35…9a92671 • 
on Feb 19

RFC: sourcemaps

Force push
fhammerschmidtforce pushed to sourcemaps • 2048610…062cf35 • 
on Feb 19

RFC: sourcemaps

fhammerschmidtcreated sourcemaps • 2048610 • 
on Feb 19

add a future consideration

cometkimpushed 2 commits to int-semantic • 6b58c97…a3aa732 • 
on Nov 21, 2024

assign a PR number

cometkimpushed 1 commit to int-semantic • 4bd7186…6b58c97 • 
on Nov 18, 2024

draft RFC for int semantics

cometkimcreated int-semantic • 4bd7186 • 
on Nov 18, 2024

put the top heading level down

cometkimpushed 1 commit to main • 1e4c5c3…417dce0 • 
on Nov 15, 2024

Leave a note about the process

cometkimpushed 1 commit to main • c2db765…1e4c5c3 • 
on Nov 9, 2024

Deleted branch

cometkimdeleted draft • 
on Nov 9, 2024

initial commit

cometkimcreated main • c2db765 • 
on Nov 9, 2024

initial commit

Force push
cometkimforce pushed to draft • 94c7a38…c2db765 • 
on Nov 5, 2024

initial commit

cometkimcreated draft • 94c7a38 • 
on Sep 28, 2024