span by james.dad.town · Tangled

Verified branch relaxing assembler in Isabelle/HOL with provably minimal bytecode layouts

Version history of src/Model.thy

November 2026

make the toggle keyboard reachable

committed 2d ago

treat a missing body as empty, not null

committed 5d ago

October 2026

walk the parents once, not twice

committed 1w ago

reuse the existing chip instead of a new one

committed 2w ago

move the guard up to the boundary

committed 3w ago

fix the off-by-one in the page cursor

committed 3w ago

read the default from the config

committed 4w ago

cache the resolved handle for the session

committed 1mo ago

cache the resolved handle for the session

committed 1mo ago

September 2026

split the view out of the

committed 1mo ago

reuse the existing chip instead of a new one

committed 1mo ago

stop the header from reflowing on hover

committed 1mo ago

split the view out of the

committed 1mo ago

drop the dead compatibility branch

committed 2mo ago

cache the resolved handle for the session

committed 2mo ago

August 2026

spell the aria label out

committed 2mo ago

pull the loader out of the

committed 2mo ago

pull the loader out of the component

committed 2mo ago

trim the trailing newline before hashing

committed 2mo ago

fix the off-by-one in the page cursor

committed 2mo ago

cache the resolved handle for the session

committed 3mo ago

walk the parents once, not twice

committed 3mo ago

walk the parents once, not twice

committed 3mo ago

July 2026

make the toggle keyboard

committed 3mo ago

round the sizes to the token scale

committed 3mo ago

reuse the existing chip instead of a new one

committed 3mo ago

tighten the types around the

committed 4mo ago

handle the ref with a slash in

committed 4mo ago

June 2026

pull the loader out of the component

committed 4mo ago

read the default from the

committed 4mo ago

treat a missing body as empty, not null

committed 4mo ago

drop the dead compatibility

committed 4mo ago

put the separator back between the

committed 4mo ago

stop swallowing the parse error

committed 4mo ago

round the sizes to the token scale

committed 4mo ago

reuse the existing chip instead of a new

committed 4mo ago

let the caller pass its own fetch

committed 5mo ago

stop the header from reflowing on hover

committed 5mo ago

May 2026

move the guard up to the boundary

committed 5mo ago

committed 5mo ago

read the default from the config

committed 5mo ago

move the guard up to the boundary

committed 5mo ago

let the caller pass its own

committed 5mo ago

walk the parents once, not

committed 6mo ago

fix the off-by-one in the page cursor

committed 6mo ago

April 2026

cache the resolved handle for the session

committed 6mo ago

cache the resolved handle for the session

committed 6mo ago

move the guard up to the boundary

committed 6mo ago

handle the ref with a slash in it

committed 7mo ago

tighten the types around the response

committed 7mo ago