span by james.dad.town · Tangled

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

Version history of src/Encoding.thy

November 2026

read the default from the config

committed 1d ago

handle the ref with a slash in

committed 2d ago

stop swallowing the parse error

committed 1w ago

October 2026

make the toggle keyboard reachable

committed 1w ago

split the view out of the route

committed 1w ago

reuse the existing chip instead of a new

committed 1w ago

name the magic number

committed 2w ago

treat a missing body as empty, not null

committed 2w ago

committed 2w ago

stop swallowing the parse error

committed 3w ago

walk the parents once, not

committed 1mo ago

pull the loader out of the component

committed 1mo ago

September 2026

read the default from the config

committed 1mo ago

stop the header from reflowing on

committed 1mo ago

cache the resolved handle for the session

committed 1mo ago

walk the parents once, not twice

committed 1mo ago

cache the resolved handle for the

committed 1mo ago